21.824 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* a (+ (+ b c) d))
0.024 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.025 * * [simplify]: iteration  1 :  18  enodes  (cost  7 )
0.028 * * [simplify]: iteration  2 :  39  enodes  (cost  7 )
0.034 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
0.043 * * [simplify]: iteration  4 :  78  enodes  (cost  7 )
0.053 * * [simplify]: iteration  done :  78  enodes  (cost  7 )
0.053 * [simplify]: Simplified to:
   (* a (+ (+ b c) d))
0.053 * * [progress]: iteration 1 / 4
0.053 * * * [progress]: picking best candidate
0.055 * * * * [pick]: Picked  #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
0.055 * * * [progress]: localizing error
0.063 * * * [progress]: generating rewritten candidates
0.063 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.104 * * * [progress]: generating series expansions
0.104 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.104 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
0.104 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
0.104 * [taylor]: Taking taylor expansion of a in d
0.104 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.104 * [taylor]: Taking taylor expansion of d in d
0.104 * [taylor]: Taking taylor expansion of (+ b c) in d
0.104 * [taylor]: Taking taylor expansion of b in d
0.104 * [taylor]: Taking taylor expansion of c in d
0.104 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
0.104 * [taylor]: Taking taylor expansion of a in c
0.104 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.104 * [taylor]: Taking taylor expansion of d in c
0.104 * [taylor]: Taking taylor expansion of (+ b c) in c
0.104 * [taylor]: Taking taylor expansion of b in c
0.104 * [taylor]: Taking taylor expansion of c in c
0.104 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
0.104 * [taylor]: Taking taylor expansion of a in b
0.104 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.104 * [taylor]: Taking taylor expansion of d in b
0.105 * [taylor]: Taking taylor expansion of (+ b c) in b
0.105 * [taylor]: Taking taylor expansion of b in b
0.105 * [taylor]: Taking taylor expansion of c in b
0.105 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.105 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.105 * [taylor]: Taking taylor expansion of d in a
0.105 * [taylor]: Taking taylor expansion of (+ b c) in a
0.105 * [taylor]: Taking taylor expansion of b in a
0.105 * [taylor]: Taking taylor expansion of c in a
0.105 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.105 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.105 * [taylor]: Taking taylor expansion of d in a
0.105 * [taylor]: Taking taylor expansion of (+ b c) in a
0.105 * [taylor]: Taking taylor expansion of b in a
0.105 * [taylor]: Taking taylor expansion of c in a
0.105 * [taylor]: Taking taylor expansion of 0 in b
0.105 * [taylor]: Taking taylor expansion of 0 in c
0.105 * [taylor]: Taking taylor expansion of 0 in d
0.106 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
0.106 * [taylor]: Taking taylor expansion of d in b
0.106 * [taylor]: Taking taylor expansion of (+ c b) in b
0.106 * [taylor]: Taking taylor expansion of c in b
0.106 * [taylor]: Taking taylor expansion of b in b
0.106 * [taylor]: Taking taylor expansion of (+ d c) in c
0.106 * [taylor]: Taking taylor expansion of d in c
0.106 * [taylor]: Taking taylor expansion of c in c
0.107 * [taylor]: Taking taylor expansion of d in d
0.107 * [taylor]: Taking taylor expansion of 0 in c
0.107 * [taylor]: Taking taylor expansion of 0 in d
0.107 * [taylor]: Taking taylor expansion of 0 in d
0.108 * [taylor]: Taking taylor expansion of 0 in b
0.108 * [taylor]: Taking taylor expansion of 0 in c
0.108 * [taylor]: Taking taylor expansion of 0 in d
0.108 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.108 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.108 * [taylor]: Taking taylor expansion of d in d
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.108 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.108 * [taylor]: Taking taylor expansion of c in d
0.108 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.108 * [taylor]: Taking taylor expansion of b in d
0.108 * [taylor]: Taking taylor expansion of a in d
0.109 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.109 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.109 * [taylor]: Taking taylor expansion of d in c
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.109 * [taylor]: Taking taylor expansion of c in c
0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.109 * [taylor]: Taking taylor expansion of b in c
0.109 * [taylor]: Taking taylor expansion of a in c
0.110 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.110 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.110 * [taylor]: Taking taylor expansion of d in b
0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.110 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.110 * [taylor]: Taking taylor expansion of c in b
0.110 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.110 * [taylor]: Taking taylor expansion of b in b
0.110 * [taylor]: Taking taylor expansion of a in b
0.111 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.111 * [taylor]: Taking taylor expansion of d in a
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.111 * [taylor]: Taking taylor expansion of c in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.111 * [taylor]: Taking taylor expansion of b in a
0.111 * [taylor]: Taking taylor expansion of a in a
0.111 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.111 * [taylor]: Taking taylor expansion of d in a
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.111 * [taylor]: Taking taylor expansion of c in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.111 * [taylor]: Taking taylor expansion of b in a
0.111 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.112 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.112 * [taylor]: Taking taylor expansion of d in b
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.112 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.112 * [taylor]: Taking taylor expansion of c in b
0.112 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.112 * [taylor]: Taking taylor expansion of b in b
0.113 * [taylor]: Taking taylor expansion of 1 in c
0.114 * [taylor]: Taking taylor expansion of 0 in b
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.115 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.115 * [taylor]: Taking taylor expansion of c in c
0.115 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.115 * [taylor]: Taking taylor expansion of d in c
0.115 * [taylor]: Taking taylor expansion of 1 in d
0.115 * [taylor]: Taking taylor expansion of 1 in d
0.117 * [taylor]: Taking taylor expansion of 0 in b
0.117 * [taylor]: Taking taylor expansion of 0 in c
0.118 * [taylor]: Taking taylor expansion of 0 in c
0.118 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.118 * [taylor]: Taking taylor expansion of d in d
0.119 * [taylor]: Taking taylor expansion of 0 in d
0.120 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.120 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.120 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.120 * [taylor]: Taking taylor expansion of d in d
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.120 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.120 * [taylor]: Taking taylor expansion of c in d
0.120 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.120 * [taylor]: Taking taylor expansion of b in d
0.120 * [taylor]: Taking taylor expansion of a in d
0.120 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.120 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.120 * [taylor]: Taking taylor expansion of d in c
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.120 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.120 * [taylor]: Taking taylor expansion of c in c
0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.121 * [taylor]: Taking taylor expansion of b in c
0.121 * [taylor]: Taking taylor expansion of a in c
0.121 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.121 * [taylor]: Taking taylor expansion of d in b
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.121 * [taylor]: Taking taylor expansion of c in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of a in b
0.122 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.122 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.122 * [taylor]: Taking taylor expansion of d in a
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.122 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.122 * [taylor]: Taking taylor expansion of c in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.123 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.123 * [taylor]: Taking taylor expansion of d in a
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.123 * [taylor]: Taking taylor expansion of c in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.124 * [taylor]: Taking taylor expansion of d in b
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.124 * [taylor]: Taking taylor expansion of c in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.124 * [taylor]: Taking taylor expansion of b in b
0.125 * [taylor]: Taking taylor expansion of 1 in c
0.126 * [taylor]: Taking taylor expansion of 0 in b
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.126 * [taylor]: Taking taylor expansion of c in c
0.127 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.127 * [taylor]: Taking taylor expansion of d in c
0.127 * [taylor]: Taking taylor expansion of 1 in d
0.127 * [taylor]: Taking taylor expansion of 1 in d
0.129 * [taylor]: Taking taylor expansion of 0 in b
0.129 * [taylor]: Taking taylor expansion of 0 in c
0.130 * [taylor]: Taking taylor expansion of 0 in c
0.130 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.131 * [taylor]: Taking taylor expansion of d in d
0.131 * [taylor]: Taking taylor expansion of 0 in d
0.131 * * * [progress]: simplifying candidates
0.132 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* a (+ (+ b c) d)))
  (log1p (* a (+ (+ b c) d)))
  (* a (+ (+ b c) d))
  (+ (log a) (log (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (* (* (* a a) a) (* (* (+ (+ b c) d) (+ (+ b c) d)) (+ (+ b c) d)))
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (* (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d))) (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* a (+ b c))
  (* a d)
  (* (+ b c) a)
  (* d a)
  (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* a (sqrt (+ (+ b c) d)))
  (* a 1)
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* a (+ (+ b c) d))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
0.133 * * [simplify]: iteration  0 :  54  enodes  (cost  271 )
0.148 * * [simplify]: iteration  1 :  149  enodes  (cost  256 )
0.179 * * [simplify]: iteration  2 :  514  enodes  (cost  228 )
0.371 * * [simplify]: iteration  3 :  2214  enodes  (cost  228 )
1.261 * * [simplify]: iteration  done :  5001  enodes  (cost  228 )
1.262 * [simplify]: Simplified to:
   (expm1 (* a (+ (+ b c) d)))
  (log1p (* a (+ (+ b c) d)))
  (* (+ (+ b c) d) a)
  (log (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (pow (* (+ (+ b c) d) a) 3)
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (pow (* (+ (+ b c) d) a) 3)
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (+ b c) a)
  (* a d)
  (* (+ b c) a)
  (* a d)
  (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* a (sqrt (+ (+ b c) d)))
  a
  a
  a
  (* (cbrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* (+ (+ b c) d) a)
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (* (+ (+ b c) d) a)
  (* (+ (+ b c) d) a)
1.262 * * * [progress]: adding candidates to table
1.313 * * [progress]: iteration 2 / 4
1.313 * * * [progress]: picking best candidate
1.320 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* (+ b c) a) (* a d)))>
1.320 * * * [progress]: localizing error
1.326 * * * [progress]: generating rewritten candidates
1.326 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.332 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.343 * * * [progress]: generating series expansions
1.343 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.343 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (b c a d) around 0
1.343 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
1.343 * [taylor]: Taking taylor expansion of (* d a) in d
1.343 * [taylor]: Taking taylor expansion of d in d
1.343 * [taylor]: Taking taylor expansion of a in d
1.343 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
1.343 * [taylor]: Taking taylor expansion of (* a b) in d
1.343 * [taylor]: Taking taylor expansion of a in d
1.343 * [taylor]: Taking taylor expansion of b in d
1.343 * [taylor]: Taking taylor expansion of (* a c) in d
1.343 * [taylor]: Taking taylor expansion of a in d
1.343 * [taylor]: Taking taylor expansion of c in d
1.343 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
1.343 * [taylor]: Taking taylor expansion of (* d a) in a
1.343 * [taylor]: Taking taylor expansion of d in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.343 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
1.343 * [taylor]: Taking taylor expansion of (* a b) in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.343 * [taylor]: Taking taylor expansion of b in a
1.343 * [taylor]: Taking taylor expansion of (* a c) in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.343 * [taylor]: Taking taylor expansion of c in a
1.343 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
1.343 * [taylor]: Taking taylor expansion of (* d a) in c
1.343 * [taylor]: Taking taylor expansion of d in c
1.343 * [taylor]: Taking taylor expansion of a in c
1.343 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
1.343 * [taylor]: Taking taylor expansion of (* a b) in c
1.343 * [taylor]: Taking taylor expansion of a in c
1.343 * [taylor]: Taking taylor expansion of b in c
1.343 * [taylor]: Taking taylor expansion of (* a c) in c
1.343 * [taylor]: Taking taylor expansion of a in c
1.343 * [taylor]: Taking taylor expansion of c in c
1.343 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
1.344 * [taylor]: Taking taylor expansion of (* d a) in b
1.344 * [taylor]: Taking taylor expansion of d in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
1.344 * [taylor]: Taking taylor expansion of (* a b) in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of b in b
1.344 * [taylor]: Taking taylor expansion of (* a c) in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of c in b
1.344 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
1.344 * [taylor]: Taking taylor expansion of (* d a) in b
1.344 * [taylor]: Taking taylor expansion of d in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
1.344 * [taylor]: Taking taylor expansion of (* a b) in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of b in b
1.344 * [taylor]: Taking taylor expansion of (* a c) in b
1.344 * [taylor]: Taking taylor expansion of a in b
1.344 * [taylor]: Taking taylor expansion of c in b
1.344 * [taylor]: Taking taylor expansion of (+ (* d a) (* a c)) in c
1.344 * [taylor]: Taking taylor expansion of (* d a) in c
1.344 * [taylor]: Taking taylor expansion of d in c
1.344 * [taylor]: Taking taylor expansion of a in c
1.344 * [taylor]: Taking taylor expansion of (* a c) in c
1.344 * [taylor]: Taking taylor expansion of a in c
1.344 * [taylor]: Taking taylor expansion of c in c
1.344 * [taylor]: Taking taylor expansion of (* d a) in a
1.344 * [taylor]: Taking taylor expansion of d in a
1.344 * [taylor]: Taking taylor expansion of a in a
1.344 * [taylor]: Taking taylor expansion of 0 in d
1.345 * [taylor]: Taking taylor expansion of a in c
1.345 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of 0 in d
1.345 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of 0 in d
1.346 * [taylor]: Taking taylor expansion of d in d
1.347 * [taylor]: Taking taylor expansion of 0 in c
1.347 * [taylor]: Taking taylor expansion of 0 in a
1.347 * [taylor]: Taking taylor expansion of 0 in d
1.348 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (b c a d) around 0
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
1.348 * [taylor]: Taking taylor expansion of (* a b) in d
1.348 * [taylor]: Taking taylor expansion of a in d
1.348 * [taylor]: Taking taylor expansion of b in d
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.348 * [taylor]: Taking taylor expansion of (* d a) in d
1.348 * [taylor]: Taking taylor expansion of d in d
1.348 * [taylor]: Taking taylor expansion of a in d
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
1.348 * [taylor]: Taking taylor expansion of (* a c) in d
1.348 * [taylor]: Taking taylor expansion of a in d
1.348 * [taylor]: Taking taylor expansion of c in d
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.348 * [taylor]: Taking taylor expansion of (* a b) in a
1.348 * [taylor]: Taking taylor expansion of a in a
1.348 * [taylor]: Taking taylor expansion of b in a
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.349 * [taylor]: Taking taylor expansion of (* d a) in a
1.349 * [taylor]: Taking taylor expansion of d in a
1.349 * [taylor]: Taking taylor expansion of a in a
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.349 * [taylor]: Taking taylor expansion of (* a c) in a
1.349 * [taylor]: Taking taylor expansion of a in a
1.349 * [taylor]: Taking taylor expansion of c in a
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.349 * [taylor]: Taking taylor expansion of (* a b) in c
1.349 * [taylor]: Taking taylor expansion of a in c
1.349 * [taylor]: Taking taylor expansion of b in c
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.350 * [taylor]: Taking taylor expansion of (* d a) in c
1.350 * [taylor]: Taking taylor expansion of d in c
1.350 * [taylor]: Taking taylor expansion of a in c
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.350 * [taylor]: Taking taylor expansion of (* a c) in c
1.350 * [taylor]: Taking taylor expansion of a in c
1.350 * [taylor]: Taking taylor expansion of c in c
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.350 * [taylor]: Taking taylor expansion of (* a b) in b
1.350 * [taylor]: Taking taylor expansion of a in b
1.350 * [taylor]: Taking taylor expansion of b in b
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.350 * [taylor]: Taking taylor expansion of (* d a) in b
1.350 * [taylor]: Taking taylor expansion of d in b
1.350 * [taylor]: Taking taylor expansion of a in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.351 * [taylor]: Taking taylor expansion of (* a c) in b
1.351 * [taylor]: Taking taylor expansion of a in b
1.351 * [taylor]: Taking taylor expansion of c in b
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.351 * [taylor]: Taking taylor expansion of (* a b) in b
1.351 * [taylor]: Taking taylor expansion of a in b
1.351 * [taylor]: Taking taylor expansion of b in b
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.351 * [taylor]: Taking taylor expansion of (* d a) in b
1.351 * [taylor]: Taking taylor expansion of d in b
1.351 * [taylor]: Taking taylor expansion of a in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.351 * [taylor]: Taking taylor expansion of (* a c) in b
1.351 * [taylor]: Taking taylor expansion of a in b
1.351 * [taylor]: Taking taylor expansion of c in b
1.351 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.351 * [taylor]: Taking taylor expansion of a in c
1.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
1.352 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.352 * [taylor]: Taking taylor expansion of (* a c) in c
1.352 * [taylor]: Taking taylor expansion of a in c
1.352 * [taylor]: Taking taylor expansion of c in c
1.352 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.352 * [taylor]: Taking taylor expansion of (* d a) in c
1.352 * [taylor]: Taking taylor expansion of d in c
1.352 * [taylor]: Taking taylor expansion of a in c
1.353 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.353 * [taylor]: Taking taylor expansion of a in a
1.353 * [taylor]: Taking taylor expansion of 1 in d
1.353 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.353 * [taylor]: Taking taylor expansion of a in a
1.353 * [taylor]: Taking taylor expansion of 1 in d
1.354 * [taylor]: Taking taylor expansion of 0 in c
1.355 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.355 * [taylor]: Taking taylor expansion of (* d a) in a
1.355 * [taylor]: Taking taylor expansion of d in a
1.355 * [taylor]: Taking taylor expansion of a in a
1.355 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.355 * [taylor]: Taking taylor expansion of d in d
1.356 * [taylor]: Taking taylor expansion of 0 in a
1.356 * [taylor]: Taking taylor expansion of 0 in d
1.357 * [taylor]: Taking taylor expansion of 0 in d
1.357 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (b c a d) around 0
1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
1.357 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
1.357 * [taylor]: Taking taylor expansion of (* a b) in d
1.357 * [taylor]: Taking taylor expansion of a in d
1.357 * [taylor]: Taking taylor expansion of b in d
1.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.358 * [taylor]: Taking taylor expansion of (* d a) in d
1.358 * [taylor]: Taking taylor expansion of d in d
1.358 * [taylor]: Taking taylor expansion of a in d
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
1.358 * [taylor]: Taking taylor expansion of (* a c) in d
1.358 * [taylor]: Taking taylor expansion of a in d
1.358 * [taylor]: Taking taylor expansion of c in d
1.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.358 * [taylor]: Taking taylor expansion of (* a b) in a
1.358 * [taylor]: Taking taylor expansion of a in a
1.358 * [taylor]: Taking taylor expansion of b in a
1.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.359 * [taylor]: Taking taylor expansion of (* d a) in a
1.359 * [taylor]: Taking taylor expansion of d in a
1.359 * [taylor]: Taking taylor expansion of a in a
1.359 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.359 * [taylor]: Taking taylor expansion of (* a c) in a
1.359 * [taylor]: Taking taylor expansion of a in a
1.359 * [taylor]: Taking taylor expansion of c in a
1.359 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
1.359 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.359 * [taylor]: Taking taylor expansion of (* a b) in c
1.359 * [taylor]: Taking taylor expansion of a in c
1.359 * [taylor]: Taking taylor expansion of b in c
1.359 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
1.359 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.359 * [taylor]: Taking taylor expansion of (* d a) in c
1.359 * [taylor]: Taking taylor expansion of d in c
1.359 * [taylor]: Taking taylor expansion of a in c
1.359 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.360 * [taylor]: Taking taylor expansion of (* a c) in c
1.360 * [taylor]: Taking taylor expansion of a in c
1.360 * [taylor]: Taking taylor expansion of c in c
1.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.360 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.360 * [taylor]: Taking taylor expansion of (* a b) in b
1.360 * [taylor]: Taking taylor expansion of a in b
1.360 * [taylor]: Taking taylor expansion of b in b
1.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.360 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.360 * [taylor]: Taking taylor expansion of (* d a) in b
1.360 * [taylor]: Taking taylor expansion of d in b
1.360 * [taylor]: Taking taylor expansion of a in b
1.360 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.360 * [taylor]: Taking taylor expansion of (* a c) in b
1.360 * [taylor]: Taking taylor expansion of a in b
1.360 * [taylor]: Taking taylor expansion of c in b
1.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.361 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.361 * [taylor]: Taking taylor expansion of (* a b) in b
1.361 * [taylor]: Taking taylor expansion of a in b
1.361 * [taylor]: Taking taylor expansion of b in b
1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.361 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.361 * [taylor]: Taking taylor expansion of (* d a) in b
1.361 * [taylor]: Taking taylor expansion of d in b
1.361 * [taylor]: Taking taylor expansion of a in b
1.361 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.361 * [taylor]: Taking taylor expansion of (* a c) in b
1.361 * [taylor]: Taking taylor expansion of a in b
1.361 * [taylor]: Taking taylor expansion of c in b
1.361 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.361 * [taylor]: Taking taylor expansion of a in c
1.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
1.362 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.362 * [taylor]: Taking taylor expansion of (* a c) in c
1.362 * [taylor]: Taking taylor expansion of a in c
1.362 * [taylor]: Taking taylor expansion of c in c
1.362 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.362 * [taylor]: Taking taylor expansion of (* d a) in c
1.362 * [taylor]: Taking taylor expansion of d in c
1.362 * [taylor]: Taking taylor expansion of a in c
1.362 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.362 * [taylor]: Taking taylor expansion of a in a
1.363 * [taylor]: Taking taylor expansion of 1 in d
1.363 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.363 * [taylor]: Taking taylor expansion of a in a
1.363 * [taylor]: Taking taylor expansion of 1 in d
1.364 * [taylor]: Taking taylor expansion of 0 in c
1.365 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.365 * [taylor]: Taking taylor expansion of (* d a) in a
1.365 * [taylor]: Taking taylor expansion of d in a
1.365 * [taylor]: Taking taylor expansion of a in a
1.365 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.365 * [taylor]: Taking taylor expansion of d in d
1.366 * [taylor]: Taking taylor expansion of 0 in a
1.366 * [taylor]: Taking taylor expansion of 0 in d
1.366 * [taylor]: Taking taylor expansion of 0 in d
1.367 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.367 * [approximate]: Taking taylor expansion of (* a (+ b c)) in (b c a) around 0
1.367 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
1.367 * [taylor]: Taking taylor expansion of a in a
1.367 * [taylor]: Taking taylor expansion of (+ b c) in a
1.367 * [taylor]: Taking taylor expansion of b in a
1.367 * [taylor]: Taking taylor expansion of c in a
1.367 * [taylor]: Taking taylor expansion of (* a (+ b c)) in c
1.367 * [taylor]: Taking taylor expansion of a in c
1.367 * [taylor]: Taking taylor expansion of (+ b c) in c
1.368 * [taylor]: Taking taylor expansion of b in c
1.368 * [taylor]: Taking taylor expansion of c in c
1.368 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
1.368 * [taylor]: Taking taylor expansion of a in b
1.368 * [taylor]: Taking taylor expansion of (+ b c) in b
1.368 * [taylor]: Taking taylor expansion of b in b
1.368 * [taylor]: Taking taylor expansion of c in b
1.368 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
1.368 * [taylor]: Taking taylor expansion of a in b
1.368 * [taylor]: Taking taylor expansion of (+ b c) in b
1.368 * [taylor]: Taking taylor expansion of b in b
1.368 * [taylor]: Taking taylor expansion of c in b
1.368 * [taylor]: Taking taylor expansion of (* a c) in c
1.368 * [taylor]: Taking taylor expansion of a in c
1.368 * [taylor]: Taking taylor expansion of c in c
1.368 * [taylor]: Taking taylor expansion of 0 in a
1.368 * [taylor]: Taking taylor expansion of a in c
1.368 * [taylor]: Taking taylor expansion of a in a
1.369 * [taylor]: Taking taylor expansion of a in a
1.369 * [taylor]: Taking taylor expansion of 0 in c
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.369 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (b c a) around 0
1.369 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.369 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.369 * [taylor]: Taking taylor expansion of c in a
1.369 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.370 * [taylor]: Taking taylor expansion of b in a
1.370 * [taylor]: Taking taylor expansion of a in a
1.370 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
1.370 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.370 * [taylor]: Taking taylor expansion of c in c
1.370 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.370 * [taylor]: Taking taylor expansion of b in c
1.370 * [taylor]: Taking taylor expansion of a in c
1.370 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.370 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.370 * [taylor]: Taking taylor expansion of c in b
1.370 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.370 * [taylor]: Taking taylor expansion of b in b
1.371 * [taylor]: Taking taylor expansion of a in b
1.371 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.371 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.371 * [taylor]: Taking taylor expansion of c in b
1.371 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.371 * [taylor]: Taking taylor expansion of b in b
1.372 * [taylor]: Taking taylor expansion of a in b
1.372 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.372 * [taylor]: Taking taylor expansion of a in c
1.373 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.373 * [taylor]: Taking taylor expansion of (* a c) in c
1.373 * [taylor]: Taking taylor expansion of a in c
1.373 * [taylor]: Taking taylor expansion of c in c
1.373 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.373 * [taylor]: Taking taylor expansion of a in a
1.373 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.373 * [taylor]: Taking taylor expansion of a in a
1.374 * [taylor]: Taking taylor expansion of 0 in c
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.377 * [taylor]: Taking taylor expansion of 0 in c
1.377 * [taylor]: Taking taylor expansion of 0 in a
1.377 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (b c a) around 0
1.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.379 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.379 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.379 * [taylor]: Taking taylor expansion of c in a
1.379 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.379 * [taylor]: Taking taylor expansion of b in a
1.379 * [taylor]: Taking taylor expansion of a in a
1.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
1.379 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
1.379 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.379 * [taylor]: Taking taylor expansion of c in c
1.379 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.380 * [taylor]: Taking taylor expansion of b in c
1.380 * [taylor]: Taking taylor expansion of a in c
1.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.380 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.380 * [taylor]: Taking taylor expansion of c in b
1.380 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.380 * [taylor]: Taking taylor expansion of b in b
1.380 * [taylor]: Taking taylor expansion of a in b
1.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.381 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.381 * [taylor]: Taking taylor expansion of c in b
1.381 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.381 * [taylor]: Taking taylor expansion of b in b
1.381 * [taylor]: Taking taylor expansion of a in b
1.381 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.381 * [taylor]: Taking taylor expansion of a in c
1.382 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.382 * [taylor]: Taking taylor expansion of (* a c) in c
1.382 * [taylor]: Taking taylor expansion of a in c
1.382 * [taylor]: Taking taylor expansion of c in c
1.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.382 * [taylor]: Taking taylor expansion of a in a
1.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.383 * [taylor]: Taking taylor expansion of a in a
1.386 * [taylor]: Taking taylor expansion of 0 in c
1.387 * [taylor]: Taking taylor expansion of 0 in a
1.387 * [taylor]: Taking taylor expansion of 0 in a
1.389 * [taylor]: Taking taylor expansion of 0 in c
1.389 * [taylor]: Taking taylor expansion of 0 in a
1.389 * [taylor]: Taking taylor expansion of 0 in a
1.389 * [taylor]: Taking taylor expansion of 0 in a
1.391 * * * [progress]: simplifying candidates
1.391 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (* (+ b c) a) (* a d)))
  (log1p (+ (* (+ b c) a) (* a d)))
  (* (exp (* (+ b c) a)) (exp (* a d)))
  (log (+ (* (+ b c) a) (* a d)))
  (exp (+ (* (+ b c) a) (* a d)))
  (* (cbrt (+ (* (+ b c) a) (* a d))) (cbrt (+ (* (+ b c) a) (* a d))))
  (cbrt (+ (* (+ b c) a) (* a d)))
  (* (* (+ (* (+ b c) a) (* a d)) (+ (* (+ b c) a) (* a d))) (+ (* (+ b c) a) (* a d)))
  (sqrt (+ (* (+ b c) a) (* a d)))
  (sqrt (+ (* (+ b c) a) (* a d)))
  (+ (pow (* (+ b c) a) 3) (pow (* a d) 3))
  (+ (* (* (+ b c) a) (* (+ b c) a)) (- (* (* a d) (* a d)) (* (* (+ b c) a) (* a d))))
  (- (* (* (+ b c) a) (* (+ b c) a)) (* (* a d) (* a d)))
  (- (* (+ b c) a) (* a d))
  (expm1 (* (+ b c) a))
  (log1p (* (+ b c) a))
  (* (+ b c) a)
  (+ (log (+ b c)) (log a))
  (log (* (+ b c) a))
  (exp (* (+ b c) a))
  (* (* (* (+ b c) (+ b c)) (+ b c)) (* (* a a) a))
  (* (cbrt (* (+ b c) a)) (cbrt (* (+ b c) a)))
  (cbrt (* (+ b c) a))
  (* (* (* (+ b c) a) (* (+ b c) a)) (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (+ b c) (* (cbrt a) (cbrt a)))
  (* (+ b c) (sqrt a))
  (* (+ b c) 1)
  (* (cbrt (+ b c)) a)
  (* (sqrt (+ b c)) a)
  (* (+ b c) a)
  (* (+ b c) a)
  (* (+ (pow b 3) (pow c 3)) a)
  (* (- (* b b) (* c c)) a)
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
  0
  (+ (* a b) (* a c))
  (+ (* a b) (* a c))
1.393 * * [simplify]: iteration  0 :  72  enodes  (cost  414 )
1.407 * * [simplify]: iteration  1 :  197  enodes  (cost  371 )
1.455 * * [simplify]: iteration  2 :  725  enodes  (cost  325 )
2.203 * * [simplify]: iteration  3 :  3250  enodes  (cost  323 )
3.681 * * [simplify]: iteration  done :  5000  enodes  (cost  323 )
3.681 * [simplify]: Simplified to:
   (expm1 (* a (+ (+ b c) d)))
  (log1p (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* a (+ (+ b c) d)))
  (sqrt (* a (+ (+ b c) d)))
  (+ (pow (* (+ b c) a) 3) (pow (* a d) 3))
  (fma (* a d) (* a d) (* (* (+ b c) a) (* a (- (+ b c) d))))
  (* (* a (- (+ b c) d)) (* a (+ (+ b c) d)))
  (* a (- (+ b c) d))
  (expm1 (* (+ b c) a))
  (log1p (* (+ b c) a))
  (* (+ b c) a)
  (log (* (+ b c) a))
  (log (* (+ b c) a))
  (exp (* (+ b c) a))
  (pow (* (+ b c) a) 3)
  (* (cbrt (* (+ b c) a)) (cbrt (* (+ b c) a)))
  (cbrt (* (+ b c) a))
  (pow (* (+ b c) a) 3)
  (sqrt (* (+ b c) a))
  (sqrt (* (+ b c) a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (sqrt (+ b c)) (sqrt a))
  (* (+ b c) (* (cbrt a) (cbrt a)))
  (* (+ b c) (sqrt a))
  (+ b c)
  (* (cbrt (+ b c)) a)
  (* (sqrt (+ b c)) a)
  (* (+ b c) a)
  (* (+ b c) a)
  (* (+ (pow b 3) (pow c 3)) a)
  (* (- (* b b) (* c c)) a)
  0
  (* a (+ d (+ b c)))
  (* a (+ d (+ b c)))
  0
  (* (+ b c) a)
  (* (+ b c) a)
3.681 * * * [progress]: adding candidates to table
3.772 * * [progress]: iteration 3 / 4
3.772 * * * [progress]: picking best candidate
3.777 * * * * [pick]: Picked  #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>
3.777 * * * [progress]: localizing error
3.783 * * * [progress]: generating rewritten candidates
3.783 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.783 * * * [progress]: generating series expansions
3.783 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.784 * [approximate]: Taking taylor expansion of (fma (+ b c) a (* d a)) in (b c a d) around 0
3.784 * [taylor]: Taking taylor expansion of (fma (+ b c) a (* d a)) in d
3.784 * [taylor]: Rewrote expression to (+ (* (+ b c) a) (* d a))
3.784 * [taylor]: Taking taylor expansion of (* (+ b c) a) in d
3.784 * [taylor]: Taking taylor expansion of (+ b c) in d
3.784 * [taylor]: Taking taylor expansion of b in d
3.784 * [taylor]: Taking taylor expansion of c in d
3.784 * [taylor]: Taking taylor expansion of a in d
3.784 * [taylor]: Taking taylor expansion of (* d a) in d
3.784 * [taylor]: Taking taylor expansion of d in d
3.784 * [taylor]: Taking taylor expansion of a in d
3.784 * [taylor]: Taking taylor expansion of (fma (+ b c) a (* d a)) in a
3.784 * [taylor]: Rewrote expression to (+ (* (+ b c) a) (* d a))
3.784 * [taylor]: Taking taylor expansion of (* (+ b c) a) in a
3.784 * [taylor]: Taking taylor expansion of (+ b c) in a
3.784 * [taylor]: Taking taylor expansion of b in a
3.784 * [taylor]: Taking taylor expansion of c in a
3.784 * [taylor]: Taking taylor expansion of a in a
3.784 * [taylor]: Taking taylor expansion of (* d a) in a
3.784 * [taylor]: Taking taylor expansion of d in a
3.784 * [taylor]: Taking taylor expansion of a in a
3.784 * [taylor]: Taking taylor expansion of (fma (+ b c) a (* d a)) in c
3.784 * [taylor]: Rewrote expression to (+ (* (+ b c) a) (* d a))
3.784 * [taylor]: Taking taylor expansion of (* (+ b c) a) in c
3.784 * [taylor]: Taking taylor expansion of (+ b c) in c
3.784 * [taylor]: Taking taylor expansion of b in c
3.784 * [taylor]: Taking taylor expansion of c in c
3.784 * [taylor]: Taking taylor expansion of a in c
3.784 * [taylor]: Taking taylor expansion of (* d a) in c
3.784 * [taylor]: Taking taylor expansion of d in c
3.784 * [taylor]: Taking taylor expansion of a in c
3.784 * [taylor]: Taking taylor expansion of (fma (+ b c) a (* d a)) in b
3.785 * [taylor]: Rewrote expression to (+ (* (+ b c) a) (* d a))
3.785 * [taylor]: Taking taylor expansion of (* (+ b c) a) in b
3.785 * [taylor]: Taking taylor expansion of (+ b c) in b
3.785 * [taylor]: Taking taylor expansion of b in b
3.785 * [taylor]: Taking taylor expansion of c in b
3.785 * [taylor]: Taking taylor expansion of a in b
3.785 * [taylor]: Taking taylor expansion of (* d a) in b
3.785 * [taylor]: Taking taylor expansion of d in b
3.785 * [taylor]: Taking taylor expansion of a in b
3.785 * [taylor]: Taking taylor expansion of (fma (+ b c) a (* d a)) in b
3.785 * [taylor]: Rewrote expression to (+ (* (+ b c) a) (* d a))
3.785 * [taylor]: Taking taylor expansion of (* (+ b c) a) in b
3.785 * [taylor]: Taking taylor expansion of (+ b c) in b
3.785 * [taylor]: Taking taylor expansion of b in b
3.785 * [taylor]: Taking taylor expansion of c in b
3.785 * [taylor]: Taking taylor expansion of a in b
3.785 * [taylor]: Taking taylor expansion of (* d a) in b
3.785 * [taylor]: Taking taylor expansion of d in b
3.785 * [taylor]: Taking taylor expansion of a in b
3.785 * [taylor]: Taking taylor expansion of (+ (* d a) (* a c)) in c
3.785 * [taylor]: Taking taylor expansion of (* d a) in c
3.785 * [taylor]: Taking taylor expansion of d in c
3.785 * [taylor]: Taking taylor expansion of a in c
3.785 * [taylor]: Taking taylor expansion of (* a c) in c
3.785 * [taylor]: Taking taylor expansion of a in c
3.785 * [taylor]: Taking taylor expansion of c in c
3.785 * [taylor]: Taking taylor expansion of (* d a) in a
3.785 * [taylor]: Taking taylor expansion of d in a
3.785 * [taylor]: Taking taylor expansion of a in a
3.785 * [taylor]: Taking taylor expansion of 0 in d
3.786 * [taylor]: Taking taylor expansion of a in c
3.786 * [taylor]: Taking taylor expansion of a in a
3.786 * [taylor]: Taking taylor expansion of 0 in d
3.786 * [taylor]: Taking taylor expansion of a in a
3.786 * [taylor]: Taking taylor expansion of 0 in d
3.787 * [taylor]: Taking taylor expansion of d in d
3.788 * [taylor]: Taking taylor expansion of 0 in c
3.788 * [taylor]: Taking taylor expansion of 0 in a
3.788 * [taylor]: Taking taylor expansion of 0 in d
3.788 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in (b c a d) around 0
3.788 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in d
3.788 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) (/ 1 (* d a)))
3.788 * [taylor]: Taking taylor expansion of (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) in d
3.788 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
3.788 * [taylor]: Taking taylor expansion of (/ 1 c) in d
3.788 * [taylor]: Taking taylor expansion of c in d
3.788 * [taylor]: Taking taylor expansion of (/ 1 b) in d
3.788 * [taylor]: Taking taylor expansion of b in d
3.788 * [taylor]: Taking taylor expansion of (/ 1 a) in d
3.788 * [taylor]: Taking taylor expansion of a in d
3.788 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.788 * [taylor]: Taking taylor expansion of (* d a) in d
3.788 * [taylor]: Taking taylor expansion of d in d
3.788 * [taylor]: Taking taylor expansion of a in d
3.789 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in a
3.789 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) (/ 1 (* d a)))
3.789 * [taylor]: Taking taylor expansion of (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) in a
3.789 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
3.789 * [taylor]: Taking taylor expansion of (/ 1 c) in a
3.789 * [taylor]: Taking taylor expansion of c in a
3.789 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.789 * [taylor]: Taking taylor expansion of b in a
3.789 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.789 * [taylor]: Taking taylor expansion of a in a
3.789 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.789 * [taylor]: Taking taylor expansion of (* d a) in a
3.789 * [taylor]: Taking taylor expansion of d in a
3.789 * [taylor]: Taking taylor expansion of a in a
3.790 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in c
3.790 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) (/ 1 (* d a)))
3.790 * [taylor]: Taking taylor expansion of (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) in c
3.790 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
3.790 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.790 * [taylor]: Taking taylor expansion of c in c
3.790 * [taylor]: Taking taylor expansion of (/ 1 b) in c
3.790 * [taylor]: Taking taylor expansion of b in c
3.790 * [taylor]: Taking taylor expansion of (/ 1 a) in c
3.790 * [taylor]: Taking taylor expansion of a in c
3.790 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.790 * [taylor]: Taking taylor expansion of (* d a) in c
3.790 * [taylor]: Taking taylor expansion of d in c
3.790 * [taylor]: Taking taylor expansion of a in c
3.790 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in b
3.790 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) (/ 1 (* d a)))
3.790 * [taylor]: Taking taylor expansion of (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) in b
3.790 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
3.790 * [taylor]: Taking taylor expansion of (/ 1 c) in b
3.790 * [taylor]: Taking taylor expansion of c in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.791 * [taylor]: Taking taylor expansion of b in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.791 * [taylor]: Taking taylor expansion of a in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.791 * [taylor]: Taking taylor expansion of (* d a) in b
3.791 * [taylor]: Taking taylor expansion of d in b
3.791 * [taylor]: Taking taylor expansion of a in b
3.791 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 c) (/ 1 b)) (/ 1 a) (/ 1 (* d a))) in b
3.791 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) (/ 1 (* d a)))
3.791 * [taylor]: Taking taylor expansion of (* (+ (/ 1 c) (/ 1 b)) (/ 1 a)) in b
3.791 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 c) in b
3.791 * [taylor]: Taking taylor expansion of c in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.791 * [taylor]: Taking taylor expansion of b in b
3.791 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.792 * [taylor]: Taking taylor expansion of a in b
3.792 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.792 * [taylor]: Taking taylor expansion of (* d a) in b
3.792 * [taylor]: Taking taylor expansion of d in b
3.792 * [taylor]: Taking taylor expansion of a in b
3.792 * [taylor]: Taking taylor expansion of (/ 1 a) in c
3.792 * [taylor]: Taking taylor expansion of a in c
3.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
3.793 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.793 * [taylor]: Taking taylor expansion of (* d a) in c
3.793 * [taylor]: Taking taylor expansion of d in c
3.793 * [taylor]: Taking taylor expansion of a in c
3.793 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
3.793 * [taylor]: Taking taylor expansion of (* a c) in c
3.793 * [taylor]: Taking taylor expansion of a in c
3.793 * [taylor]: Taking taylor expansion of c in c
3.794 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.794 * [taylor]: Taking taylor expansion of a in a
3.794 * [taylor]: Taking taylor expansion of 1 in d
3.794 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.794 * [taylor]: Taking taylor expansion of a in a
3.794 * [taylor]: Taking taylor expansion of 1 in d
3.796 * [taylor]: Taking taylor expansion of 0 in c
3.796 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.796 * [taylor]: Taking taylor expansion of (* d a) in a
3.796 * [taylor]: Taking taylor expansion of d in a
3.796 * [taylor]: Taking taylor expansion of a in a
3.797 * [taylor]: Taking taylor expansion of (/ 1 d) in d
3.797 * [taylor]: Taking taylor expansion of d in d
3.797 * [taylor]: Taking taylor expansion of 0 in a
3.797 * [taylor]: Taking taylor expansion of 0 in d
3.798 * [taylor]: Taking taylor expansion of 0 in d
3.799 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in (b c a d) around 0
3.799 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in d
3.799 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) (/ 1 (* d a)))
3.799 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) in d
3.799 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in d
3.799 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
3.799 * [taylor]: Taking taylor expansion of (/ 1 c) in d
3.799 * [taylor]: Taking taylor expansion of c in d
3.799 * [taylor]: Taking taylor expansion of (/ 1 b) in d
3.799 * [taylor]: Taking taylor expansion of b in d
3.799 * [taylor]: Taking taylor expansion of (/ -1 a) in d
3.799 * [taylor]: Taking taylor expansion of -1 in d
3.799 * [taylor]: Taking taylor expansion of a in d
3.799 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.799 * [taylor]: Taking taylor expansion of (* d a) in d
3.799 * [taylor]: Taking taylor expansion of d in d
3.799 * [taylor]: Taking taylor expansion of a in d
3.799 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in a
3.800 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) (/ 1 (* d a)))
3.800 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) in a
3.800 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
3.800 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
3.800 * [taylor]: Taking taylor expansion of (/ 1 c) in a
3.800 * [taylor]: Taking taylor expansion of c in a
3.800 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.800 * [taylor]: Taking taylor expansion of b in a
3.800 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.800 * [taylor]: Taking taylor expansion of -1 in a
3.800 * [taylor]: Taking taylor expansion of a in a
3.800 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.800 * [taylor]: Taking taylor expansion of (* d a) in a
3.800 * [taylor]: Taking taylor expansion of d in a
3.800 * [taylor]: Taking taylor expansion of a in a
3.800 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in c
3.801 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) (/ 1 (* d a)))
3.801 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) in c
3.801 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c
3.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
3.801 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.801 * [taylor]: Taking taylor expansion of c in c
3.801 * [taylor]: Taking taylor expansion of (/ 1 b) in c
3.801 * [taylor]: Taking taylor expansion of b in c
3.801 * [taylor]: Taking taylor expansion of (/ -1 a) in c
3.801 * [taylor]: Taking taylor expansion of -1 in c
3.801 * [taylor]: Taking taylor expansion of a in c
3.801 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.801 * [taylor]: Taking taylor expansion of (* d a) in c
3.801 * [taylor]: Taking taylor expansion of d in c
3.801 * [taylor]: Taking taylor expansion of a in c
3.801 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in b
3.801 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) (/ 1 (* d a)))
3.801 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) in b
3.801 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
3.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
3.801 * [taylor]: Taking taylor expansion of (/ 1 c) in b
3.801 * [taylor]: Taking taylor expansion of c in b
3.801 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.801 * [taylor]: Taking taylor expansion of b in b
3.802 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.802 * [taylor]: Taking taylor expansion of -1 in b
3.802 * [taylor]: Taking taylor expansion of a in b
3.802 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.802 * [taylor]: Taking taylor expansion of (* d a) in b
3.802 * [taylor]: Taking taylor expansion of d in b
3.802 * [taylor]: Taking taylor expansion of a in b
3.802 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 c) (/ 1 b))) (/ -1 a) (/ 1 (* d a))) in b
3.802 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) (/ 1 (* d a)))
3.802 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 c) (/ 1 b))) (/ -1 a)) in b
3.802 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
3.802 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
3.802 * [taylor]: Taking taylor expansion of (/ 1 c) in b
3.802 * [taylor]: Taking taylor expansion of c in b
3.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.802 * [taylor]: Taking taylor expansion of b in b
3.803 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.803 * [taylor]: Taking taylor expansion of -1 in b
3.803 * [taylor]: Taking taylor expansion of a in b
3.803 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.803 * [taylor]: Taking taylor expansion of (* d a) in b
3.803 * [taylor]: Taking taylor expansion of d in b
3.803 * [taylor]: Taking taylor expansion of a in b
3.804 * [taylor]: Taking taylor expansion of (/ 1 a) in c
3.804 * [taylor]: Taking taylor expansion of a in c
3.805 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
3.805 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.805 * [taylor]: Taking taylor expansion of (* d a) in c
3.805 * [taylor]: Taking taylor expansion of d in c
3.805 * [taylor]: Taking taylor expansion of a in c
3.805 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
3.805 * [taylor]: Taking taylor expansion of (* a c) in c
3.805 * [taylor]: Taking taylor expansion of a in c
3.805 * [taylor]: Taking taylor expansion of c in c
3.805 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.805 * [taylor]: Taking taylor expansion of a in a
3.806 * [taylor]: Taking taylor expansion of 1 in d
3.806 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.806 * [taylor]: Taking taylor expansion of a in a
3.806 * [taylor]: Taking taylor expansion of 1 in d
3.808 * [taylor]: Taking taylor expansion of 0 in c
3.811 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.811 * [taylor]: Taking taylor expansion of (* d a) in a
3.812 * [taylor]: Taking taylor expansion of d in a
3.812 * [taylor]: Taking taylor expansion of a in a
3.812 * [taylor]: Taking taylor expansion of (/ 1 d) in d
3.812 * [taylor]: Taking taylor expansion of d in d
3.812 * [taylor]: Taking taylor expansion of 0 in a
3.813 * [taylor]: Taking taylor expansion of 0 in d
3.813 * [taylor]: Taking taylor expansion of 0 in d
3.814 * * * [progress]: simplifying candidates
3.814 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (+ b c) a (* a d)))
  (log1p (fma (+ b c) a (* a d)))
  (* (+ b c) a)
  (log (fma (+ b c) a (* a d)))
  (exp (fma (+ b c) a (* a d)))
  (* (cbrt (fma (+ b c) a (* a d))) (cbrt (fma (+ b c) a (* a d))))
  (cbrt (fma (+ b c) a (* a d)))
  (* (* (fma (+ b c) a (* a d)) (fma (+ b c) a (* a d))) (fma (+ b c) a (* a d)))
  (sqrt (fma (+ b c) a (* a d)))
  (sqrt (fma (+ b c) a (* a d)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
3.815 * * [simplify]: iteration  0 :  23  enodes  (cost  136 )
3.818 * * [simplify]: iteration  1 :  34  enodes  (cost  130 )
3.823 * * [simplify]: iteration  2 :  90  enodes  (cost  102 )
3.844 * * [simplify]: iteration  3 :  408  enodes  (cost  102 )
4.116 * * [simplify]: iteration  4 :  2427  enodes  (cost  102 )
5.419 * * [simplify]: iteration  done :  5001  enodes  (cost  102 )
5.419 * [simplify]: Simplified to:
   (expm1 (* a (+ d (+ b c))))
  (log1p (* a (+ d (+ b c))))
  (* (+ b c) a)
  (log (* a (+ d (+ b c))))
  (exp (* a (+ d (+ b c))))
  (* (cbrt (* a (+ d (+ b c)))) (cbrt (* a (+ d (+ b c)))))
  (cbrt (* a (+ d (+ b c))))
  (pow (* a (+ d (+ b c))) 3)
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  0
  (* a (+ d (+ b c)))
  (* a (+ d (+ b c)))
5.419 * * * [progress]: adding candidates to table
5.448 * * [progress]: iteration 4 / 4
5.448 * * * [progress]: picking best candidate
5.451 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))>
5.451 * * * [progress]: localizing error
5.459 * * * [progress]: generating rewritten candidates
5.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.541 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.576 * * * [progress]: generating series expansions
5.576 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.576 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a d b c) around 0
5.576 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.576 * [taylor]: Taking taylor expansion of a in c
5.576 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.576 * [taylor]: Taking taylor expansion of d in c
5.576 * [taylor]: Taking taylor expansion of (+ b c) in c
5.576 * [taylor]: Taking taylor expansion of b in c
5.576 * [taylor]: Taking taylor expansion of c in c
5.576 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.576 * [taylor]: Taking taylor expansion of a in b
5.576 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.576 * [taylor]: Taking taylor expansion of d in b
5.576 * [taylor]: Taking taylor expansion of (+ b c) in b
5.576 * [taylor]: Taking taylor expansion of b in b
5.577 * [taylor]: Taking taylor expansion of c in b
5.577 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.577 * [taylor]: Taking taylor expansion of a in d
5.577 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.577 * [taylor]: Taking taylor expansion of d in d
5.577 * [taylor]: Taking taylor expansion of (+ b c) in d
5.577 * [taylor]: Taking taylor expansion of b in d
5.577 * [taylor]: Taking taylor expansion of c in d
5.577 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.577 * [taylor]: Taking taylor expansion of a in a
5.577 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.577 * [taylor]: Taking taylor expansion of d in a
5.577 * [taylor]: Taking taylor expansion of (+ b c) in a
5.577 * [taylor]: Taking taylor expansion of b in a
5.577 * [taylor]: Taking taylor expansion of c in a
5.577 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.577 * [taylor]: Taking taylor expansion of a in a
5.577 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.577 * [taylor]: Taking taylor expansion of d in a
5.577 * [taylor]: Taking taylor expansion of (+ b c) in a
5.577 * [taylor]: Taking taylor expansion of b in a
5.577 * [taylor]: Taking taylor expansion of c in a
5.577 * [taylor]: Taking taylor expansion of 0 in d
5.577 * [taylor]: Taking taylor expansion of 0 in b
5.577 * [taylor]: Taking taylor expansion of 0 in c
5.578 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in d
5.578 * [taylor]: Taking taylor expansion of d in d
5.578 * [taylor]: Taking taylor expansion of (+ c b) in d
5.578 * [taylor]: Taking taylor expansion of c in d
5.578 * [taylor]: Taking taylor expansion of b in d
5.578 * [taylor]: Taking taylor expansion of (+ c b) in b
5.578 * [taylor]: Taking taylor expansion of c in b
5.578 * [taylor]: Taking taylor expansion of b in b
5.578 * [taylor]: Taking taylor expansion of c in c
5.578 * [taylor]: Taking taylor expansion of 0 in b
5.578 * [taylor]: Taking taylor expansion of 0 in c
5.578 * [taylor]: Taking taylor expansion of 0 in c
5.579 * [taylor]: Taking taylor expansion of 0 in d
5.579 * [taylor]: Taking taylor expansion of 0 in b
5.579 * [taylor]: Taking taylor expansion of 0 in c
5.580 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in (a d b c) around 0
5.580 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.580 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.580 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.580 * [taylor]: Taking taylor expansion of c in c
5.580 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.580 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.580 * [taylor]: Taking taylor expansion of d in c
5.580 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.580 * [taylor]: Taking taylor expansion of b in c
5.580 * [taylor]: Taking taylor expansion of a in c
5.581 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.581 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.581 * [taylor]: Taking taylor expansion of c in b
5.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.581 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.581 * [taylor]: Taking taylor expansion of d in b
5.581 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.581 * [taylor]: Taking taylor expansion of b in b
5.581 * [taylor]: Taking taylor expansion of a in b
5.582 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.582 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.582 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.582 * [taylor]: Taking taylor expansion of c in d
5.582 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.582 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.582 * [taylor]: Taking taylor expansion of d in d
5.582 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.582 * [taylor]: Taking taylor expansion of b in d
5.582 * [taylor]: Taking taylor expansion of a in d
5.583 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.583 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.583 * [taylor]: Taking taylor expansion of c in a
5.583 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.583 * [taylor]: Taking taylor expansion of d in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.583 * [taylor]: Taking taylor expansion of b in a
5.583 * [taylor]: Taking taylor expansion of a in a
5.583 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.583 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.583 * [taylor]: Taking taylor expansion of c in a
5.583 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.583 * [taylor]: Taking taylor expansion of d in a
5.584 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.584 * [taylor]: Taking taylor expansion of b in a
5.584 * [taylor]: Taking taylor expansion of a in a
5.584 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.584 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.584 * [taylor]: Taking taylor expansion of c in d
5.584 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.584 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.584 * [taylor]: Taking taylor expansion of d in d
5.584 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.584 * [taylor]: Taking taylor expansion of b in d
5.585 * [taylor]: Taking taylor expansion of 1 in b
5.586 * [taylor]: Taking taylor expansion of 0 in d
5.587 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.587 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.587 * [taylor]: Taking taylor expansion of c in b
5.587 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.587 * [taylor]: Taking taylor expansion of b in b
5.587 * [taylor]: Taking taylor expansion of 1 in c
5.587 * [taylor]: Taking taylor expansion of 1 in c
5.589 * [taylor]: Taking taylor expansion of 0 in d
5.589 * [taylor]: Taking taylor expansion of 0 in b
5.590 * [taylor]: Taking taylor expansion of 0 in b
5.591 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.591 * [taylor]: Taking taylor expansion of c in c
5.591 * [taylor]: Taking taylor expansion of 0 in c
5.592 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in (a d b c) around 0
5.592 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.592 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.592 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.592 * [taylor]: Taking taylor expansion of c in c
5.592 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.592 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.592 * [taylor]: Taking taylor expansion of d in c
5.592 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.592 * [taylor]: Taking taylor expansion of b in c
5.592 * [taylor]: Taking taylor expansion of a in c
5.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.593 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.593 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.593 * [taylor]: Taking taylor expansion of c in b
5.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.593 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.593 * [taylor]: Taking taylor expansion of d in b
5.593 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.593 * [taylor]: Taking taylor expansion of b in b
5.593 * [taylor]: Taking taylor expansion of a in b
5.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.594 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.594 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.594 * [taylor]: Taking taylor expansion of c in d
5.594 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.594 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.594 * [taylor]: Taking taylor expansion of d in d
5.594 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.594 * [taylor]: Taking taylor expansion of b in d
5.594 * [taylor]: Taking taylor expansion of a in d
5.595 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.595 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.595 * [taylor]: Taking taylor expansion of c in a
5.595 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.595 * [taylor]: Taking taylor expansion of d in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.595 * [taylor]: Taking taylor expansion of b in a
5.595 * [taylor]: Taking taylor expansion of a in a
5.595 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.595 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.595 * [taylor]: Taking taylor expansion of c in a
5.595 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.595 * [taylor]: Taking taylor expansion of d in a
5.595 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.595 * [taylor]: Taking taylor expansion of b in a
5.595 * [taylor]: Taking taylor expansion of a in a
5.596 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.596 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.596 * [taylor]: Taking taylor expansion of c in d
5.596 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.596 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.596 * [taylor]: Taking taylor expansion of d in d
5.596 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.596 * [taylor]: Taking taylor expansion of b in d
5.597 * [taylor]: Taking taylor expansion of 1 in b
5.598 * [taylor]: Taking taylor expansion of 0 in d
5.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.598 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.598 * [taylor]: Taking taylor expansion of c in b
5.598 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.599 * [taylor]: Taking taylor expansion of b in b
5.599 * [taylor]: Taking taylor expansion of 1 in c
5.599 * [taylor]: Taking taylor expansion of 1 in c
5.601 * [taylor]: Taking taylor expansion of 0 in d
5.601 * [taylor]: Taking taylor expansion of 0 in b
5.602 * [taylor]: Taking taylor expansion of 0 in b
5.602 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.602 * [taylor]: Taking taylor expansion of c in c
5.603 * [taylor]: Taking taylor expansion of 0 in c
5.603 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.603 * [approximate]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in (a d b c) around 0
5.603 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in c
5.603 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.603 * [taylor]: Taking taylor expansion of a in c
5.603 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.603 * [taylor]: Taking taylor expansion of d in c
5.603 * [taylor]: Taking taylor expansion of (+ b c) in c
5.603 * [taylor]: Taking taylor expansion of b in c
5.603 * [taylor]: Taking taylor expansion of c in c
5.604 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in b
5.604 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.604 * [taylor]: Taking taylor expansion of a in b
5.604 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.604 * [taylor]: Taking taylor expansion of d in b
5.604 * [taylor]: Taking taylor expansion of (+ b c) in b
5.604 * [taylor]: Taking taylor expansion of b in b
5.604 * [taylor]: Taking taylor expansion of c in b
5.605 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in d
5.605 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.605 * [taylor]: Taking taylor expansion of a in d
5.605 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.605 * [taylor]: Taking taylor expansion of d in d
5.605 * [taylor]: Taking taylor expansion of (+ b c) in d
5.605 * [taylor]: Taking taylor expansion of b in d
5.605 * [taylor]: Taking taylor expansion of c in d
5.606 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
5.606 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.606 * [taylor]: Taking taylor expansion of a in a
5.606 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.606 * [taylor]: Taking taylor expansion of d in a
5.606 * [taylor]: Taking taylor expansion of (+ b c) in a
5.606 * [taylor]: Taking taylor expansion of b in a
5.606 * [taylor]: Taking taylor expansion of c in a
5.607 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
5.608 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.608 * [taylor]: Taking taylor expansion of a in a
5.608 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.608 * [taylor]: Taking taylor expansion of d in a
5.608 * [taylor]: Taking taylor expansion of (+ b c) in a
5.608 * [taylor]: Taking taylor expansion of b in a
5.608 * [taylor]: Taking taylor expansion of c in a
5.609 * [taylor]: Taking taylor expansion of 0 in d
5.609 * [taylor]: Taking taylor expansion of 0 in b
5.609 * [taylor]: Taking taylor expansion of 0 in c
5.609 * [taylor]: Taking taylor expansion of (* +nan.0 (+ d (+ b c))) in d
5.609 * [taylor]: Taking taylor expansion of +nan.0 in d
5.609 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.609 * [taylor]: Taking taylor expansion of d in d
5.609 * [taylor]: Taking taylor expansion of (+ b c) in d
5.609 * [taylor]: Taking taylor expansion of b in d
5.609 * [taylor]: Taking taylor expansion of c in d
5.609 * [taylor]: Taking taylor expansion of (* +nan.0 (+ b c)) in b
5.609 * [taylor]: Taking taylor expansion of +nan.0 in b
5.609 * [taylor]: Taking taylor expansion of (+ b c) in b
5.609 * [taylor]: Taking taylor expansion of b in b
5.609 * [taylor]: Taking taylor expansion of c in b
5.609 * [taylor]: Taking taylor expansion of (* +nan.0 c) in c
5.609 * [taylor]: Taking taylor expansion of +nan.0 in c
5.610 * [taylor]: Taking taylor expansion of c in c
5.610 * [taylor]: Taking taylor expansion of 0 in b
5.610 * [taylor]: Taking taylor expansion of 0 in c
5.610 * [taylor]: Taking taylor expansion of 0 in c
5.612 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))))))) in d
5.612 * [taylor]: Taking taylor expansion of +nan.0 in d
5.612 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))))))) in d
5.612 * [taylor]: Taking taylor expansion of (* +nan.0 (* b c)) in d
5.612 * [taylor]: Taking taylor expansion of +nan.0 in d
5.612 * [taylor]: Taking taylor expansion of (* b c) in d
5.612 * [taylor]: Taking taylor expansion of b in d
5.612 * [taylor]: Taking taylor expansion of c in d
5.612 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))))) in d
5.612 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))))) in d
5.612 * [taylor]: Taking taylor expansion of (* +nan.0 (* d c)) in d
5.612 * [taylor]: Taking taylor expansion of +nan.0 in d
5.612 * [taylor]: Taking taylor expansion of (* d c) in d
5.612 * [taylor]: Taking taylor expansion of d in d
5.612 * [taylor]: Taking taylor expansion of c in d
5.612 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))) in d
5.612 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))) in d
5.612 * [taylor]: Taking taylor expansion of (* +nan.0 (pow b 2)) in d
5.612 * [taylor]: Taking taylor expansion of +nan.0 in d
5.612 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.612 * [taylor]: Taking taylor expansion of b in d
5.612 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))) in d
5.613 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))) in d
5.613 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in d
5.613 * [taylor]: Taking taylor expansion of +nan.0 in d
5.613 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.613 * [taylor]: Taking taylor expansion of c in d
5.613 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))) in d
5.613 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))) in d
5.613 * [taylor]: Taking taylor expansion of (* +nan.0 (pow d 2)) in d
5.613 * [taylor]: Taking taylor expansion of +nan.0 in d
5.613 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.613 * [taylor]: Taking taylor expansion of d in d
5.613 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* d b))) in d
5.613 * [taylor]: Taking taylor expansion of (* +nan.0 (* d b)) in d
5.613 * [taylor]: Taking taylor expansion of +nan.0 in d
5.613 * [taylor]: Taking taylor expansion of (* d b) in d
5.613 * [taylor]: Taking taylor expansion of d in d
5.613 * [taylor]: Taking taylor expansion of b in d
5.616 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2))))))) in b
5.616 * [taylor]: Taking taylor expansion of +nan.0 in b
5.616 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2)))))) in b
5.616 * [taylor]: Taking taylor expansion of (* +nan.0 (* b c)) in b
5.616 * [taylor]: Taking taylor expansion of +nan.0 in b
5.616 * [taylor]: Taking taylor expansion of (* b c) in b
5.616 * [taylor]: Taking taylor expansion of b in b
5.616 * [taylor]: Taking taylor expansion of c in b
5.616 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2))))) in b
5.616 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2)))) in b
5.616 * [taylor]: Taking taylor expansion of (* +nan.0 (pow b 2)) in b
5.616 * [taylor]: Taking taylor expansion of +nan.0 in b
5.616 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.616 * [taylor]: Taking taylor expansion of b in b
5.616 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow c 2))) in b
5.616 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in b
5.616 * [taylor]: Taking taylor expansion of +nan.0 in b
5.616 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.616 * [taylor]: Taking taylor expansion of c in b
5.617 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in c
5.617 * [taylor]: Taking taylor expansion of +nan.0 in c
5.617 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.617 * [taylor]: Taking taylor expansion of c in c
5.618 * [taylor]: Taking taylor expansion of (- +nan.0) in b
5.618 * [taylor]: Taking taylor expansion of +nan.0 in b
5.618 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.618 * [taylor]: Taking taylor expansion of +nan.0 in c
5.619 * [taylor]: Taking taylor expansion of 0 in b
5.619 * [taylor]: Taking taylor expansion of 0 in c
5.619 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.619 * [taylor]: Taking taylor expansion of +nan.0 in c
5.620 * [taylor]: Taking taylor expansion of 0 in c
5.620 * [taylor]: Taking taylor expansion of 0 in c
5.622 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in (a d b c) around 0
5.622 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in c
5.622 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.622 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.622 * [taylor]: Taking taylor expansion of c in c
5.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.623 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.623 * [taylor]: Taking taylor expansion of d in c
5.623 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.623 * [taylor]: Taking taylor expansion of b in c
5.623 * [taylor]: Taking taylor expansion of a in c
5.624 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in b
5.624 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.624 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.624 * [taylor]: Taking taylor expansion of c in b
5.624 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.624 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.624 * [taylor]: Taking taylor expansion of d in b
5.624 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.624 * [taylor]: Taking taylor expansion of b in b
5.624 * [taylor]: Taking taylor expansion of a in b
5.625 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in d
5.625 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.625 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.625 * [taylor]: Taking taylor expansion of c in d
5.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.625 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.625 * [taylor]: Taking taylor expansion of d in d
5.626 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.626 * [taylor]: Taking taylor expansion of b in d
5.626 * [taylor]: Taking taylor expansion of a in d
5.627 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.627 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.627 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.627 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.627 * [taylor]: Taking taylor expansion of c in a
5.627 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.627 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.627 * [taylor]: Taking taylor expansion of d in a
5.627 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.627 * [taylor]: Taking taylor expansion of b in a
5.627 * [taylor]: Taking taylor expansion of a in a
5.628 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.628 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.628 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.628 * [taylor]: Taking taylor expansion of c in a
5.628 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.628 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.628 * [taylor]: Taking taylor expansion of d in a
5.628 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.628 * [taylor]: Taking taylor expansion of b in a
5.628 * [taylor]: Taking taylor expansion of a in a
5.629 * [taylor]: Taking taylor expansion of 0 in d
5.629 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
5.629 * [taylor]: Taking taylor expansion of +nan.0 in d
5.629 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.629 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.629 * [taylor]: Taking taylor expansion of d in d
5.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.630 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.630 * [taylor]: Taking taylor expansion of c in d
5.630 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.630 * [taylor]: Taking taylor expansion of b in d
5.630 * [taylor]: Taking taylor expansion of +nan.0 in b
5.630 * [taylor]: Taking taylor expansion of 0 in b
5.632 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))))) in d
5.632 * [taylor]: Taking taylor expansion of +nan.0 in d
5.632 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))))) in d
5.632 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d b))) in d
5.632 * [taylor]: Taking taylor expansion of +nan.0 in d
5.633 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
5.633 * [taylor]: Taking taylor expansion of (* d b) in d
5.633 * [taylor]: Taking taylor expansion of d in d
5.633 * [taylor]: Taking taylor expansion of b in d
5.633 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))) in d
5.633 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))) in d
5.633 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in d
5.633 * [taylor]: Taking taylor expansion of +nan.0 in d
5.633 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
5.633 * [taylor]: Taking taylor expansion of (* b c) in d
5.633 * [taylor]: Taking taylor expansion of b in d
5.633 * [taylor]: Taking taylor expansion of c in d
5.633 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))) in d
5.633 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))) in d
5.633 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 2))) in d
5.633 * [taylor]: Taking taylor expansion of +nan.0 in d
5.633 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.633 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.633 * [taylor]: Taking taylor expansion of d in d
5.634 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))) in d
5.634 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))) in d
5.634 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in d
5.634 * [taylor]: Taking taylor expansion of +nan.0 in d
5.634 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in d
5.634 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.634 * [taylor]: Taking taylor expansion of b in d
5.634 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))) in d
5.634 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))) in d
5.634 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d c))) in d
5.634 * [taylor]: Taking taylor expansion of +nan.0 in d
5.634 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in d
5.634 * [taylor]: Taking taylor expansion of (* d c) in d
5.634 * [taylor]: Taking taylor expansion of d in d
5.634 * [taylor]: Taking taylor expansion of c in d
5.635 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow c 2)))) in d
5.635 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in d
5.635 * [taylor]: Taking taylor expansion of +nan.0 in d
5.635 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
5.635 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.635 * [taylor]: Taking taylor expansion of c in d
5.642 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.642 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.643 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.643 * [taylor]: Taking taylor expansion of +nan.0 in b
5.643 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.643 * [taylor]: Taking taylor expansion of c in b
5.643 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.643 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.643 * [taylor]: Taking taylor expansion of +nan.0 in b
5.643 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.643 * [taylor]: Taking taylor expansion of b in b
5.644 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.645 * [taylor]: Taking taylor expansion of +nan.0 in c
5.645 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.645 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.645 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.646 * [taylor]: Taking taylor expansion of +nan.0 in b
5.646 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.646 * [taylor]: Taking taylor expansion of c in b
5.646 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.646 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.646 * [taylor]: Taking taylor expansion of +nan.0 in b
5.646 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.646 * [taylor]: Taking taylor expansion of b in b
5.647 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.647 * [taylor]: Taking taylor expansion of +nan.0 in c
5.647 * [taylor]: Taking taylor expansion of 0 in b
5.647 * [taylor]: Taking taylor expansion of +nan.0 in c
5.647 * [taylor]: Taking taylor expansion of 0 in c
5.652 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))))) in d
5.652 * [taylor]: Taking taylor expansion of +nan.0 in d
5.652 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))))) in d
5.652 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow b 2)))) in d
5.652 * [taylor]: Taking taylor expansion of +nan.0 in d
5.652 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in d
5.652 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in d
5.652 * [taylor]: Taking taylor expansion of d in d
5.652 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.652 * [taylor]: Taking taylor expansion of b in d
5.652 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))) in d
5.652 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))) in d
5.652 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 3))) in d
5.652 * [taylor]: Taking taylor expansion of +nan.0 in d
5.652 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in d
5.653 * [taylor]: Taking taylor expansion of (pow c 3) in d
5.653 * [taylor]: Taking taylor expansion of c in d
5.653 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))) in d
5.653 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))) in d
5.653 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (* b c)))) in d
5.653 * [taylor]: Taking taylor expansion of +nan.0 in d
5.653 * [taylor]: Taking taylor expansion of (/ 1 (* d (* b c))) in d
5.653 * [taylor]: Taking taylor expansion of (* d (* b c)) in d
5.653 * [taylor]: Taking taylor expansion of d in d
5.653 * [taylor]: Taking taylor expansion of (* b c) in d
5.653 * [taylor]: Taking taylor expansion of b in d
5.653 * [taylor]: Taking taylor expansion of c in d
5.653 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))) in d
5.653 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))) in d
5.653 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) c))) in d
5.653 * [taylor]: Taking taylor expansion of +nan.0 in d
5.653 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in d
5.653 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in d
5.653 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.653 * [taylor]: Taking taylor expansion of d in d
5.653 * [taylor]: Taking taylor expansion of c in d
5.654 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))) in d
5.654 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))) in d
5.654 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow c 2)))) in d
5.654 * [taylor]: Taking taylor expansion of +nan.0 in d
5.654 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in d
5.654 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in d
5.654 * [taylor]: Taking taylor expansion of d in d
5.654 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.654 * [taylor]: Taking taylor expansion of c in d
5.654 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))) in d
5.654 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))) in d
5.655 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) b))) in d
5.655 * [taylor]: Taking taylor expansion of +nan.0 in d
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) b)) in d
5.655 * [taylor]: Taking taylor expansion of (* (pow d 2) b) in d
5.655 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.655 * [taylor]: Taking taylor expansion of d in d
5.655 * [taylor]: Taking taylor expansion of b in d
5.655 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))) in d
5.655 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))) in d
5.655 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow b 2) c))) in d
5.655 * [taylor]: Taking taylor expansion of +nan.0 in d
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b 2) c)) in d
5.655 * [taylor]: Taking taylor expansion of (* (pow b 2) c) in d
5.655 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.655 * [taylor]: Taking taylor expansion of b in d
5.655 * [taylor]: Taking taylor expansion of c in d
5.655 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))) in d
5.655 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))) in d
5.655 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b (pow c 2)))) in d
5.655 * [taylor]: Taking taylor expansion of +nan.0 in d
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* b (pow c 2))) in d
5.655 * [taylor]: Taking taylor expansion of (* b (pow c 2)) in d
5.655 * [taylor]: Taking taylor expansion of b in d
5.655 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.655 * [taylor]: Taking taylor expansion of c in d
5.656 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))) in d
5.656 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))) in d
5.656 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 3))) in d
5.656 * [taylor]: Taking taylor expansion of +nan.0 in d
5.656 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in d
5.656 * [taylor]: Taking taylor expansion of (pow b 3) in d
5.656 * [taylor]: Taking taylor expansion of b in d
5.656 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow d 3)))) in d
5.656 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 3))) in d
5.656 * [taylor]: Taking taylor expansion of +nan.0 in d
5.656 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.656 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.656 * [taylor]: Taking taylor expansion of d in d
5.679 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.679 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.679 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.679 * [taylor]: Taking taylor expansion of +nan.0 in b
5.679 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.679 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.679 * [taylor]: Taking taylor expansion of b in b
5.680 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.680 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.680 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.680 * [taylor]: Taking taylor expansion of +nan.0 in b
5.680 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.680 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.680 * [taylor]: Taking taylor expansion of c in b
5.680 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.680 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.680 * [taylor]: Taking taylor expansion of +nan.0 in b
5.680 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.680 * [taylor]: Taking taylor expansion of (* b c) in b
5.680 * [taylor]: Taking taylor expansion of b in b
5.680 * [taylor]: Taking taylor expansion of c in b
5.682 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.682 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.682 * [taylor]: Taking taylor expansion of +nan.0 in c
5.682 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.682 * [taylor]: Taking taylor expansion of c in c
5.690 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.690 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.690 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.690 * [taylor]: Taking taylor expansion of +nan.0 in b
5.690 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.690 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.690 * [taylor]: Taking taylor expansion of b in b
5.690 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.690 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.690 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.690 * [taylor]: Taking taylor expansion of +nan.0 in b
5.691 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.691 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.691 * [taylor]: Taking taylor expansion of c in b
5.691 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.691 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.691 * [taylor]: Taking taylor expansion of +nan.0 in b
5.691 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.691 * [taylor]: Taking taylor expansion of (* b c) in b
5.691 * [taylor]: Taking taylor expansion of b in b
5.691 * [taylor]: Taking taylor expansion of c in b
5.692 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.693 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.693 * [taylor]: Taking taylor expansion of +nan.0 in c
5.693 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.693 * [taylor]: Taking taylor expansion of c in c
5.695 * [taylor]: Taking taylor expansion of 0 in b
5.695 * [taylor]: Taking taylor expansion of 0 in b
5.696 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.696 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.696 * [taylor]: Taking taylor expansion of +nan.0 in c
5.696 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.696 * [taylor]: Taking taylor expansion of c in c
5.699 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in (a d b c) around 0
5.699 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in c
5.699 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.699 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.699 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.699 * [taylor]: Taking taylor expansion of c in c
5.699 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.699 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.699 * [taylor]: Taking taylor expansion of d in c
5.699 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.699 * [taylor]: Taking taylor expansion of b in c
5.700 * [taylor]: Taking taylor expansion of a in c
5.700 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in b
5.700 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.700 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.700 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.700 * [taylor]: Taking taylor expansion of c in b
5.701 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.701 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.701 * [taylor]: Taking taylor expansion of d in b
5.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.701 * [taylor]: Taking taylor expansion of b in b
5.701 * [taylor]: Taking taylor expansion of a in b
5.702 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in d
5.702 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.702 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.702 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.702 * [taylor]: Taking taylor expansion of c in d
5.702 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.702 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.702 * [taylor]: Taking taylor expansion of d in d
5.702 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.702 * [taylor]: Taking taylor expansion of b in d
5.702 * [taylor]: Taking taylor expansion of a in d
5.704 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.704 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.704 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.704 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.704 * [taylor]: Taking taylor expansion of c in a
5.704 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.704 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.704 * [taylor]: Taking taylor expansion of d in a
5.704 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.704 * [taylor]: Taking taylor expansion of b in a
5.704 * [taylor]: Taking taylor expansion of a in a
5.705 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.705 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.705 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.705 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.705 * [taylor]: Taking taylor expansion of c in a
5.705 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.705 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.705 * [taylor]: Taking taylor expansion of d in a
5.705 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.705 * [taylor]: Taking taylor expansion of b in a
5.705 * [taylor]: Taking taylor expansion of a in a
5.706 * [taylor]: Taking taylor expansion of 0 in d
5.706 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
5.706 * [taylor]: Taking taylor expansion of +nan.0 in d
5.706 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.706 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.706 * [taylor]: Taking taylor expansion of d in d
5.706 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.706 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.706 * [taylor]: Taking taylor expansion of c in d
5.706 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.706 * [taylor]: Taking taylor expansion of b in d
5.707 * [taylor]: Taking taylor expansion of +nan.0 in b
5.707 * [taylor]: Taking taylor expansion of 0 in b
5.709 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))))) in d
5.709 * [taylor]: Taking taylor expansion of +nan.0 in d
5.709 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))))) in d
5.709 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d b))) in d
5.709 * [taylor]: Taking taylor expansion of +nan.0 in d
5.709 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
5.709 * [taylor]: Taking taylor expansion of (* d b) in d
5.709 * [taylor]: Taking taylor expansion of d in d
5.710 * [taylor]: Taking taylor expansion of b in d
5.710 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))) in d
5.710 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))) in d
5.710 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in d
5.710 * [taylor]: Taking taylor expansion of +nan.0 in d
5.710 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
5.710 * [taylor]: Taking taylor expansion of (* b c) in d
5.710 * [taylor]: Taking taylor expansion of b in d
5.710 * [taylor]: Taking taylor expansion of c in d
5.710 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))) in d
5.710 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))) in d
5.710 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 2))) in d
5.710 * [taylor]: Taking taylor expansion of +nan.0 in d
5.710 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.710 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.710 * [taylor]: Taking taylor expansion of d in d
5.711 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))) in d
5.711 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))) in d
5.711 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in d
5.711 * [taylor]: Taking taylor expansion of +nan.0 in d
5.711 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in d
5.711 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.711 * [taylor]: Taking taylor expansion of b in d
5.711 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))) in d
5.711 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))) in d
5.711 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d c))) in d
5.711 * [taylor]: Taking taylor expansion of +nan.0 in d
5.711 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in d
5.711 * [taylor]: Taking taylor expansion of (* d c) in d
5.711 * [taylor]: Taking taylor expansion of d in d
5.711 * [taylor]: Taking taylor expansion of c in d
5.711 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow c 2)))) in d
5.712 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in d
5.712 * [taylor]: Taking taylor expansion of +nan.0 in d
5.712 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
5.712 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.712 * [taylor]: Taking taylor expansion of c in d
5.717 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.717 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.717 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.717 * [taylor]: Taking taylor expansion of +nan.0 in b
5.717 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.717 * [taylor]: Taking taylor expansion of c in b
5.717 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.717 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.717 * [taylor]: Taking taylor expansion of +nan.0 in b
5.717 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.717 * [taylor]: Taking taylor expansion of b in b
5.719 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.719 * [taylor]: Taking taylor expansion of +nan.0 in c
5.720 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.720 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.720 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.720 * [taylor]: Taking taylor expansion of +nan.0 in b
5.720 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.720 * [taylor]: Taking taylor expansion of c in b
5.720 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.720 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.720 * [taylor]: Taking taylor expansion of +nan.0 in b
5.720 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.720 * [taylor]: Taking taylor expansion of b in b
5.722 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.722 * [taylor]: Taking taylor expansion of +nan.0 in c
5.722 * [taylor]: Taking taylor expansion of 0 in b
5.722 * [taylor]: Taking taylor expansion of +nan.0 in c
5.722 * [taylor]: Taking taylor expansion of 0 in c
5.729 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))))) in d
5.729 * [taylor]: Taking taylor expansion of +nan.0 in d
5.729 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))))) in d
5.729 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow b 2)))) in d
5.729 * [taylor]: Taking taylor expansion of +nan.0 in d
5.729 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in d
5.729 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in d
5.729 * [taylor]: Taking taylor expansion of d in d
5.729 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.729 * [taylor]: Taking taylor expansion of b in d
5.730 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 3))) in d
5.730 * [taylor]: Taking taylor expansion of +nan.0 in d
5.730 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in d
5.730 * [taylor]: Taking taylor expansion of (pow c 3) in d
5.730 * [taylor]: Taking taylor expansion of c in d
5.730 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (* b c)))) in d
5.730 * [taylor]: Taking taylor expansion of +nan.0 in d
5.730 * [taylor]: Taking taylor expansion of (/ 1 (* d (* b c))) in d
5.730 * [taylor]: Taking taylor expansion of (* d (* b c)) in d
5.730 * [taylor]: Taking taylor expansion of d in d
5.730 * [taylor]: Taking taylor expansion of (* b c) in d
5.730 * [taylor]: Taking taylor expansion of b in d
5.730 * [taylor]: Taking taylor expansion of c in d
5.730 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))) in d
5.730 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) c))) in d
5.730 * [taylor]: Taking taylor expansion of +nan.0 in d
5.731 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in d
5.731 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in d
5.731 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.731 * [taylor]: Taking taylor expansion of d in d
5.731 * [taylor]: Taking taylor expansion of c in d
5.731 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))) in d
5.731 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))) in d
5.731 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow c 2)))) in d
5.731 * [taylor]: Taking taylor expansion of +nan.0 in d
5.731 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in d
5.731 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in d
5.731 * [taylor]: Taking taylor expansion of d in d
5.731 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.731 * [taylor]: Taking taylor expansion of c in d
5.732 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))) in d
5.732 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))) in d
5.732 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) b))) in d
5.732 * [taylor]: Taking taylor expansion of +nan.0 in d
5.732 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) b)) in d
5.732 * [taylor]: Taking taylor expansion of (* (pow d 2) b) in d
5.732 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.732 * [taylor]: Taking taylor expansion of d in d
5.732 * [taylor]: Taking taylor expansion of b in d
5.732 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))) in d
5.732 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))) in d
5.732 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow b 2) c))) in d
5.732 * [taylor]: Taking taylor expansion of +nan.0 in d
5.732 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b 2) c)) in d
5.732 * [taylor]: Taking taylor expansion of (* (pow b 2) c) in d
5.732 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.732 * [taylor]: Taking taylor expansion of b in d
5.732 * [taylor]: Taking taylor expansion of c in d
5.732 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))) in d
5.732 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))) in d
5.732 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b (pow c 2)))) in d
5.732 * [taylor]: Taking taylor expansion of +nan.0 in d
5.732 * [taylor]: Taking taylor expansion of (/ 1 (* b (pow c 2))) in d
5.732 * [taylor]: Taking taylor expansion of (* b (pow c 2)) in d
5.733 * [taylor]: Taking taylor expansion of b in d
5.733 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.733 * [taylor]: Taking taylor expansion of c in d
5.733 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))) in d
5.733 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))) in d
5.733 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 3))) in d
5.733 * [taylor]: Taking taylor expansion of +nan.0 in d
5.733 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in d
5.733 * [taylor]: Taking taylor expansion of (pow b 3) in d
5.733 * [taylor]: Taking taylor expansion of b in d
5.733 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow d 3)))) in d
5.733 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 3))) in d
5.733 * [taylor]: Taking taylor expansion of +nan.0 in d
5.733 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.733 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.733 * [taylor]: Taking taylor expansion of d in d
5.757 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.757 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.757 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.757 * [taylor]: Taking taylor expansion of +nan.0 in b
5.757 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.757 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.757 * [taylor]: Taking taylor expansion of b in b
5.758 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.758 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.758 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.758 * [taylor]: Taking taylor expansion of +nan.0 in b
5.758 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.758 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.758 * [taylor]: Taking taylor expansion of c in b
5.758 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.758 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.758 * [taylor]: Taking taylor expansion of +nan.0 in b
5.758 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.758 * [taylor]: Taking taylor expansion of (* b c) in b
5.758 * [taylor]: Taking taylor expansion of b in b
5.758 * [taylor]: Taking taylor expansion of c in b
5.760 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.760 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.760 * [taylor]: Taking taylor expansion of +nan.0 in c
5.760 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.760 * [taylor]: Taking taylor expansion of c in c
5.768 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.768 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.768 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.768 * [taylor]: Taking taylor expansion of +nan.0 in b
5.768 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.768 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.768 * [taylor]: Taking taylor expansion of b in b
5.768 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.768 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.768 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.768 * [taylor]: Taking taylor expansion of +nan.0 in b
5.768 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.768 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.768 * [taylor]: Taking taylor expansion of c in b
5.768 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.768 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.768 * [taylor]: Taking taylor expansion of +nan.0 in b
5.768 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.769 * [taylor]: Taking taylor expansion of (* b c) in b
5.769 * [taylor]: Taking taylor expansion of b in b
5.769 * [taylor]: Taking taylor expansion of c in b
5.770 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.770 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.770 * [taylor]: Taking taylor expansion of +nan.0 in c
5.770 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.770 * [taylor]: Taking taylor expansion of c in c
5.773 * [taylor]: Taking taylor expansion of 0 in b
5.773 * [taylor]: Taking taylor expansion of 0 in b
5.774 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.774 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.774 * [taylor]: Taking taylor expansion of +nan.0 in c
5.774 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.774 * [taylor]: Taking taylor expansion of c in c
5.777 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
5.777 * [approximate]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in (a d b c) around 0
5.777 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in c
5.777 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.777 * [taylor]: Taking taylor expansion of a in c
5.777 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.777 * [taylor]: Taking taylor expansion of d in c
5.777 * [taylor]: Taking taylor expansion of (+ b c) in c
5.777 * [taylor]: Taking taylor expansion of b in c
5.777 * [taylor]: Taking taylor expansion of c in c
5.778 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in b
5.778 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.778 * [taylor]: Taking taylor expansion of a in b
5.778 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.778 * [taylor]: Taking taylor expansion of d in b
5.778 * [taylor]: Taking taylor expansion of (+ b c) in b
5.778 * [taylor]: Taking taylor expansion of b in b
5.778 * [taylor]: Taking taylor expansion of c in b
5.779 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in d
5.779 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.779 * [taylor]: Taking taylor expansion of a in d
5.779 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.779 * [taylor]: Taking taylor expansion of d in d
5.779 * [taylor]: Taking taylor expansion of (+ b c) in d
5.779 * [taylor]: Taking taylor expansion of b in d
5.779 * [taylor]: Taking taylor expansion of c in d
5.780 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
5.780 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.780 * [taylor]: Taking taylor expansion of a in a
5.780 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.780 * [taylor]: Taking taylor expansion of d in a
5.780 * [taylor]: Taking taylor expansion of (+ b c) in a
5.780 * [taylor]: Taking taylor expansion of b in a
5.780 * [taylor]: Taking taylor expansion of c in a
5.781 * [taylor]: Taking taylor expansion of (sqrt (* a (+ d (+ b c)))) in a
5.781 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.781 * [taylor]: Taking taylor expansion of a in a
5.781 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.781 * [taylor]: Taking taylor expansion of d in a
5.781 * [taylor]: Taking taylor expansion of (+ b c) in a
5.781 * [taylor]: Taking taylor expansion of b in a
5.781 * [taylor]: Taking taylor expansion of c in a
5.783 * [taylor]: Taking taylor expansion of 0 in d
5.783 * [taylor]: Taking taylor expansion of 0 in b
5.783 * [taylor]: Taking taylor expansion of 0 in c
5.783 * [taylor]: Taking taylor expansion of (* +nan.0 (+ d (+ b c))) in d
5.783 * [taylor]: Taking taylor expansion of +nan.0 in d
5.783 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.783 * [taylor]: Taking taylor expansion of d in d
5.783 * [taylor]: Taking taylor expansion of (+ b c) in d
5.783 * [taylor]: Taking taylor expansion of b in d
5.783 * [taylor]: Taking taylor expansion of c in d
5.783 * [taylor]: Taking taylor expansion of (* +nan.0 (+ b c)) in b
5.783 * [taylor]: Taking taylor expansion of +nan.0 in b
5.783 * [taylor]: Taking taylor expansion of (+ b c) in b
5.783 * [taylor]: Taking taylor expansion of b in b
5.783 * [taylor]: Taking taylor expansion of c in b
5.783 * [taylor]: Taking taylor expansion of (* +nan.0 c) in c
5.783 * [taylor]: Taking taylor expansion of +nan.0 in c
5.783 * [taylor]: Taking taylor expansion of c in c
5.783 * [taylor]: Taking taylor expansion of 0 in b
5.783 * [taylor]: Taking taylor expansion of 0 in c
5.784 * [taylor]: Taking taylor expansion of 0 in c
5.785 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))))))) in d
5.785 * [taylor]: Taking taylor expansion of +nan.0 in d
5.785 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))))))) in d
5.785 * [taylor]: Taking taylor expansion of (* +nan.0 (* b c)) in d
5.785 * [taylor]: Taking taylor expansion of +nan.0 in d
5.785 * [taylor]: Taking taylor expansion of (* b c) in d
5.786 * [taylor]: Taking taylor expansion of b in d
5.786 * [taylor]: Taking taylor expansion of c in d
5.786 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))))) in d
5.786 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* d c)) (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))))) in d
5.786 * [taylor]: Taking taylor expansion of (* +nan.0 (* d c)) in d
5.786 * [taylor]: Taking taylor expansion of +nan.0 in d
5.786 * [taylor]: Taking taylor expansion of (* d c) in d
5.786 * [taylor]: Taking taylor expansion of d in d
5.786 * [taylor]: Taking taylor expansion of c in d
5.786 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))))) in d
5.786 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))))) in d
5.786 * [taylor]: Taking taylor expansion of (* +nan.0 (pow b 2)) in d
5.786 * [taylor]: Taking taylor expansion of +nan.0 in d
5.786 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.786 * [taylor]: Taking taylor expansion of b in d
5.786 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))))) in d
5.786 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))))) in d
5.786 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in d
5.786 * [taylor]: Taking taylor expansion of +nan.0 in d
5.786 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.786 * [taylor]: Taking taylor expansion of c in d
5.786 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b))))) in d
5.786 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow d 2)) (- (* +nan.0 (* d b)))) in d
5.786 * [taylor]: Taking taylor expansion of (* +nan.0 (pow d 2)) in d
5.786 * [taylor]: Taking taylor expansion of +nan.0 in d
5.786 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.786 * [taylor]: Taking taylor expansion of d in d
5.786 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* d b))) in d
5.786 * [taylor]: Taking taylor expansion of (* +nan.0 (* d b)) in d
5.786 * [taylor]: Taking taylor expansion of +nan.0 in d
5.786 * [taylor]: Taking taylor expansion of (* d b) in d
5.786 * [taylor]: Taking taylor expansion of d in d
5.786 * [taylor]: Taking taylor expansion of b in d
5.789 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2))))))) in b
5.789 * [taylor]: Taking taylor expansion of +nan.0 in b
5.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* b c)) (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2)))))) in b
5.789 * [taylor]: Taking taylor expansion of (* +nan.0 (* b c)) in b
5.789 * [taylor]: Taking taylor expansion of +nan.0 in b
5.789 * [taylor]: Taking taylor expansion of (* b c) in b
5.789 * [taylor]: Taking taylor expansion of b in b
5.789 * [taylor]: Taking taylor expansion of c in b
5.789 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2))))) in b
5.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow b 2)) (- (* +nan.0 (pow c 2)))) in b
5.789 * [taylor]: Taking taylor expansion of (* +nan.0 (pow b 2)) in b
5.789 * [taylor]: Taking taylor expansion of +nan.0 in b
5.789 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.789 * [taylor]: Taking taylor expansion of b in b
5.789 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow c 2))) in b
5.789 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in b
5.790 * [taylor]: Taking taylor expansion of +nan.0 in b
5.790 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.790 * [taylor]: Taking taylor expansion of c in b
5.790 * [taylor]: Taking taylor expansion of (* +nan.0 (pow c 2)) in c
5.790 * [taylor]: Taking taylor expansion of +nan.0 in c
5.790 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.790 * [taylor]: Taking taylor expansion of c in c
5.791 * [taylor]: Taking taylor expansion of (- +nan.0) in b
5.791 * [taylor]: Taking taylor expansion of +nan.0 in b
5.792 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.792 * [taylor]: Taking taylor expansion of +nan.0 in c
5.792 * [taylor]: Taking taylor expansion of 0 in b
5.792 * [taylor]: Taking taylor expansion of 0 in c
5.793 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.793 * [taylor]: Taking taylor expansion of +nan.0 in c
5.793 * [taylor]: Taking taylor expansion of 0 in c
5.793 * [taylor]: Taking taylor expansion of 0 in c
5.796 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in (a d b c) around 0
5.796 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in c
5.796 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.796 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.796 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.796 * [taylor]: Taking taylor expansion of c in c
5.796 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.796 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.796 * [taylor]: Taking taylor expansion of d in c
5.796 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.796 * [taylor]: Taking taylor expansion of b in c
5.796 * [taylor]: Taking taylor expansion of a in c
5.797 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in b
5.797 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.797 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.797 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.797 * [taylor]: Taking taylor expansion of c in b
5.797 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.797 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.797 * [taylor]: Taking taylor expansion of d in b
5.797 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.797 * [taylor]: Taking taylor expansion of b in b
5.797 * [taylor]: Taking taylor expansion of a in b
5.798 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in d
5.798 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.799 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.799 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.799 * [taylor]: Taking taylor expansion of c in d
5.799 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.799 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.799 * [taylor]: Taking taylor expansion of d in d
5.799 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.799 * [taylor]: Taking taylor expansion of b in d
5.799 * [taylor]: Taking taylor expansion of a in d
5.800 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.800 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.800 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.800 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.800 * [taylor]: Taking taylor expansion of c in a
5.800 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.800 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.800 * [taylor]: Taking taylor expansion of d in a
5.800 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.800 * [taylor]: Taking taylor expansion of b in a
5.800 * [taylor]: Taking taylor expansion of a in a
5.801 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.801 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.801 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.801 * [taylor]: Taking taylor expansion of c in a
5.801 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.801 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.801 * [taylor]: Taking taylor expansion of d in a
5.801 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.801 * [taylor]: Taking taylor expansion of b in a
5.801 * [taylor]: Taking taylor expansion of a in a
5.802 * [taylor]: Taking taylor expansion of 0 in d
5.802 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
5.802 * [taylor]: Taking taylor expansion of +nan.0 in d
5.802 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.802 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.802 * [taylor]: Taking taylor expansion of d in d
5.803 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.803 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.803 * [taylor]: Taking taylor expansion of c in d
5.803 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.803 * [taylor]: Taking taylor expansion of b in d
5.803 * [taylor]: Taking taylor expansion of +nan.0 in b
5.803 * [taylor]: Taking taylor expansion of 0 in b
5.806 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))))) in d
5.806 * [taylor]: Taking taylor expansion of +nan.0 in d
5.806 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))))) in d
5.806 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d b))) in d
5.806 * [taylor]: Taking taylor expansion of +nan.0 in d
5.806 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
5.806 * [taylor]: Taking taylor expansion of (* d b) in d
5.806 * [taylor]: Taking taylor expansion of d in d
5.806 * [taylor]: Taking taylor expansion of b in d
5.806 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))) in d
5.806 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))) in d
5.806 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in d
5.806 * [taylor]: Taking taylor expansion of +nan.0 in d
5.806 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
5.806 * [taylor]: Taking taylor expansion of (* b c) in d
5.806 * [taylor]: Taking taylor expansion of b in d
5.806 * [taylor]: Taking taylor expansion of c in d
5.806 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))) in d
5.806 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))) in d
5.806 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 2))) in d
5.806 * [taylor]: Taking taylor expansion of +nan.0 in d
5.806 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.806 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.806 * [taylor]: Taking taylor expansion of d in d
5.807 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))) in d
5.807 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))) in d
5.807 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in d
5.807 * [taylor]: Taking taylor expansion of +nan.0 in d
5.807 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in d
5.807 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.807 * [taylor]: Taking taylor expansion of b in d
5.807 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))) in d
5.807 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))) in d
5.807 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d c))) in d
5.807 * [taylor]: Taking taylor expansion of +nan.0 in d
5.807 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in d
5.807 * [taylor]: Taking taylor expansion of (* d c) in d
5.807 * [taylor]: Taking taylor expansion of d in d
5.807 * [taylor]: Taking taylor expansion of c in d
5.808 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow c 2)))) in d
5.808 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in d
5.808 * [taylor]: Taking taylor expansion of +nan.0 in d
5.808 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
5.808 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.808 * [taylor]: Taking taylor expansion of c in d
5.815 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.815 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.815 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.815 * [taylor]: Taking taylor expansion of +nan.0 in b
5.815 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.815 * [taylor]: Taking taylor expansion of c in b
5.815 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.815 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.815 * [taylor]: Taking taylor expansion of +nan.0 in b
5.815 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.815 * [taylor]: Taking taylor expansion of b in b
5.817 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.817 * [taylor]: Taking taylor expansion of +nan.0 in c
5.818 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.818 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.818 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.818 * [taylor]: Taking taylor expansion of +nan.0 in b
5.818 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.818 * [taylor]: Taking taylor expansion of c in b
5.818 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.818 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.818 * [taylor]: Taking taylor expansion of +nan.0 in b
5.818 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.818 * [taylor]: Taking taylor expansion of b in b
5.820 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.820 * [taylor]: Taking taylor expansion of +nan.0 in c
5.820 * [taylor]: Taking taylor expansion of 0 in b
5.820 * [taylor]: Taking taylor expansion of +nan.0 in c
5.820 * [taylor]: Taking taylor expansion of 0 in c
5.824 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))))) in d
5.824 * [taylor]: Taking taylor expansion of +nan.0 in d
5.824 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))))) in d
5.824 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow b 2)))) in d
5.824 * [taylor]: Taking taylor expansion of +nan.0 in d
5.824 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in d
5.824 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in d
5.824 * [taylor]: Taking taylor expansion of d in d
5.824 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.824 * [taylor]: Taking taylor expansion of b in d
5.825 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))) in d
5.825 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))) in d
5.825 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 3))) in d
5.825 * [taylor]: Taking taylor expansion of +nan.0 in d
5.825 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in d
5.825 * [taylor]: Taking taylor expansion of (pow c 3) in d
5.825 * [taylor]: Taking taylor expansion of c in d
5.825 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))) in d
5.825 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))) in d
5.825 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (* b c)))) in d
5.825 * [taylor]: Taking taylor expansion of +nan.0 in d
5.825 * [taylor]: Taking taylor expansion of (/ 1 (* d (* b c))) in d
5.825 * [taylor]: Taking taylor expansion of (* d (* b c)) in d
5.825 * [taylor]: Taking taylor expansion of d in d
5.825 * [taylor]: Taking taylor expansion of (* b c) in d
5.825 * [taylor]: Taking taylor expansion of b in d
5.825 * [taylor]: Taking taylor expansion of c in d
5.826 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))) in d
5.826 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))) in d
5.826 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) c))) in d
5.826 * [taylor]: Taking taylor expansion of +nan.0 in d
5.826 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in d
5.826 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in d
5.826 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.826 * [taylor]: Taking taylor expansion of d in d
5.826 * [taylor]: Taking taylor expansion of c in d
5.826 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))) in d
5.826 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))) in d
5.826 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow c 2)))) in d
5.826 * [taylor]: Taking taylor expansion of +nan.0 in d
5.826 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in d
5.826 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in d
5.826 * [taylor]: Taking taylor expansion of d in d
5.826 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.826 * [taylor]: Taking taylor expansion of c in d
5.827 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))) in d
5.827 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))) in d
5.827 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) b))) in d
5.827 * [taylor]: Taking taylor expansion of +nan.0 in d
5.827 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) b)) in d
5.827 * [taylor]: Taking taylor expansion of (* (pow d 2) b) in d
5.827 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.827 * [taylor]: Taking taylor expansion of d in d
5.827 * [taylor]: Taking taylor expansion of b in d
5.827 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))) in d
5.827 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))) in d
5.827 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow b 2) c))) in d
5.827 * [taylor]: Taking taylor expansion of +nan.0 in d
5.827 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b 2) c)) in d
5.827 * [taylor]: Taking taylor expansion of (* (pow b 2) c) in d
5.827 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.827 * [taylor]: Taking taylor expansion of b in d
5.827 * [taylor]: Taking taylor expansion of c in d
5.827 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))) in d
5.828 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))) in d
5.828 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b (pow c 2)))) in d
5.828 * [taylor]: Taking taylor expansion of +nan.0 in d
5.828 * [taylor]: Taking taylor expansion of (/ 1 (* b (pow c 2))) in d
5.828 * [taylor]: Taking taylor expansion of (* b (pow c 2)) in d
5.828 * [taylor]: Taking taylor expansion of b in d
5.828 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.828 * [taylor]: Taking taylor expansion of c in d
5.828 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))) in d
5.828 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))) in d
5.828 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 3))) in d
5.828 * [taylor]: Taking taylor expansion of +nan.0 in d
5.828 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in d
5.828 * [taylor]: Taking taylor expansion of (pow b 3) in d
5.828 * [taylor]: Taking taylor expansion of b in d
5.828 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow d 3)))) in d
5.828 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 3))) in d
5.828 * [taylor]: Taking taylor expansion of +nan.0 in d
5.828 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.828 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.828 * [taylor]: Taking taylor expansion of d in d
5.851 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.851 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.851 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.851 * [taylor]: Taking taylor expansion of +nan.0 in b
5.851 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.851 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.851 * [taylor]: Taking taylor expansion of b in b
5.852 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.852 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.852 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.852 * [taylor]: Taking taylor expansion of +nan.0 in b
5.852 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.852 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.852 * [taylor]: Taking taylor expansion of c in b
5.852 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.852 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.852 * [taylor]: Taking taylor expansion of +nan.0 in b
5.852 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.852 * [taylor]: Taking taylor expansion of (* b c) in b
5.852 * [taylor]: Taking taylor expansion of b in b
5.852 * [taylor]: Taking taylor expansion of c in b
5.854 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.854 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.854 * [taylor]: Taking taylor expansion of +nan.0 in c
5.854 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.854 * [taylor]: Taking taylor expansion of c in c
5.862 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.862 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.862 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.862 * [taylor]: Taking taylor expansion of +nan.0 in b
5.862 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.862 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.862 * [taylor]: Taking taylor expansion of b in b
5.862 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.862 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.862 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.862 * [taylor]: Taking taylor expansion of +nan.0 in b
5.863 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.863 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.863 * [taylor]: Taking taylor expansion of c in b
5.863 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.863 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.863 * [taylor]: Taking taylor expansion of +nan.0 in b
5.863 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.863 * [taylor]: Taking taylor expansion of (* b c) in b
5.863 * [taylor]: Taking taylor expansion of b in b
5.863 * [taylor]: Taking taylor expansion of c in b
5.864 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.865 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.865 * [taylor]: Taking taylor expansion of +nan.0 in c
5.865 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.865 * [taylor]: Taking taylor expansion of c in c
5.867 * [taylor]: Taking taylor expansion of 0 in b
5.867 * [taylor]: Taking taylor expansion of 0 in b
5.868 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.869 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.869 * [taylor]: Taking taylor expansion of +nan.0 in c
5.869 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.869 * [taylor]: Taking taylor expansion of c in c
5.871 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in (a d b c) around 0
5.871 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in c
5.871 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.871 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.871 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.871 * [taylor]: Taking taylor expansion of c in c
5.871 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.871 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.872 * [taylor]: Taking taylor expansion of d in c
5.872 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.872 * [taylor]: Taking taylor expansion of b in c
5.872 * [taylor]: Taking taylor expansion of a in c
5.872 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in b
5.873 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.873 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.873 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.873 * [taylor]: Taking taylor expansion of c in b
5.873 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.873 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.873 * [taylor]: Taking taylor expansion of d in b
5.873 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.873 * [taylor]: Taking taylor expansion of b in b
5.873 * [taylor]: Taking taylor expansion of a in b
5.874 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in d
5.874 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.874 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.874 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.874 * [taylor]: Taking taylor expansion of c in d
5.874 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.874 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.874 * [taylor]: Taking taylor expansion of d in d
5.875 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.875 * [taylor]: Taking taylor expansion of b in d
5.875 * [taylor]: Taking taylor expansion of a in d
5.876 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.876 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.876 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.876 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.876 * [taylor]: Taking taylor expansion of c in a
5.876 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.876 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.876 * [taylor]: Taking taylor expansion of d in a
5.876 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.876 * [taylor]: Taking taylor expansion of b in a
5.876 * [taylor]: Taking taylor expansion of a in a
5.877 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a)) in a
5.877 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.877 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.877 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.877 * [taylor]: Taking taylor expansion of c in a
5.877 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.877 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.877 * [taylor]: Taking taylor expansion of d in a
5.877 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.877 * [taylor]: Taking taylor expansion of b in a
5.877 * [taylor]: Taking taylor expansion of a in a
5.878 * [taylor]: Taking taylor expansion of 0 in d
5.878 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
5.878 * [taylor]: Taking taylor expansion of +nan.0 in d
5.878 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.878 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.878 * [taylor]: Taking taylor expansion of d in d
5.878 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.878 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.878 * [taylor]: Taking taylor expansion of c in d
5.878 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.878 * [taylor]: Taking taylor expansion of b in d
5.879 * [taylor]: Taking taylor expansion of +nan.0 in b
5.879 * [taylor]: Taking taylor expansion of 0 in b
5.881 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))))) in d
5.881 * [taylor]: Taking taylor expansion of +nan.0 in d
5.881 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d b))) (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))))) in d
5.881 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d b))) in d
5.881 * [taylor]: Taking taylor expansion of +nan.0 in d
5.881 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
5.881 * [taylor]: Taking taylor expansion of (* d b) in d
5.881 * [taylor]: Taking taylor expansion of d in d
5.881 * [taylor]: Taking taylor expansion of b in d
5.882 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))))) in d
5.882 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b c))) (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))))) in d
5.882 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in d
5.882 * [taylor]: Taking taylor expansion of +nan.0 in d
5.882 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
5.882 * [taylor]: Taking taylor expansion of (* b c) in d
5.882 * [taylor]: Taking taylor expansion of b in d
5.882 * [taylor]: Taking taylor expansion of c in d
5.882 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))))) in d
5.882 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow d 2))) (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))))) in d
5.882 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 2))) in d
5.882 * [taylor]: Taking taylor expansion of +nan.0 in d
5.882 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.882 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.882 * [taylor]: Taking taylor expansion of d in d
5.882 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))))) in d
5.882 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))))) in d
5.882 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in d
5.883 * [taylor]: Taking taylor expansion of +nan.0 in d
5.883 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in d
5.883 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.883 * [taylor]: Taking taylor expansion of b in d
5.883 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2)))))) in d
5.883 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d c))) (- (* +nan.0 (/ 1 (pow c 2))))) in d
5.883 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d c))) in d
5.883 * [taylor]: Taking taylor expansion of +nan.0 in d
5.883 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in d
5.883 * [taylor]: Taking taylor expansion of (* d c) in d
5.883 * [taylor]: Taking taylor expansion of d in d
5.883 * [taylor]: Taking taylor expansion of c in d
5.883 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow c 2)))) in d
5.883 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in d
5.883 * [taylor]: Taking taylor expansion of +nan.0 in d
5.883 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
5.883 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.883 * [taylor]: Taking taylor expansion of c in d
5.888 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.888 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.888 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.888 * [taylor]: Taking taylor expansion of +nan.0 in b
5.888 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.888 * [taylor]: Taking taylor expansion of c in b
5.888 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.888 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.888 * [taylor]: Taking taylor expansion of +nan.0 in b
5.888 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.888 * [taylor]: Taking taylor expansion of b in b
5.890 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.890 * [taylor]: Taking taylor expansion of +nan.0 in c
5.891 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
5.891 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
5.891 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
5.891 * [taylor]: Taking taylor expansion of +nan.0 in b
5.891 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.891 * [taylor]: Taking taylor expansion of c in b
5.891 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
5.891 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
5.891 * [taylor]: Taking taylor expansion of +nan.0 in b
5.891 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.891 * [taylor]: Taking taylor expansion of b in b
5.893 * [taylor]: Taking taylor expansion of (- +nan.0) in c
5.893 * [taylor]: Taking taylor expansion of +nan.0 in c
5.893 * [taylor]: Taking taylor expansion of 0 in b
5.893 * [taylor]: Taking taylor expansion of +nan.0 in c
5.893 * [taylor]: Taking taylor expansion of 0 in c
5.900 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))))) in d
5.900 * [taylor]: Taking taylor expansion of +nan.0 in d
5.900 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))))) in d
5.900 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow b 2)))) in d
5.900 * [taylor]: Taking taylor expansion of +nan.0 in d
5.900 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in d
5.900 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in d
5.900 * [taylor]: Taking taylor expansion of d in d
5.900 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.900 * [taylor]: Taking taylor expansion of b in d
5.901 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 3))) (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 3))) in d
5.901 * [taylor]: Taking taylor expansion of +nan.0 in d
5.901 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in d
5.901 * [taylor]: Taking taylor expansion of (pow c 3) in d
5.901 * [taylor]: Taking taylor expansion of c in d
5.901 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (* b c)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (* b c)))) in d
5.901 * [taylor]: Taking taylor expansion of +nan.0 in d
5.901 * [taylor]: Taking taylor expansion of (/ 1 (* d (* b c))) in d
5.901 * [taylor]: Taking taylor expansion of (* d (* b c)) in d
5.901 * [taylor]: Taking taylor expansion of d in d
5.901 * [taylor]: Taking taylor expansion of (* b c) in d
5.901 * [taylor]: Taking taylor expansion of b in d
5.901 * [taylor]: Taking taylor expansion of c in d
5.901 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) c))) (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))))) in d
5.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) c))) in d
5.902 * [taylor]: Taking taylor expansion of +nan.0 in d
5.902 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in d
5.902 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in d
5.902 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.902 * [taylor]: Taking taylor expansion of d in d
5.902 * [taylor]: Taking taylor expansion of c in d
5.902 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))))) in d
5.902 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* d (pow c 2)))) (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))))) in d
5.902 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d (pow c 2)))) in d
5.902 * [taylor]: Taking taylor expansion of +nan.0 in d
5.902 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in d
5.902 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in d
5.902 * [taylor]: Taking taylor expansion of d in d
5.902 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.902 * [taylor]: Taking taylor expansion of c in d
5.903 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))))) in d
5.903 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow d 2) b))) (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))))) in d
5.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow d 2) b))) in d
5.903 * [taylor]: Taking taylor expansion of +nan.0 in d
5.903 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) b)) in d
5.903 * [taylor]: Taking taylor expansion of (* (pow d 2) b) in d
5.903 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.903 * [taylor]: Taking taylor expansion of d in d
5.903 * [taylor]: Taking taylor expansion of b in d
5.903 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))))) in d
5.903 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow b 2) c))) (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))))) in d
5.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow b 2) c))) in d
5.903 * [taylor]: Taking taylor expansion of +nan.0 in d
5.903 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b 2) c)) in d
5.903 * [taylor]: Taking taylor expansion of (* (pow b 2) c) in d
5.903 * [taylor]: Taking taylor expansion of (pow b 2) in d
5.903 * [taylor]: Taking taylor expansion of b in d
5.903 * [taylor]: Taking taylor expansion of c in d
5.903 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))))) in d
5.903 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* b (pow c 2)))) (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))))) in d
5.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b (pow c 2)))) in d
5.903 * [taylor]: Taking taylor expansion of +nan.0 in d
5.903 * [taylor]: Taking taylor expansion of (/ 1 (* b (pow c 2))) in d
5.903 * [taylor]: Taking taylor expansion of (* b (pow c 2)) in d
5.903 * [taylor]: Taking taylor expansion of b in d
5.904 * [taylor]: Taking taylor expansion of (pow c 2) in d
5.904 * [taylor]: Taking taylor expansion of c in d
5.904 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3)))))) in d
5.904 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 3))) (- (* +nan.0 (/ 1 (pow d 3))))) in d
5.904 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 3))) in d
5.904 * [taylor]: Taking taylor expansion of +nan.0 in d
5.904 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in d
5.904 * [taylor]: Taking taylor expansion of (pow b 3) in d
5.904 * [taylor]: Taking taylor expansion of b in d
5.904 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow d 3)))) in d
5.904 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow d 3))) in d
5.904 * [taylor]: Taking taylor expansion of +nan.0 in d
5.904 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.904 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.904 * [taylor]: Taking taylor expansion of d in d
5.927 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.927 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.927 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.927 * [taylor]: Taking taylor expansion of +nan.0 in b
5.927 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.927 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.927 * [taylor]: Taking taylor expansion of b in b
5.928 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.928 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.928 * [taylor]: Taking taylor expansion of +nan.0 in b
5.928 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.928 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.928 * [taylor]: Taking taylor expansion of c in b
5.928 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.928 * [taylor]: Taking taylor expansion of +nan.0 in b
5.928 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.928 * [taylor]: Taking taylor expansion of (* b c) in b
5.928 * [taylor]: Taking taylor expansion of b in b
5.928 * [taylor]: Taking taylor expansion of c in b
5.930 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.930 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.930 * [taylor]: Taking taylor expansion of +nan.0 in c
5.930 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.930 * [taylor]: Taking taylor expansion of c in c
5.938 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))))) in b
5.938 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow b 2))) (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))))) in b
5.938 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.938 * [taylor]: Taking taylor expansion of +nan.0 in b
5.938 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.938 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.938 * [taylor]: Taking taylor expansion of b in b
5.939 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c)))))) in b
5.939 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 (* b c))))) in b
5.939 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in b
5.939 * [taylor]: Taking taylor expansion of +nan.0 in b
5.939 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
5.939 * [taylor]: Taking taylor expansion of (pow c 2) in b
5.939 * [taylor]: Taking taylor expansion of c in b
5.939 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* b c)))) in b
5.939 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* b c))) in b
5.939 * [taylor]: Taking taylor expansion of +nan.0 in b
5.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
5.939 * [taylor]: Taking taylor expansion of (* b c) in b
5.939 * [taylor]: Taking taylor expansion of b in b
5.939 * [taylor]: Taking taylor expansion of c in b
5.941 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.941 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.941 * [taylor]: Taking taylor expansion of +nan.0 in c
5.941 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.941 * [taylor]: Taking taylor expansion of c in c
5.943 * [taylor]: Taking taylor expansion of 0 in b
5.943 * [taylor]: Taking taylor expansion of 0 in b
5.945 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
5.945 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
5.945 * [taylor]: Taking taylor expansion of +nan.0 in c
5.945 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.945 * [taylor]: Taking taylor expansion of c in c
5.947 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.947 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a d b c) around 0
5.947 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.947 * [taylor]: Taking taylor expansion of a in c
5.947 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.947 * [taylor]: Taking taylor expansion of d in c
5.947 * [taylor]: Taking taylor expansion of (+ b c) in c
5.947 * [taylor]: Taking taylor expansion of b in c
5.947 * [taylor]: Taking taylor expansion of c in c
5.947 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.947 * [taylor]: Taking taylor expansion of a in b
5.947 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.947 * [taylor]: Taking taylor expansion of d in b
5.948 * [taylor]: Taking taylor expansion of (+ b c) in b
5.948 * [taylor]: Taking taylor expansion of b in b
5.948 * [taylor]: Taking taylor expansion of c in b
5.948 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.948 * [taylor]: Taking taylor expansion of a in d
5.948 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.948 * [taylor]: Taking taylor expansion of d in d
5.948 * [taylor]: Taking taylor expansion of (+ b c) in d
5.948 * [taylor]: Taking taylor expansion of b in d
5.948 * [taylor]: Taking taylor expansion of c in d
5.948 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.948 * [taylor]: Taking taylor expansion of a in a
5.948 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.948 * [taylor]: Taking taylor expansion of d in a
5.948 * [taylor]: Taking taylor expansion of (+ b c) in a
5.948 * [taylor]: Taking taylor expansion of b in a
5.948 * [taylor]: Taking taylor expansion of c in a
5.948 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.948 * [taylor]: Taking taylor expansion of a in a
5.948 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.948 * [taylor]: Taking taylor expansion of d in a
5.948 * [taylor]: Taking taylor expansion of (+ b c) in a
5.948 * [taylor]: Taking taylor expansion of b in a
5.948 * [taylor]: Taking taylor expansion of c in a
5.948 * [taylor]: Taking taylor expansion of 0 in d
5.948 * [taylor]: Taking taylor expansion of 0 in b
5.948 * [taylor]: Taking taylor expansion of 0 in c
5.949 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in d
5.949 * [taylor]: Taking taylor expansion of d in d
5.949 * [taylor]: Taking taylor expansion of (+ c b) in d
5.949 * [taylor]: Taking taylor expansion of c in d
5.949 * [taylor]: Taking taylor expansion of b in d
5.949 * [taylor]: Taking taylor expansion of (+ c b) in b
5.949 * [taylor]: Taking taylor expansion of c in b
5.949 * [taylor]: Taking taylor expansion of b in b
5.949 * [taylor]: Taking taylor expansion of c in c
5.949 * [taylor]: Taking taylor expansion of 0 in b
5.949 * [taylor]: Taking taylor expansion of 0 in c
5.949 * [taylor]: Taking taylor expansion of 0 in c
5.950 * [taylor]: Taking taylor expansion of 0 in d
5.950 * [taylor]: Taking taylor expansion of 0 in b
5.950 * [taylor]: Taking taylor expansion of 0 in c
5.950 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in (a d b c) around 0
5.950 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.950 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.950 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.950 * [taylor]: Taking taylor expansion of c in c
5.951 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.951 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.951 * [taylor]: Taking taylor expansion of d in c
5.951 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.951 * [taylor]: Taking taylor expansion of b in c
5.951 * [taylor]: Taking taylor expansion of a in c
5.951 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.951 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.951 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.951 * [taylor]: Taking taylor expansion of c in b
5.951 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.951 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.951 * [taylor]: Taking taylor expansion of d in b
5.951 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.951 * [taylor]: Taking taylor expansion of b in b
5.952 * [taylor]: Taking taylor expansion of a in b
5.952 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.952 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.952 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.952 * [taylor]: Taking taylor expansion of c in d
5.952 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.952 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.952 * [taylor]: Taking taylor expansion of d in d
5.953 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.953 * [taylor]: Taking taylor expansion of b in d
5.953 * [taylor]: Taking taylor expansion of a in d
5.953 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.953 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.953 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.953 * [taylor]: Taking taylor expansion of c in a
5.953 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.953 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.953 * [taylor]: Taking taylor expansion of d in a
5.953 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.953 * [taylor]: Taking taylor expansion of b in a
5.953 * [taylor]: Taking taylor expansion of a in a
5.954 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.954 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.954 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.954 * [taylor]: Taking taylor expansion of c in a
5.954 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.954 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.954 * [taylor]: Taking taylor expansion of d in a
5.954 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.954 * [taylor]: Taking taylor expansion of b in a
5.954 * [taylor]: Taking taylor expansion of a in a
5.954 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.954 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.954 * [taylor]: Taking taylor expansion of c in d
5.954 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.954 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.954 * [taylor]: Taking taylor expansion of d in d
5.955 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.955 * [taylor]: Taking taylor expansion of b in d
5.955 * [taylor]: Taking taylor expansion of 1 in b
5.956 * [taylor]: Taking taylor expansion of 0 in d
5.957 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.957 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.957 * [taylor]: Taking taylor expansion of c in b
5.957 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.957 * [taylor]: Taking taylor expansion of b in b
5.957 * [taylor]: Taking taylor expansion of 1 in c
5.958 * [taylor]: Taking taylor expansion of 1 in c
5.959 * [taylor]: Taking taylor expansion of 0 in d
5.959 * [taylor]: Taking taylor expansion of 0 in b
5.960 * [taylor]: Taking taylor expansion of 0 in b
5.961 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.961 * [taylor]: Taking taylor expansion of c in c
5.961 * [taylor]: Taking taylor expansion of 0 in c
5.962 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in (a d b c) around 0
5.962 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in c
5.962 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
5.962 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.962 * [taylor]: Taking taylor expansion of c in c
5.962 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
5.962 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.962 * [taylor]: Taking taylor expansion of d in c
5.962 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.962 * [taylor]: Taking taylor expansion of b in c
5.962 * [taylor]: Taking taylor expansion of a in c
5.962 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in b
5.962 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.962 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.962 * [taylor]: Taking taylor expansion of c in b
5.963 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.963 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.963 * [taylor]: Taking taylor expansion of d in b
5.963 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.963 * [taylor]: Taking taylor expansion of b in b
5.963 * [taylor]: Taking taylor expansion of a in b
5.964 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in d
5.964 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.964 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.964 * [taylor]: Taking taylor expansion of c in d
5.964 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.964 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.964 * [taylor]: Taking taylor expansion of d in d
5.964 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.964 * [taylor]: Taking taylor expansion of b in d
5.964 * [taylor]: Taking taylor expansion of a in d
5.965 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.965 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.965 * [taylor]: Taking taylor expansion of c in a
5.965 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.965 * [taylor]: Taking taylor expansion of d in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.965 * [taylor]: Taking taylor expansion of b in a
5.965 * [taylor]: Taking taylor expansion of a in a
5.965 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) a) in a
5.965 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.965 * [taylor]: Taking taylor expansion of c in a
5.965 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.965 * [taylor]: Taking taylor expansion of d in a
5.965 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.965 * [taylor]: Taking taylor expansion of b in a
5.965 * [taylor]: Taking taylor expansion of a in a
5.966 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
5.966 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.966 * [taylor]: Taking taylor expansion of c in d
5.966 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
5.966 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.966 * [taylor]: Taking taylor expansion of d in d
5.966 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.966 * [taylor]: Taking taylor expansion of b in d
5.967 * [taylor]: Taking taylor expansion of 1 in b
5.968 * [taylor]: Taking taylor expansion of 0 in d
5.968 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.968 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.968 * [taylor]: Taking taylor expansion of c in b
5.968 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.968 * [taylor]: Taking taylor expansion of b in b
5.969 * [taylor]: Taking taylor expansion of 1 in c
5.969 * [taylor]: Taking taylor expansion of 1 in c
5.971 * [taylor]: Taking taylor expansion of 0 in d
5.971 * [taylor]: Taking taylor expansion of 0 in b
5.972 * [taylor]: Taking taylor expansion of 0 in b
5.972 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.972 * [taylor]: Taking taylor expansion of c in c
5.972 * [taylor]: Taking taylor expansion of 0 in c
5.973 * * * [progress]: simplifying candidates
5.975 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (log1p (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (+ 1 1)
  (+ (log (sqrt (* a (+ d (+ b c))))) (log (sqrt (* a (+ d (+ b c))))))
  (log (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (exp (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (* (* (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c))))) (* (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c))))))
  (* (cbrt (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))) (cbrt (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))))
  (cbrt (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (* (* (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (sqrt (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (sqrt (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))))
  (* (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c))))) (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c))))))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c))))) (sqrt (- d (+ b c))))
  (* (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))) (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))))
  (* (sqrt (- d (+ b c))) (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c))))))
  (* (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (- d (+ b c))) (sqrt (- d (+ b c))))
  (* (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c)))))) (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c)))))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  (* (sqrt a) (sqrt a))
  (* (sqrt (+ d (+ b c))) (sqrt (+ d (+ b c))))
  (* (sqrt (sqrt (* a (+ d (+ b c))))) (sqrt (sqrt (* a (+ d (+ b c))))))
  (* (sqrt (sqrt (* a (+ d (+ b c))))) (sqrt (sqrt (* a (+ d (+ b c))))))
  (* 1 1)
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (sqrt (* a (+ d (+ b c))))) (sqrt (sqrt (* a (+ d (+ b c))))))
  (* (sqrt (sqrt (* a (+ d (+ b c))))) (sqrt (sqrt (* a (+ d (+ b c))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* a (+ d (+ b c)))) (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c)))))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt a))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (sqrt (* a (+ d (+ b c))))))
  (* (sqrt (* a (+ d (+ b c)))) 1)
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (+ d (+ b c))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (expm1 (sqrt (* a (+ d (+ b c)))))
  (log1p (sqrt (* a (+ d (+ b c)))))
  (log (sqrt (* a (+ d (+ b c)))))
  (exp (sqrt (* a (+ d (+ b c)))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  (cbrt (sqrt (* a (+ d (+ b c)))))
  (* (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (sqrt a)
  (sqrt (+ d (+ b c)))
  (sqrt (* a (+ (pow d 3) (pow (+ b c) 3))))
  (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c)))))
  (sqrt (* a (- (* d d) (* (+ b c) (+ b c)))))
  (sqrt (- d (+ b c)))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (expm1 (sqrt (* a (+ d (+ b c)))))
  (log1p (sqrt (* a (+ d (+ b c)))))
  (log (sqrt (* a (+ d (+ b c)))))
  (exp (sqrt (* a (+ d (+ b c)))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  (cbrt (sqrt (* a (+ d (+ b c)))))
  (* (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (sqrt a)
  (sqrt (+ d (+ b c)))
  (sqrt (* a (+ (pow d 3) (pow (+ b c) 3))))
  (sqrt (+ (* d d) (- (* (+ b c) (+ b c)) (* d (+ b c)))))
  (sqrt (* a (- (* d d) (* (+ b c) (+ b c)))))
  (sqrt (- d (+ b c)))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (expm1 (* a (+ d (+ b c))))
  (log1p (* a (+ d (+ b c))))
  (* a (+ d (+ b c)))
  (+ (log a) (log (+ d (+ b c))))
  (log (* a (+ d (+ b c))))
  (exp (* a (+ d (+ b c))))
  (* (* (* a a) a) (* (* (+ d (+ b c)) (+ d (+ b c))) (+ d (+ b c))))
  (* (cbrt (* a (+ d (+ b c)))) (cbrt (* a (+ d (+ b c)))))
  (cbrt (* a (+ d (+ b c))))
  (* (* (* a (+ d (+ b c))) (* a (+ d (+ b c)))) (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  (* (sqrt a) (sqrt (+ d (+ b c))))
  (* (sqrt a) (sqrt (+ d (+ b c))))
  (* a d)
  (* a (+ b c))
  (* d a)
  (* (+ b c) a)
  (* a (* (cbrt (+ d (+ b c))) (cbrt (+ d (+ b c)))))
  (* a (sqrt (+ d (+ b c))))
  (* a 1)
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ d (+ b c)))
  (* (sqrt a) (+ d (+ b c)))
  (* a (+ d (+ b c)))
  (* a (+ (pow d 3) (pow (+ b c) 3)))
  (* a (- (* d d) (* (+ b c) (+ b c))))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
  (- (+ (* +nan.0 (* d a)) (- (+ (* +nan.0 (* a b)) (- (* +nan.0 (* a c)))))))
  (- (+ (* +nan.0 (/ (* b c) a)) (- (+ (* +nan.0 (/ (* d (* b c)) (pow a 2))) (- (* +nan.0 (/ (* d c) a)))))))
  (- (+ (* +nan.0 (/ (* b c) a)) (- (+ (* +nan.0 (/ (* d (* b c)) (pow a 2))) (- (* +nan.0 (/ (* d c) a)))))))
  (- (+ (* +nan.0 (* d a)) (- (+ (* +nan.0 (* a b)) (- (* +nan.0 (* a c)))))))
  (- (+ (* +nan.0 (/ (* b c) a)) (- (+ (* +nan.0 (/ (* d (* b c)) (pow a 2))) (- (* +nan.0 (/ (* d c) a)))))))
  (- (+ (* +nan.0 (/ (* b c) a)) (- (+ (* +nan.0 (/ (* d (* b c)) (pow a 2))) (- (* +nan.0 (/ (* d c) a)))))))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
5.982 * * [simplify]: iteration  0 :  141  enodes  (cost  1879 )
6.016 * * [simplify]: iteration  1 :  337  enodes  (cost  1416 )
6.095 * * [simplify]: iteration  2 :  1167  enodes  (cost  1300 )
6.625 * * [simplify]: iteration  done :  5001  enodes  (cost  1268 )
6.626 * [simplify]: Simplified to:
   (expm1 (* a (+ d (+ b c))))
  (log1p (* a (+ d (+ b c))))
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (+ (+ b c) d) a)
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  2
  (log (* (+ (+ b c) d) a))
  (log (* (+ (+ b c) d) a))
  (exp (* (+ (+ b c) d) a))
  (pow (* (+ (+ b c) d) a) 3)
  (* (cbrt (* a (+ d (+ b c)))) (cbrt (* a (+ d (+ b c)))))
  (cbrt (* a (+ d (+ b c))))
  (pow (* (+ (+ b c) d) a) 3)
  (* (* a (+ d (+ b c))) (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  (* a (+ (pow d 3) (pow (+ b c) 3)))
  (fma d d (* (+ b c) (- (+ b c) d)))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (fma d d (* (+ b c) (- (+ b c) d)))) (sqrt (- d (+ b c))))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (fma d d (* (+ b c) (- (+ b c) d)))) (sqrt (- d (+ b c))))
  (* a (- (* d d) (* (+ b c) (+ b c))))
  (- d (+ b c))
  (* (pow (cbrt (sqrt (* a (+ d (+ b c))))) 3) (cbrt (sqrt (* a (+ d (+ b c))))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  a
  (+ (+ b c) d)
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  1
  (* (+ (+ b c) d) a)
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  1
  2
  1
  1
  1
  1
  (* (sqrt (* a (+ d (+ b c)))) (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c)))))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt a))
  (pow (sqrt (sqrt (* a (+ d (+ b c))))) 3)
  (sqrt (* a (+ d (+ b c))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (+ d (+ b c))) (sqrt (* a (+ d (+ b c)))))
  (pow (sqrt (sqrt (* a (+ d (+ b c))))) 3)
  (* (+ (+ b c) d) a)
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (* (sqrt (* a (+ (pow d 3) (pow (+ b c) 3)))) (sqrt (* a (+ d (+ b c)))))
  (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (- (* d d) (* (+ b c) (+ b c))))))
  (expm1 (sqrt (* a (+ d (+ b c)))))
  (log1p (sqrt (* a (+ d (+ b c)))))
  (log (sqrt (* a (+ d (+ b c)))))
  (exp (sqrt (* a (+ d (+ b c)))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  (cbrt (sqrt (* a (+ d (+ b c)))))
  (pow (sqrt (* a (+ d (+ b c)))) 3)
  (sqrt a)
  (sqrt (+ d (+ b c)))
  (sqrt (* a (+ (pow d 3) (pow (+ b c) 3))))
  (sqrt (fma d d (* (+ b c) (- (+ b c) d))))
  (sqrt (* a (- (* d d) (* (+ b c) (+ b c)))))
  (sqrt (- d (+ b c)))
  1/2
  1/2
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (expm1 (sqrt (* a (+ d (+ b c)))))
  (log1p (sqrt (* a (+ d (+ b c)))))
  (log (sqrt (* a (+ d (+ b c)))))
  (exp (sqrt (* a (+ d (+ b c)))))
  (* (cbrt (sqrt (* a (+ d (+ b c))))) (cbrt (sqrt (* a (+ d (+ b c))))))
  (cbrt (sqrt (* a (+ d (+ b c)))))
  (pow (sqrt (* a (+ d (+ b c)))) 3)
  (sqrt a)
  (sqrt (+ d (+ b c)))
  (sqrt (* a (+ (pow d 3) (pow (+ b c) 3))))
  (sqrt (fma d d (* (+ b c) (- (+ b c) d))))
  (sqrt (* a (- (* d d) (* (+ b c) (+ b c)))))
  (sqrt (- d (+ b c)))
  1/2
  1/2
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (sqrt (sqrt (* a (+ d (+ b c)))))
  (expm1 (* a (+ d (+ b c))))
  (log1p (* a (+ d (+ b c))))
  (* (+ (+ b c) d) a)
  (log (* (+ (+ b c) d) a))
  (log (* (+ (+ b c) d) a))
  (exp (* (+ (+ b c) d) a))
  (pow (* (+ (+ b c) d) a) 3)
  (* (cbrt (* a (+ d (+ b c)))) (cbrt (* a (+ d (+ b c)))))
  (cbrt (* a (+ d (+ b c))))
  (pow (* (+ (+ b c) d) a) 3)
  (sqrt (* a (+ d (+ b c))))
  (sqrt (* a (+ d (+ b c))))
  (* (sqrt a) (sqrt (+ d (+ b c))))
  (* (sqrt a) (sqrt (+ d (+ b c))))
  (* d a)
  (* a (+ b c))
  (* d a)
  (* a (+ b c))
  (* a (* (cbrt (+ d (+ b c))) (cbrt (+ d (+ b c)))))
  (* a (sqrt (+ d (+ b c))))
  a
  a
  a
  (* (cbrt a) (+ d (+ b c)))
  (* (sqrt a) (+ d (+ b c)))
  (* (+ (+ b c) d) a)
  (* a (+ (pow d 3) (pow (+ b c) 3)))
  (* a (- (* d d) (* (+ b c) (+ b c))))
  0
  (* (+ (+ b c) d) a)
  (* (+ (+ b c) d) a)
  (- (* (* +nan.0 a) (- d (- b c))))
  (* +nan.0 (+ (- (/ (* b c) a)) (* (/ d a) (- (/ (* b c) a) c))))
  (* +nan.0 (+ (- (/ (* b c) a)) (* (/ d a) (- (/ (* b c) a) c))))
  (- (* (* +nan.0 a) (- d (- b c))))
  (* +nan.0 (+ (- (/ (* b c) a)) (* (/ d a) (- (/ (* b c) a) c))))
  (* +nan.0 (+ (- (/ (* b c) a)) (* (/ d a) (- (/ (* b c) a) c))))
  0
  (* (+ (+ b c) d) a)
  (* (+ (+ b c) d) a)
6.627 * * * [progress]: adding candidates to table
6.880 * [progress]: [Phase 3 of 3] Extracting.
6.880 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.881 * * * [regime-changes]: Trying 6 branch expressions: ((+ b c) (+ (+ b c) d) d c b a)
6.881 * * * * [regimes]: Trying to branch on (+ b c) from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.897 * * * * [regimes]: Trying to branch on (+ (+ b c) d) from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.915 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.931 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.949 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.965 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))> #<alt (λ (a b c d) (* (sqrt (* a (+ d (+ b c)))) (sqrt (* a (+ d (+ b c))))))> #<alt (λ (a b c d) (fma (+ b c) a (* a d)))>)
6.984 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
6.984 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (+ b c) a (* a d))
6.984 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
6.984 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
6.985 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
6.985 * [simplify]: Simplified to:
   (fma (+ b c) a (* a d))
7.659 * [regime-testing]: Baseline error score: 0.02575321915239405
7.659 * [regime-testing]: Oracle error score: 0.011001375171896487
7.660 * [regime-testing]: End program error score: 0.02575321915239405
7.681 * [regime-testing]: Target error score: 0.041505188148518564