15.452 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* a (+ (+ b c) d))
0.027 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.028 * * [simplify]: iteration  1 :  18  enodes  (cost  7 )
0.030 * * [simplify]: iteration  2 :  37  enodes  (cost  7 )
0.035 * * [simplify]: iteration  3 :  54  enodes  (cost  7 )
0.042 * * [simplify]: iteration  done :  54  enodes  (cost  7 )
0.042 * [simplify]: Simplified to:
   (* a (+ (+ b c) d))
0.042 * * [progress]: iteration 1 / 4
0.042 * * * [progress]: picking best candidate
0.043 * * * * [pick]: Picked  #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
0.043 * * * [progress]: localizing error
0.048 * * * [progress]: generating rewritten candidates
0.048 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.088 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
0.089 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
0.089 * [taylor]: Taking taylor expansion of a in d
0.089 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.089 * [taylor]: Taking taylor expansion of d in d
0.089 * [taylor]: Taking taylor expansion of (+ b c) in d
0.089 * [taylor]: Taking taylor expansion of b in d
0.089 * [taylor]: Taking taylor expansion of c in d
0.089 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
0.089 * [taylor]: Taking taylor expansion of a in c
0.089 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.089 * [taylor]: Taking taylor expansion of d in c
0.089 * [taylor]: Taking taylor expansion of (+ b c) in c
0.089 * [taylor]: Taking taylor expansion of b in c
0.089 * [taylor]: Taking taylor expansion of c in c
0.089 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
0.089 * [taylor]: Taking taylor expansion of a in b
0.089 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.089 * [taylor]: Taking taylor expansion of d in b
0.089 * [taylor]: Taking taylor expansion of (+ b c) in b
0.089 * [taylor]: Taking taylor expansion of b in b
0.089 * [taylor]: Taking taylor expansion of c in b
0.089 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.089 * [taylor]: Taking taylor expansion of a in a
0.089 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.089 * [taylor]: Taking taylor expansion of d in a
0.089 * [taylor]: Taking taylor expansion of (+ b c) in a
0.089 * [taylor]: Taking taylor expansion of b in a
0.089 * [taylor]: Taking taylor expansion of c in a
0.089 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.089 * [taylor]: Taking taylor expansion of a in a
0.089 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.089 * [taylor]: Taking taylor expansion of d in a
0.089 * [taylor]: Taking taylor expansion of (+ b c) in a
0.089 * [taylor]: Taking taylor expansion of b in a
0.089 * [taylor]: Taking taylor expansion of c in a
0.089 * [taylor]: Taking taylor expansion of 0 in b
0.089 * [taylor]: Taking taylor expansion of 0 in c
0.089 * [taylor]: Taking taylor expansion of 0 in d
0.090 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
0.090 * [taylor]: Taking taylor expansion of d in b
0.090 * [taylor]: Taking taylor expansion of (+ c b) in b
0.090 * [taylor]: Taking taylor expansion of c in b
0.090 * [taylor]: Taking taylor expansion of b in b
0.090 * [taylor]: Taking taylor expansion of (+ d c) in c
0.090 * [taylor]: Taking taylor expansion of d in c
0.090 * [taylor]: Taking taylor expansion of c in c
0.090 * [taylor]: Taking taylor expansion of d in d
0.090 * [taylor]: Taking taylor expansion of 0 in c
0.091 * [taylor]: Taking taylor expansion of 0 in d
0.091 * [taylor]: Taking taylor expansion of 0 in d
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in c
0.092 * [taylor]: Taking taylor expansion of 0 in d
0.092 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.092 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.092 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.092 * [taylor]: Taking taylor expansion of d in d
0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.092 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.092 * [taylor]: Taking taylor expansion of c in d
0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.092 * [taylor]: Taking taylor expansion of b in d
0.092 * [taylor]: Taking taylor expansion of a in d
0.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.093 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.093 * [taylor]: Taking taylor expansion of d in c
0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.093 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.093 * [taylor]: Taking taylor expansion of c in c
0.093 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.093 * [taylor]: Taking taylor expansion of b in c
0.093 * [taylor]: Taking taylor expansion of a in c
0.094 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.094 * [taylor]: Taking taylor expansion of d in b
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.094 * [taylor]: Taking taylor expansion of c in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.094 * [taylor]: Taking taylor expansion of b in b
0.094 * [taylor]: Taking taylor expansion of a in b
0.095 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.095 * [taylor]: Taking taylor expansion of d in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.095 * [taylor]: Taking taylor expansion of c in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.095 * [taylor]: Taking taylor expansion of b in a
0.095 * [taylor]: Taking taylor expansion of a in a
0.095 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.095 * [taylor]: Taking taylor expansion of d in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.095 * [taylor]: Taking taylor expansion of c in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.095 * [taylor]: Taking taylor expansion of b in a
0.095 * [taylor]: Taking taylor expansion of a in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.095 * [taylor]: Taking taylor expansion of d in b
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.096 * [taylor]: Taking taylor expansion of c in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.096 * [taylor]: Taking taylor expansion of b in b
0.096 * [taylor]: Taking taylor expansion of 1 in c
0.098 * [taylor]: Taking taylor expansion of 0 in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.098 * [taylor]: Taking taylor expansion of c in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.098 * [taylor]: Taking taylor expansion of d in c
0.099 * [taylor]: Taking taylor expansion of 1 in d
0.099 * [taylor]: Taking taylor expansion of 1 in d
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.100 * [taylor]: Taking taylor expansion of 0 in c
0.101 * [taylor]: Taking taylor expansion of 0 in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.102 * [taylor]: Taking taylor expansion of d in d
0.102 * [taylor]: Taking taylor expansion of 0 in d
0.103 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.103 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.103 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.103 * [taylor]: Taking taylor expansion of d in d
0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.103 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.103 * [taylor]: Taking taylor expansion of c in d
0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.103 * [taylor]: Taking taylor expansion of b in d
0.104 * [taylor]: Taking taylor expansion of a in d
0.104 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.104 * [taylor]: Taking taylor expansion of d in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.104 * [taylor]: Taking taylor expansion of c in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.104 * [taylor]: Taking taylor expansion of b in c
0.104 * [taylor]: Taking taylor expansion of a in c
0.105 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.105 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.105 * [taylor]: Taking taylor expansion of d in b
0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.105 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.105 * [taylor]: Taking taylor expansion of c in b
0.105 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.105 * [taylor]: Taking taylor expansion of b in b
0.105 * [taylor]: Taking taylor expansion of a in b
0.106 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.106 * [taylor]: Taking taylor expansion of d in a
0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.106 * [taylor]: Taking taylor expansion of c in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.106 * [taylor]: Taking taylor expansion of b in a
0.106 * [taylor]: Taking taylor expansion of a in a
0.106 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.106 * [taylor]: Taking taylor expansion of d in a
0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.106 * [taylor]: Taking taylor expansion of c in a
0.106 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.106 * [taylor]: Taking taylor expansion of b in a
0.106 * [taylor]: Taking taylor expansion of a in a
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.107 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.107 * [taylor]: Taking taylor expansion of d in b
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.107 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.107 * [taylor]: Taking taylor expansion of c in b
0.107 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.107 * [taylor]: Taking taylor expansion of b in b
0.108 * [taylor]: Taking taylor expansion of 1 in c
0.109 * [taylor]: Taking taylor expansion of 0 in b
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.109 * [taylor]: Taking taylor expansion of c in c
0.110 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.110 * [taylor]: Taking taylor expansion of d in c
0.110 * [taylor]: Taking taylor expansion of 1 in d
0.110 * [taylor]: Taking taylor expansion of 1 in d
0.112 * [taylor]: Taking taylor expansion of 0 in b
0.112 * [taylor]: Taking taylor expansion of 0 in c
0.113 * [taylor]: Taking taylor expansion of 0 in c
0.113 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.113 * [taylor]: Taking taylor expansion of d in d
0.114 * [taylor]: Taking taylor expansion of 0 in d
0.114 * * * [progress]: simplifying candidates
0.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 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.116 * * [simplify]: iteration  0 :  52  enodes  (cost  255 )
0.130 * * [simplify]: iteration  1 :  144  enodes  (cost  240 )
0.184 * * [simplify]: iteration  2 :  579  enodes  (cost  212 )
0.495 * * [simplify]: iteration  3 :  2658  enodes  (cost  212 )
1.778 * * [simplify]: iteration  done :  5000  enodes  (cost  212 )
1.778 * [simplify]: Simplified to:
   (* (+ (+ 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)))
  (* a (+ b c))
  (* a d)
  (* a (+ b c))
  (* 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.778 * * * [progress]: adding candidates to table
1.824 * * [progress]: iteration 2 / 4
1.824 * * * [progress]: picking best candidate
1.831 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>
1.831 * * * [progress]: localizing error
1.837 * * * [progress]: generating rewritten candidates
1.837 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.842 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.853 * * * [progress]: generating series expansions
1.853 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.853 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (a b c d) around 0
1.853 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
1.853 * [taylor]: Taking taylor expansion of (* d a) in d
1.853 * [taylor]: Taking taylor expansion of d in d
1.853 * [taylor]: Taking taylor expansion of a in d
1.853 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
1.853 * [taylor]: Taking taylor expansion of (* a b) in d
1.853 * [taylor]: Taking taylor expansion of a in d
1.853 * [taylor]: Taking taylor expansion of b in d
1.853 * [taylor]: Taking taylor expansion of (* a c) in d
1.853 * [taylor]: Taking taylor expansion of a in d
1.853 * [taylor]: Taking taylor expansion of c in d
1.853 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
1.853 * [taylor]: Taking taylor expansion of (* d a) in c
1.853 * [taylor]: Taking taylor expansion of d in c
1.853 * [taylor]: Taking taylor expansion of a in c
1.854 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
1.854 * [taylor]: Taking taylor expansion of (* a b) in c
1.854 * [taylor]: Taking taylor expansion of a in c
1.854 * [taylor]: Taking taylor expansion of b in c
1.854 * [taylor]: Taking taylor expansion of (* a c) in c
1.854 * [taylor]: Taking taylor expansion of a in c
1.854 * [taylor]: Taking taylor expansion of c in c
1.854 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
1.854 * [taylor]: Taking taylor expansion of (* d a) in b
1.854 * [taylor]: Taking taylor expansion of d in b
1.854 * [taylor]: Taking taylor expansion of a in b
1.854 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
1.854 * [taylor]: Taking taylor expansion of (* a b) in b
1.854 * [taylor]: Taking taylor expansion of a in b
1.854 * [taylor]: Taking taylor expansion of b in b
1.854 * [taylor]: Taking taylor expansion of (* a c) in b
1.854 * [taylor]: Taking taylor expansion of a in b
1.854 * [taylor]: Taking taylor expansion of c in b
1.854 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
1.854 * [taylor]: Taking taylor expansion of (* d a) in a
1.854 * [taylor]: Taking taylor expansion of d in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
1.854 * [taylor]: Taking taylor expansion of (* a b) in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of b in a
1.854 * [taylor]: Taking taylor expansion of (* a c) in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of c in a
1.854 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
1.854 * [taylor]: Taking taylor expansion of (* d a) in a
1.854 * [taylor]: Taking taylor expansion of d in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
1.854 * [taylor]: Taking taylor expansion of (* a b) in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of b in a
1.854 * [taylor]: Taking taylor expansion of (* a c) in a
1.854 * [taylor]: Taking taylor expansion of a in a
1.854 * [taylor]: Taking taylor expansion of c in a
1.855 * [taylor]: Taking taylor expansion of 0 in b
1.855 * [taylor]: Taking taylor expansion of 0 in c
1.855 * [taylor]: Taking taylor expansion of 0 in d
1.856 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.856 * [taylor]: Taking taylor expansion of d in b
1.856 * [taylor]: Taking taylor expansion of (+ b c) in b
1.856 * [taylor]: Taking taylor expansion of b in b
1.856 * [taylor]: Taking taylor expansion of c in b
1.856 * [taylor]: Taking taylor expansion of (+ d c) in c
1.856 * [taylor]: Taking taylor expansion of d in c
1.856 * [taylor]: Taking taylor expansion of c in c
1.856 * [taylor]: Taking taylor expansion of d in d
1.856 * [taylor]: Taking taylor expansion of 0 in c
1.856 * [taylor]: Taking taylor expansion of 0 in d
1.856 * [taylor]: Taking taylor expansion of 0 in d
1.858 * [taylor]: Taking taylor expansion of 0 in b
1.858 * [taylor]: Taking taylor expansion of 0 in c
1.858 * [taylor]: Taking taylor expansion of 0 in d
1.858 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (a b c d) around 0
1.858 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
1.858 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
1.858 * [taylor]: Taking taylor expansion of (* a b) in d
1.858 * [taylor]: Taking taylor expansion of a in d
1.858 * [taylor]: Taking taylor expansion of b in d
1.858 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
1.858 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.858 * [taylor]: Taking taylor expansion of (* d a) in d
1.858 * [taylor]: Taking taylor expansion of d in d
1.858 * [taylor]: Taking taylor expansion of a in d
1.859 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
1.859 * [taylor]: Taking taylor expansion of (* a c) in d
1.859 * [taylor]: Taking taylor expansion of a in d
1.859 * [taylor]: Taking taylor expansion of c in d
1.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
1.859 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.859 * [taylor]: Taking taylor expansion of (* a b) in c
1.859 * [taylor]: Taking taylor expansion of a in c
1.859 * [taylor]: Taking taylor expansion of b in c
1.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
1.859 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.859 * [taylor]: Taking taylor expansion of (* d a) in c
1.859 * [taylor]: Taking taylor expansion of d in c
1.859 * [taylor]: Taking taylor expansion of a in c
1.859 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.859 * [taylor]: Taking taylor expansion of (* a c) in c
1.859 * [taylor]: Taking taylor expansion of a in c
1.859 * [taylor]: Taking taylor expansion of c in c
1.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.860 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.860 * [taylor]: Taking taylor expansion of (* a b) in b
1.860 * [taylor]: Taking taylor expansion of a in b
1.860 * [taylor]: Taking taylor expansion of b in b
1.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.860 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.860 * [taylor]: Taking taylor expansion of (* d a) in b
1.860 * [taylor]: Taking taylor expansion of d in b
1.860 * [taylor]: Taking taylor expansion of a in b
1.860 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.860 * [taylor]: Taking taylor expansion of (* a c) in b
1.860 * [taylor]: Taking taylor expansion of a in b
1.860 * [taylor]: Taking taylor expansion of c in b
1.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.860 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.860 * [taylor]: Taking taylor expansion of (* a b) in a
1.860 * [taylor]: Taking taylor expansion of a in a
1.860 * [taylor]: Taking taylor expansion of b in a
1.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.861 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.861 * [taylor]: Taking taylor expansion of (* d a) in a
1.861 * [taylor]: Taking taylor expansion of d in a
1.861 * [taylor]: Taking taylor expansion of a in a
1.861 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.861 * [taylor]: Taking taylor expansion of (* a c) in a
1.861 * [taylor]: Taking taylor expansion of a in a
1.861 * [taylor]: Taking taylor expansion of c in a
1.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.861 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.861 * [taylor]: Taking taylor expansion of (* a b) in a
1.861 * [taylor]: Taking taylor expansion of a in a
1.861 * [taylor]: Taking taylor expansion of b in a
1.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.862 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.862 * [taylor]: Taking taylor expansion of (* d a) in a
1.862 * [taylor]: Taking taylor expansion of d in a
1.862 * [taylor]: Taking taylor expansion of a in a
1.862 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.862 * [taylor]: Taking taylor expansion of (* a c) in a
1.862 * [taylor]: Taking taylor expansion of a in a
1.862 * [taylor]: Taking taylor expansion of c in a
1.863 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.863 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.863 * [taylor]: Taking taylor expansion of c in b
1.863 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.863 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.863 * [taylor]: Taking taylor expansion of d in b
1.863 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.863 * [taylor]: Taking taylor expansion of b in b
1.863 * [taylor]: Taking taylor expansion of 1 in c
1.865 * [taylor]: Taking taylor expansion of 0 in b
1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.866 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.866 * [taylor]: Taking taylor expansion of d in c
1.866 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.866 * [taylor]: Taking taylor expansion of c in c
1.867 * [taylor]: Taking taylor expansion of 1 in d
1.867 * [taylor]: Taking taylor expansion of 1 in d
1.869 * [taylor]: Taking taylor expansion of 0 in b
1.869 * [taylor]: Taking taylor expansion of 0 in c
1.870 * [taylor]: Taking taylor expansion of 0 in c
1.871 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.871 * [taylor]: Taking taylor expansion of d in d
1.871 * [taylor]: Taking taylor expansion of 0 in d
1.872 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (a b c d) around 0
1.872 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
1.872 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
1.872 * [taylor]: Taking taylor expansion of (* a b) in d
1.872 * [taylor]: Taking taylor expansion of a in d
1.872 * [taylor]: Taking taylor expansion of b in d
1.872 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
1.872 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.872 * [taylor]: Taking taylor expansion of (* d a) in d
1.872 * [taylor]: Taking taylor expansion of d in d
1.872 * [taylor]: Taking taylor expansion of a in d
1.872 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
1.872 * [taylor]: Taking taylor expansion of (* a c) in d
1.872 * [taylor]: Taking taylor expansion of a in d
1.872 * [taylor]: Taking taylor expansion of c in d
1.872 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
1.872 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.872 * [taylor]: Taking taylor expansion of (* a b) in c
1.872 * [taylor]: Taking taylor expansion of a in c
1.872 * [taylor]: Taking taylor expansion of b in c
1.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
1.873 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.873 * [taylor]: Taking taylor expansion of (* d a) in c
1.873 * [taylor]: Taking taylor expansion of d in c
1.873 * [taylor]: Taking taylor expansion of a in c
1.873 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
1.873 * [taylor]: Taking taylor expansion of (* a c) in c
1.873 * [taylor]: Taking taylor expansion of a in c
1.873 * [taylor]: Taking taylor expansion of c in c
1.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
1.873 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.873 * [taylor]: Taking taylor expansion of (* a b) in b
1.873 * [taylor]: Taking taylor expansion of a in b
1.873 * [taylor]: Taking taylor expansion of b in b
1.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
1.874 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.874 * [taylor]: Taking taylor expansion of (* d a) in b
1.874 * [taylor]: Taking taylor expansion of d in b
1.874 * [taylor]: Taking taylor expansion of a in b
1.874 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
1.874 * [taylor]: Taking taylor expansion of (* a c) in b
1.874 * [taylor]: Taking taylor expansion of a in b
1.874 * [taylor]: Taking taylor expansion of c in b
1.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.874 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.874 * [taylor]: Taking taylor expansion of (* a b) in a
1.874 * [taylor]: Taking taylor expansion of a in a
1.874 * [taylor]: Taking taylor expansion of b in a
1.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.874 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.874 * [taylor]: Taking taylor expansion of (* d a) in a
1.874 * [taylor]: Taking taylor expansion of d in a
1.874 * [taylor]: Taking taylor expansion of a in a
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.875 * [taylor]: Taking taylor expansion of (* a c) in a
1.875 * [taylor]: Taking taylor expansion of a in a
1.875 * [taylor]: Taking taylor expansion of c in a
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.875 * [taylor]: Taking taylor expansion of (* a b) in a
1.875 * [taylor]: Taking taylor expansion of a in a
1.875 * [taylor]: Taking taylor expansion of b in a
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.876 * [taylor]: Taking taylor expansion of (* d a) in a
1.876 * [taylor]: Taking taylor expansion of d in a
1.876 * [taylor]: Taking taylor expansion of a in a
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
1.876 * [taylor]: Taking taylor expansion of (* a c) in a
1.876 * [taylor]: Taking taylor expansion of a in a
1.876 * [taylor]: Taking taylor expansion of c in a
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
1.876 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.876 * [taylor]: Taking taylor expansion of c in b
1.877 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
1.877 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.877 * [taylor]: Taking taylor expansion of d in b
1.877 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.877 * [taylor]: Taking taylor expansion of b in b
1.877 * [taylor]: Taking taylor expansion of 1 in c
1.879 * [taylor]: Taking taylor expansion of 0 in b
1.880 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
1.880 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.880 * [taylor]: Taking taylor expansion of d in c
1.880 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.880 * [taylor]: Taking taylor expansion of c in c
1.880 * [taylor]: Taking taylor expansion of 1 in d
1.881 * [taylor]: Taking taylor expansion of 1 in d
1.883 * [taylor]: Taking taylor expansion of 0 in b
1.883 * [taylor]: Taking taylor expansion of 0 in c
1.884 * [taylor]: Taking taylor expansion of 0 in c
1.885 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.885 * [taylor]: Taking taylor expansion of d in d
1.885 * [taylor]: Taking taylor expansion of 0 in d
1.885 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.885 * [approximate]: Taking taylor expansion of (* a (+ b c)) in (a b c) around 0
1.885 * [taylor]: Taking taylor expansion of (* a (+ b c)) in c
1.886 * [taylor]: Taking taylor expansion of a in c
1.886 * [taylor]: Taking taylor expansion of (+ b c) in c
1.886 * [taylor]: Taking taylor expansion of b in c
1.886 * [taylor]: Taking taylor expansion of c in c
1.886 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
1.886 * [taylor]: Taking taylor expansion of a in b
1.886 * [taylor]: Taking taylor expansion of (+ b c) in b
1.886 * [taylor]: Taking taylor expansion of b in b
1.886 * [taylor]: Taking taylor expansion of c in b
1.886 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
1.886 * [taylor]: Taking taylor expansion of a in a
1.886 * [taylor]: Taking taylor expansion of (+ b c) in a
1.886 * [taylor]: Taking taylor expansion of b in a
1.886 * [taylor]: Taking taylor expansion of c in a
1.886 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
1.886 * [taylor]: Taking taylor expansion of a in a
1.886 * [taylor]: Taking taylor expansion of (+ b c) in a
1.886 * [taylor]: Taking taylor expansion of b in a
1.886 * [taylor]: Taking taylor expansion of c in a
1.886 * [taylor]: Taking taylor expansion of 0 in b
1.886 * [taylor]: Taking taylor expansion of 0 in c
1.886 * [taylor]: Taking taylor expansion of (+ c b) in b
1.886 * [taylor]: Taking taylor expansion of c in b
1.887 * [taylor]: Taking taylor expansion of b in b
1.887 * [taylor]: Taking taylor expansion of c in c
1.887 * [taylor]: Taking taylor expansion of 0 in c
1.887 * [taylor]: Taking taylor expansion of 0 in b
1.887 * [taylor]: Taking taylor expansion of 0 in c
1.888 * [taylor]: Taking taylor expansion of 1 in c
1.888 * [taylor]: Taking taylor expansion of 0 in c
1.889 * [taylor]: Taking taylor expansion of 0 in b
1.889 * [taylor]: Taking taylor expansion of 0 in c
1.889 * [taylor]: Taking taylor expansion of 0 in c
1.889 * [taylor]: Taking taylor expansion of 0 in c
1.889 * [taylor]: Taking taylor expansion of 0 in c
1.889 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (a b c) around 0
1.889 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
1.889 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
1.889 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.889 * [taylor]: Taking taylor expansion of c in c
1.890 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.890 * [taylor]: Taking taylor expansion of b in c
1.890 * [taylor]: Taking taylor expansion of a in c
1.890 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.890 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.890 * [taylor]: Taking taylor expansion of c in b
1.890 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.890 * [taylor]: Taking taylor expansion of b in b
1.890 * [taylor]: Taking taylor expansion of a in b
1.891 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.891 * [taylor]: Taking taylor expansion of c in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.891 * [taylor]: Taking taylor expansion of b in a
1.891 * [taylor]: Taking taylor expansion of a in a
1.891 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.891 * [taylor]: Taking taylor expansion of c in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.891 * [taylor]: Taking taylor expansion of b in a
1.891 * [taylor]: Taking taylor expansion of a in a
1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.891 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.891 * [taylor]: Taking taylor expansion of c in b
1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.891 * [taylor]: Taking taylor expansion of b in b
1.892 * [taylor]: Taking taylor expansion of 1 in c
1.893 * [taylor]: Taking taylor expansion of 0 in b
1.893 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.893 * [taylor]: Taking taylor expansion of c in c
1.895 * [taylor]: Taking taylor expansion of 0 in b
1.895 * [taylor]: Taking taylor expansion of 0 in c
1.896 * [taylor]: Taking taylor expansion of 0 in c
1.898 * [taylor]: Taking taylor expansion of 0 in b
1.898 * [taylor]: Taking taylor expansion of 0 in c
1.898 * [taylor]: Taking taylor expansion of 0 in c
1.899 * [taylor]: Taking taylor expansion of 0 in c
1.900 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (a b c) around 0
1.900 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
1.900 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
1.900 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.900 * [taylor]: Taking taylor expansion of c in c
1.900 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.900 * [taylor]: Taking taylor expansion of b in c
1.900 * [taylor]: Taking taylor expansion of a in c
1.900 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
1.900 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.900 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.900 * [taylor]: Taking taylor expansion of c in b
1.900 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.900 * [taylor]: Taking taylor expansion of b in b
1.901 * [taylor]: Taking taylor expansion of a in b
1.901 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.901 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.901 * [taylor]: Taking taylor expansion of c in a
1.901 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.901 * [taylor]: Taking taylor expansion of b in a
1.901 * [taylor]: Taking taylor expansion of a in a
1.901 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
1.901 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.901 * [taylor]: Taking taylor expansion of c in a
1.901 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.901 * [taylor]: Taking taylor expansion of b in a
1.901 * [taylor]: Taking taylor expansion of a in a
1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.902 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.902 * [taylor]: Taking taylor expansion of c in b
1.902 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.902 * [taylor]: Taking taylor expansion of b in b
1.902 * [taylor]: Taking taylor expansion of 1 in c
1.903 * [taylor]: Taking taylor expansion of 0 in b
1.904 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.904 * [taylor]: Taking taylor expansion of c in c
1.905 * [taylor]: Taking taylor expansion of 0 in b
1.905 * [taylor]: Taking taylor expansion of 0 in c
1.906 * [taylor]: Taking taylor expansion of 0 in c
1.908 * [taylor]: Taking taylor expansion of 0 in b
1.908 * [taylor]: Taking taylor expansion of 0 in c
1.908 * [taylor]: Taking taylor expansion of 0 in c
1.909 * [taylor]: Taking taylor expansion of 0 in c
1.910 * * * [progress]: simplifying candidates
1.910 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* a (+ b c))) (exp (* a d)))
  (log (+ (* a (+ b c)) (* a d)))
  (exp (+ (* a (+ b c)) (* a d)))
  (* (cbrt (+ (* a (+ b c)) (* a d))) (cbrt (+ (* a (+ b c)) (* a d))))
  (cbrt (+ (* a (+ b c)) (* a d)))
  (* (* (+ (* a (+ b c)) (* a d)) (+ (* a (+ b c)) (* a d))) (+ (* a (+ b c)) (* a d)))
  (sqrt (+ (* a (+ b c)) (* a d)))
  (sqrt (+ (* a (+ b c)) (* a d)))
  (+ (pow (* a (+ b c)) 3) (pow (* a d) 3))
  (+ (* (* a (+ b c)) (* a (+ b c))) (- (* (* a d) (* a d)) (* (* a (+ b c)) (* a d))))
  (- (* (* a (+ b c)) (* a (+ b c))) (* (* a d) (* a d)))
  (- (* a (+ b c)) (* a d))
  (+ (+ b c) d)
  (+ (* a c) (* a d))
  (+ (* c a) (* a d))
  (* a (+ b c))
  (+ (log a) (log (+ b c)))
  (log (* a (+ b c)))
  (exp (* a (+ b c)))
  (* (* (* a a) a) (* (* (+ b c) (+ b c)) (+ b c)))
  (* (cbrt (* a (+ b c))) (cbrt (* a (+ b c))))
  (cbrt (* a (+ b c)))
  (* (* (* a (+ b c)) (* a (+ b c))) (* a (+ b c)))
  (sqrt (* a (+ b c)))
  (sqrt (* a (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* a b)
  (* a c)
  (* b a)
  (* c a)
  (* a (* (cbrt (+ b c)) (cbrt (+ b c))))
  (* a (sqrt (+ b c)))
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ b c))
  (* (sqrt a) (+ b c))
  (* a (+ b c))
  (* a (+ (pow b 3) (pow c 3)))
  (* a (- (* b b) (* c c)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* a b) (* a c))
  (+ (* a b) (* a c))
  (+ (* a b) (* a c))
1.912 * * [simplify]: iteration  0 :  73  enodes  (cost  417 )
1.929 * * [simplify]: iteration  1 :  212  enodes  (cost  351 )
1.975 * * [simplify]: iteration  2 :  786  enodes  (cost  325 )
2.478 * * [simplify]: iteration  3 :  3498  enodes  (cost  323 )
3.890 * * [simplify]: iteration  done :  5000  enodes  (cost  323 )
3.891 * [simplify]: Simplified to:
   (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 (* a (+ b c)) 3) (pow (* a d) 3))
  (- (* (* a d) (* a d)) (* (* (* a (+ b c)) a) (- d (+ b c))))
  (* (* a (+ (+ b c) d)) (* a (- (+ b c) d)))
  (* a (- (+ b c) d))
  (+ (+ b c) d)
  (* a (+ c d))
  (* a (+ c d))
  (* a (+ b c))
  (log (* a (+ b c)))
  (log (* a (+ b c)))
  (exp (* a (+ b c)))
  (pow (* a (+ b c)) 3)
  (* (cbrt (* a (+ b c))) (cbrt (* a (+ b c))))
  (cbrt (* a (+ b c)))
  (pow (* a (+ b c)) 3)
  (sqrt (* a (+ b c)))
  (sqrt (* a (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* b a)
  (* a c)
  (* b a)
  (* a c)
  (* a (* (cbrt (+ b c)) (cbrt (+ b c))))
  (* a (sqrt (+ b c)))
  a
  a
  (* (cbrt a) (+ b c))
  (* (sqrt a) (+ b c))
  (* a (+ b c))
  (* a (+ (pow b 3) (pow c 3)))
  (* a (- (* b b) (* c c)))
  0
  (* a (+ (+ b c) d))
  (* a (+ (+ b c) d))
  (* a (+ b c))
  (* a (+ b c))
  (* a (+ b c))
3.891 * * * [progress]: adding candidates to table
4.160 * * [progress]: iteration 3 / 4
4.160 * * * [progress]: picking best candidate
4.164 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))>
4.164 * * * [progress]: localizing error
4.172 * * * [progress]: generating rewritten candidates
4.172 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
4.197 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
4.210 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.235 * * * [progress]: generating series expansions
4.235 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
4.235 * [approximate]: Taking taylor expansion of (* a (+ b c)) in (a b c) around 0
4.235 * [taylor]: Taking taylor expansion of (* a (+ b c)) in c
4.235 * [taylor]: Taking taylor expansion of a in c
4.235 * [taylor]: Taking taylor expansion of (+ b c) in c
4.235 * [taylor]: Taking taylor expansion of b in c
4.235 * [taylor]: Taking taylor expansion of c in c
4.235 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
4.235 * [taylor]: Taking taylor expansion of a in b
4.235 * [taylor]: Taking taylor expansion of (+ b c) in b
4.235 * [taylor]: Taking taylor expansion of b in b
4.235 * [taylor]: Taking taylor expansion of c in b
4.235 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
4.235 * [taylor]: Taking taylor expansion of a in a
4.235 * [taylor]: Taking taylor expansion of (+ b c) in a
4.235 * [taylor]: Taking taylor expansion of b in a
4.235 * [taylor]: Taking taylor expansion of c in a
4.235 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
4.235 * [taylor]: Taking taylor expansion of a in a
4.235 * [taylor]: Taking taylor expansion of (+ b c) in a
4.235 * [taylor]: Taking taylor expansion of b in a
4.235 * [taylor]: Taking taylor expansion of c in a
4.235 * [taylor]: Taking taylor expansion of 0 in b
4.235 * [taylor]: Taking taylor expansion of 0 in c
4.236 * [taylor]: Taking taylor expansion of (+ c b) in b
4.236 * [taylor]: Taking taylor expansion of c in b
4.236 * [taylor]: Taking taylor expansion of b in b
4.236 * [taylor]: Taking taylor expansion of c in c
4.236 * [taylor]: Taking taylor expansion of 0 in c
4.237 * [taylor]: Taking taylor expansion of 0 in b
4.237 * [taylor]: Taking taylor expansion of 0 in c
4.237 * [taylor]: Taking taylor expansion of 1 in c
4.237 * [taylor]: Taking taylor expansion of 0 in c
4.238 * [taylor]: Taking taylor expansion of 0 in b
4.238 * [taylor]: Taking taylor expansion of 0 in c
4.239 * [taylor]: Taking taylor expansion of 0 in c
4.239 * [taylor]: Taking taylor expansion of 0 in c
4.239 * [taylor]: Taking taylor expansion of 0 in c
4.239 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (a b c) around 0
4.239 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
4.239 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
4.239 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.239 * [taylor]: Taking taylor expansion of c in c
4.239 * [taylor]: Taking taylor expansion of (/ 1 b) in c
4.240 * [taylor]: Taking taylor expansion of b in c
4.240 * [taylor]: Taking taylor expansion of a in c
4.240 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
4.240 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.240 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.240 * [taylor]: Taking taylor expansion of c in b
4.240 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.240 * [taylor]: Taking taylor expansion of b in b
4.240 * [taylor]: Taking taylor expansion of a in b
4.241 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
4.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.241 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.241 * [taylor]: Taking taylor expansion of c in a
4.241 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.241 * [taylor]: Taking taylor expansion of b in a
4.241 * [taylor]: Taking taylor expansion of a in a
4.241 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
4.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.241 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.241 * [taylor]: Taking taylor expansion of c in a
4.241 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.241 * [taylor]: Taking taylor expansion of b in a
4.241 * [taylor]: Taking taylor expansion of a in a
4.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.241 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.241 * [taylor]: Taking taylor expansion of c in b
4.241 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.241 * [taylor]: Taking taylor expansion of b in b
4.242 * [taylor]: Taking taylor expansion of 1 in c
4.243 * [taylor]: Taking taylor expansion of 0 in b
4.243 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.243 * [taylor]: Taking taylor expansion of c in c
4.245 * [taylor]: Taking taylor expansion of 0 in b
4.245 * [taylor]: Taking taylor expansion of 0 in c
4.245 * [taylor]: Taking taylor expansion of 0 in c
4.248 * [taylor]: Taking taylor expansion of 0 in b
4.248 * [taylor]: Taking taylor expansion of 0 in c
4.248 * [taylor]: Taking taylor expansion of 0 in c
4.248 * [taylor]: Taking taylor expansion of 0 in c
4.249 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in (a b c) around 0
4.249 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in c
4.249 * [taylor]: Taking taylor expansion of -1 in c
4.249 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in c
4.250 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in c
4.250 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in c
4.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c
4.250 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
4.250 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.250 * [taylor]: Taking taylor expansion of c in c
4.250 * [taylor]: Taking taylor expansion of (/ 1 b) in c
4.250 * [taylor]: Taking taylor expansion of b in c
4.252 * [taylor]: Taking taylor expansion of a in c
4.252 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in b
4.252 * [taylor]: Taking taylor expansion of -1 in b
4.252 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in b
4.252 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in b
4.252 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.252 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.252 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.252 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.252 * [taylor]: Taking taylor expansion of c in b
4.252 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.253 * [taylor]: Taking taylor expansion of b in b
4.255 * [taylor]: Taking taylor expansion of a in b
4.255 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in a
4.255 * [taylor]: Taking taylor expansion of -1 in a
4.255 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in a
4.255 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in a
4.255 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.255 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.255 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.255 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.255 * [taylor]: Taking taylor expansion of c in a
4.255 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.255 * [taylor]: Taking taylor expansion of b in a
4.257 * [taylor]: Taking taylor expansion of a in a
4.257 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in a
4.257 * [taylor]: Taking taylor expansion of -1 in a
4.257 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in a
4.257 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in a
4.257 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.257 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.257 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.257 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.257 * [taylor]: Taking taylor expansion of c in a
4.257 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.257 * [taylor]: Taking taylor expansion of b in a
4.258 * [taylor]: Taking taylor expansion of a in a
4.259 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2)) in b
4.259 * [taylor]: Taking taylor expansion of -1 in b
4.259 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in b
4.259 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.259 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.259 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.259 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.259 * [taylor]: Taking taylor expansion of c in b
4.259 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.259 * [taylor]: Taking taylor expansion of b in b
4.261 * [taylor]: Taking taylor expansion of +nan.0 in c
4.263 * [taylor]: Taking taylor expansion of 0 in b
4.263 * [taylor]: Taking taylor expansion of 0 in c
4.265 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.265 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.265 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.265 * [taylor]: Taking taylor expansion of +nan.0 in c
4.265 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.265 * [taylor]: Taking taylor expansion of c in c
4.266 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.266 * [taylor]: Taking taylor expansion of +nan.0 in c
4.271 * [taylor]: Taking taylor expansion of 0 in b
4.271 * [taylor]: Taking taylor expansion of 0 in c
4.271 * [taylor]: Taking taylor expansion of 0 in c
4.275 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))))) in c
4.275 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0)))) in c
4.275 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in c
4.275 * [taylor]: Taking taylor expansion of +nan.0 in c
4.275 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.275 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.275 * [taylor]: Taking taylor expansion of c in c
4.276 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.276 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.276 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.276 * [taylor]: Taking taylor expansion of +nan.0 in c
4.276 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.276 * [taylor]: Taking taylor expansion of c in c
4.276 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.276 * [taylor]: Taking taylor expansion of +nan.0 in c
4.282 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
4.283 * [approximate]: Taking taylor expansion of (* a (sqrt (+ b c))) in (a b c) around 0
4.283 * [taylor]: Taking taylor expansion of (* a (sqrt (+ b c))) in c
4.283 * [taylor]: Taking taylor expansion of a in c
4.283 * [taylor]: Taking taylor expansion of (sqrt (+ b c)) in c
4.283 * [taylor]: Taking taylor expansion of (+ b c) in c
4.283 * [taylor]: Taking taylor expansion of b in c
4.283 * [taylor]: Taking taylor expansion of c in c
4.283 * [taylor]: Taking taylor expansion of (* a (sqrt (+ b c))) in b
4.283 * [taylor]: Taking taylor expansion of a in b
4.283 * [taylor]: Taking taylor expansion of (sqrt (+ b c)) in b
4.283 * [taylor]: Taking taylor expansion of (+ b c) in b
4.283 * [taylor]: Taking taylor expansion of b in b
4.283 * [taylor]: Taking taylor expansion of c in b
4.283 * [taylor]: Taking taylor expansion of (* a (sqrt (+ b c))) in a
4.284 * [taylor]: Taking taylor expansion of a in a
4.284 * [taylor]: Taking taylor expansion of (sqrt (+ b c)) in a
4.284 * [taylor]: Taking taylor expansion of (+ b c) in a
4.284 * [taylor]: Taking taylor expansion of b in a
4.284 * [taylor]: Taking taylor expansion of c in a
4.284 * [taylor]: Taking taylor expansion of (* a (sqrt (+ b c))) in a
4.284 * [taylor]: Taking taylor expansion of a in a
4.284 * [taylor]: Taking taylor expansion of (sqrt (+ b c)) in a
4.284 * [taylor]: Taking taylor expansion of (+ b c) in a
4.284 * [taylor]: Taking taylor expansion of b in a
4.284 * [taylor]: Taking taylor expansion of c in a
4.284 * [taylor]: Taking taylor expansion of 0 in b
4.284 * [taylor]: Taking taylor expansion of 0 in c
4.285 * [taylor]: Taking taylor expansion of (sqrt (+ b c)) in b
4.285 * [taylor]: Taking taylor expansion of (+ b c) in b
4.285 * [taylor]: Taking taylor expansion of b in b
4.285 * [taylor]: Taking taylor expansion of c in b
4.285 * [taylor]: Taking taylor expansion of (sqrt c) in c
4.285 * [taylor]: Taking taylor expansion of c in c
4.286 * [taylor]: Taking taylor expansion of 0 in c
4.287 * [taylor]: Taking taylor expansion of 0 in b
4.288 * [taylor]: Taking taylor expansion of 0 in c
4.288 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 c))) in c
4.288 * [taylor]: Taking taylor expansion of 1/2 in c
4.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 c)) in c
4.288 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.288 * [taylor]: Taking taylor expansion of c in c
4.290 * [taylor]: Taking taylor expansion of 0 in c
4.291 * [taylor]: Taking taylor expansion of 0 in b
4.292 * [taylor]: Taking taylor expansion of 0 in c
4.292 * [taylor]: Taking taylor expansion of 0 in c
4.292 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow c 3)))) in c
4.292 * [taylor]: Taking taylor expansion of -1/8 in c
4.292 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow c 3))) in c
4.292 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
4.292 * [taylor]: Taking taylor expansion of (pow c 3) in c
4.292 * [taylor]: Taking taylor expansion of c in c
4.299 * [approximate]: Taking taylor expansion of (* (/ 1 a) (sqrt (+ (/ 1 c) (/ 1 b)))) in (a b c) around 0
4.299 * [taylor]: Taking taylor expansion of (* (/ 1 a) (sqrt (+ (/ 1 c) (/ 1 b)))) in c
4.299 * [taylor]: Taking taylor expansion of (/ 1 a) in c
4.299 * [taylor]: Taking taylor expansion of a in c
4.299 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 c) (/ 1 b))) in c
4.299 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
4.299 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.299 * [taylor]: Taking taylor expansion of c in c
4.300 * [taylor]: Taking taylor expansion of (/ 1 b) in c
4.300 * [taylor]: Taking taylor expansion of b in c
4.301 * [taylor]: Taking taylor expansion of (* (/ 1 a) (sqrt (+ (/ 1 c) (/ 1 b)))) in b
4.301 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.301 * [taylor]: Taking taylor expansion of a in b
4.301 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 c) (/ 1 b))) in b
4.301 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.301 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.301 * [taylor]: Taking taylor expansion of c in b
4.301 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.301 * [taylor]: Taking taylor expansion of b in b
4.306 * [taylor]: Taking taylor expansion of (* (/ 1 a) (sqrt (+ (/ 1 c) (/ 1 b)))) in a
4.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.306 * [taylor]: Taking taylor expansion of a in a
4.307 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 c) (/ 1 b))) in a
4.307 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.307 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.307 * [taylor]: Taking taylor expansion of c in a
4.307 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.307 * [taylor]: Taking taylor expansion of b in a
4.307 * [taylor]: Taking taylor expansion of (* (/ 1 a) (sqrt (+ (/ 1 c) (/ 1 b)))) in a
4.307 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.307 * [taylor]: Taking taylor expansion of a in a
4.308 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 c) (/ 1 b))) in a
4.308 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.308 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.308 * [taylor]: Taking taylor expansion of c in a
4.308 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.308 * [taylor]: Taking taylor expansion of b in a
4.308 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 c) (/ 1 b))) in b
4.309 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.309 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.309 * [taylor]: Taking taylor expansion of c in b
4.309 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.309 * [taylor]: Taking taylor expansion of b in b
4.310 * [taylor]: Taking taylor expansion of 0 in c
4.311 * [taylor]: Taking taylor expansion of 0 in b
4.311 * [taylor]: Taking taylor expansion of +nan.0 in c
4.313 * [taylor]: Taking taylor expansion of 0 in b
4.313 * [taylor]: Taking taylor expansion of 0 in c
4.314 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 c) +nan.0)) in c
4.314 * [taylor]: Taking taylor expansion of +nan.0 in c
4.314 * [taylor]: Taking taylor expansion of (- (/ 1 c) +nan.0) in c
4.314 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.314 * [taylor]: Taking taylor expansion of c in c
4.315 * [taylor]: Taking taylor expansion of +nan.0 in c
4.317 * [taylor]: Taking taylor expansion of 0 in b
4.317 * [taylor]: Taking taylor expansion of 0 in c
4.317 * [taylor]: Taking taylor expansion of 0 in c
4.319 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.319 * [taylor]: Taking taylor expansion of +nan.0 in c
4.319 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.319 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.319 * [taylor]: Taking taylor expansion of +nan.0 in c
4.319 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.319 * [taylor]: Taking taylor expansion of c in c
4.319 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.319 * [taylor]: Taking taylor expansion of +nan.0 in c
4.321 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a)) in (a b c) around 0
4.321 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a)) in c
4.321 * [taylor]: Taking taylor expansion of -1 in c
4.321 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a) in c
4.321 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in c
4.321 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c
4.321 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
4.321 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.321 * [taylor]: Taking taylor expansion of c in c
4.321 * [taylor]: Taking taylor expansion of (/ 1 b) in c
4.321 * [taylor]: Taking taylor expansion of b in c
4.323 * [taylor]: Taking taylor expansion of a in c
4.323 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a)) in b
4.323 * [taylor]: Taking taylor expansion of -1 in b
4.323 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a) in b
4.323 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.323 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.323 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.323 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.323 * [taylor]: Taking taylor expansion of c in b
4.323 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.323 * [taylor]: Taking taylor expansion of b in b
4.325 * [taylor]: Taking taylor expansion of a in b
4.325 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a)) in a
4.325 * [taylor]: Taking taylor expansion of -1 in a
4.325 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a) in a
4.325 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.325 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.325 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.325 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.325 * [taylor]: Taking taylor expansion of c in a
4.325 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.325 * [taylor]: Taking taylor expansion of b in a
4.326 * [taylor]: Taking taylor expansion of a in a
4.326 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a)) in a
4.326 * [taylor]: Taking taylor expansion of -1 in a
4.326 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 c) (/ 1 b)))) a) in a
4.326 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.326 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.326 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.326 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.326 * [taylor]: Taking taylor expansion of c in a
4.326 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.326 * [taylor]: Taking taylor expansion of b in a
4.327 * [taylor]: Taking taylor expansion of a in a
4.328 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (+ (/ 1 c) (/ 1 b))))) in b
4.328 * [taylor]: Taking taylor expansion of -1 in b
4.328 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.328 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.328 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.328 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.328 * [taylor]: Taking taylor expansion of c in b
4.328 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.328 * [taylor]: Taking taylor expansion of b in b
4.331 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.331 * [taylor]: Taking taylor expansion of +nan.0 in c
4.332 * [taylor]: Taking taylor expansion of 0 in b
4.332 * [taylor]: Taking taylor expansion of 0 in c
4.334 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.334 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.334 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.334 * [taylor]: Taking taylor expansion of +nan.0 in c
4.334 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.334 * [taylor]: Taking taylor expansion of c in c
4.335 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.335 * [taylor]: Taking taylor expansion of +nan.0 in c
4.340 * [taylor]: Taking taylor expansion of 0 in b
4.340 * [taylor]: Taking taylor expansion of 0 in c
4.340 * [taylor]: Taking taylor expansion of 0 in c
4.342 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.342 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.342 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.342 * [taylor]: Taking taylor expansion of +nan.0 in c
4.342 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.343 * [taylor]: Taking taylor expansion of c in c
4.343 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.343 * [taylor]: Taking taylor expansion of +nan.0 in c
4.346 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.347 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (a b c d) around 0
4.347 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
4.347 * [taylor]: Taking taylor expansion of (* d a) in d
4.347 * [taylor]: Taking taylor expansion of d in d
4.347 * [taylor]: Taking taylor expansion of a in d
4.347 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
4.347 * [taylor]: Taking taylor expansion of (* a b) in d
4.347 * [taylor]: Taking taylor expansion of a in d
4.347 * [taylor]: Taking taylor expansion of b in d
4.347 * [taylor]: Taking taylor expansion of (* a c) in d
4.347 * [taylor]: Taking taylor expansion of a in d
4.347 * [taylor]: Taking taylor expansion of c in d
4.347 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
4.347 * [taylor]: Taking taylor expansion of (* d a) in c
4.347 * [taylor]: Taking taylor expansion of d in c
4.347 * [taylor]: Taking taylor expansion of a in c
4.347 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
4.347 * [taylor]: Taking taylor expansion of (* a b) in c
4.347 * [taylor]: Taking taylor expansion of a in c
4.347 * [taylor]: Taking taylor expansion of b in c
4.347 * [taylor]: Taking taylor expansion of (* a c) in c
4.347 * [taylor]: Taking taylor expansion of a in c
4.347 * [taylor]: Taking taylor expansion of c in c
4.347 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
4.347 * [taylor]: Taking taylor expansion of (* d a) in b
4.347 * [taylor]: Taking taylor expansion of d in b
4.347 * [taylor]: Taking taylor expansion of a in b
4.347 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
4.347 * [taylor]: Taking taylor expansion of (* a b) in b
4.347 * [taylor]: Taking taylor expansion of a in b
4.348 * [taylor]: Taking taylor expansion of b in b
4.348 * [taylor]: Taking taylor expansion of (* a c) in b
4.348 * [taylor]: Taking taylor expansion of a in b
4.348 * [taylor]: Taking taylor expansion of c in b
4.348 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
4.348 * [taylor]: Taking taylor expansion of (* d a) in a
4.348 * [taylor]: Taking taylor expansion of d in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
4.348 * [taylor]: Taking taylor expansion of (* a b) in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of b in a
4.348 * [taylor]: Taking taylor expansion of (* a c) in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of c in a
4.348 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
4.348 * [taylor]: Taking taylor expansion of (* d a) in a
4.348 * [taylor]: Taking taylor expansion of d in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
4.348 * [taylor]: Taking taylor expansion of (* a b) in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of b in a
4.348 * [taylor]: Taking taylor expansion of (* a c) in a
4.348 * [taylor]: Taking taylor expansion of a in a
4.348 * [taylor]: Taking taylor expansion of c in a
4.349 * [taylor]: Taking taylor expansion of 0 in b
4.349 * [taylor]: Taking taylor expansion of 0 in c
4.349 * [taylor]: Taking taylor expansion of 0 in d
4.349 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
4.349 * [taylor]: Taking taylor expansion of d in b
4.349 * [taylor]: Taking taylor expansion of (+ b c) in b
4.349 * [taylor]: Taking taylor expansion of b in b
4.349 * [taylor]: Taking taylor expansion of c in b
4.350 * [taylor]: Taking taylor expansion of (+ d c) in c
4.350 * [taylor]: Taking taylor expansion of d in c
4.350 * [taylor]: Taking taylor expansion of c in c
4.350 * [taylor]: Taking taylor expansion of d in d
4.350 * [taylor]: Taking taylor expansion of 0 in c
4.350 * [taylor]: Taking taylor expansion of 0 in d
4.350 * [taylor]: Taking taylor expansion of 0 in d
4.352 * [taylor]: Taking taylor expansion of 0 in b
4.352 * [taylor]: Taking taylor expansion of 0 in c
4.352 * [taylor]: Taking taylor expansion of 0 in d
4.352 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (a b c d) around 0
4.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
4.352 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
4.352 * [taylor]: Taking taylor expansion of (* a b) in d
4.352 * [taylor]: Taking taylor expansion of a in d
4.352 * [taylor]: Taking taylor expansion of b in d
4.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
4.352 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.352 * [taylor]: Taking taylor expansion of (* d a) in d
4.352 * [taylor]: Taking taylor expansion of d in d
4.352 * [taylor]: Taking taylor expansion of a in d
4.353 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
4.353 * [taylor]: Taking taylor expansion of (* a c) in d
4.353 * [taylor]: Taking taylor expansion of a in d
4.353 * [taylor]: Taking taylor expansion of c in d
4.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
4.353 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
4.353 * [taylor]: Taking taylor expansion of (* a b) in c
4.353 * [taylor]: Taking taylor expansion of a in c
4.353 * [taylor]: Taking taylor expansion of b in c
4.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
4.353 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.353 * [taylor]: Taking taylor expansion of (* d a) in c
4.353 * [taylor]: Taking taylor expansion of d in c
4.353 * [taylor]: Taking taylor expansion of a in c
4.353 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
4.353 * [taylor]: Taking taylor expansion of (* a c) in c
4.353 * [taylor]: Taking taylor expansion of a in c
4.353 * [taylor]: Taking taylor expansion of c in c
4.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
4.353 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
4.353 * [taylor]: Taking taylor expansion of (* a b) in b
4.353 * [taylor]: Taking taylor expansion of a in b
4.353 * [taylor]: Taking taylor expansion of b in b
4.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
4.354 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.354 * [taylor]: Taking taylor expansion of (* d a) in b
4.354 * [taylor]: Taking taylor expansion of d in b
4.354 * [taylor]: Taking taylor expansion of a in b
4.354 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
4.354 * [taylor]: Taking taylor expansion of (* a c) in b
4.354 * [taylor]: Taking taylor expansion of a in b
4.354 * [taylor]: Taking taylor expansion of c in b
4.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
4.354 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.354 * [taylor]: Taking taylor expansion of (* a b) in a
4.354 * [taylor]: Taking taylor expansion of a in a
4.354 * [taylor]: Taking taylor expansion of b in a
4.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
4.354 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.354 * [taylor]: Taking taylor expansion of (* d a) in a
4.354 * [taylor]: Taking taylor expansion of d in a
4.354 * [taylor]: Taking taylor expansion of a in a
4.355 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
4.355 * [taylor]: Taking taylor expansion of (* a c) in a
4.355 * [taylor]: Taking taylor expansion of a in a
4.355 * [taylor]: Taking taylor expansion of c in a
4.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
4.355 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.355 * [taylor]: Taking taylor expansion of (* a b) in a
4.355 * [taylor]: Taking taylor expansion of a in a
4.355 * [taylor]: Taking taylor expansion of b in a
4.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
4.355 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.355 * [taylor]: Taking taylor expansion of (* d a) in a
4.356 * [taylor]: Taking taylor expansion of d in a
4.356 * [taylor]: Taking taylor expansion of a in a
4.356 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
4.356 * [taylor]: Taking taylor expansion of (* a c) in a
4.356 * [taylor]: Taking taylor expansion of a in a
4.356 * [taylor]: Taking taylor expansion of c in a
4.356 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
4.356 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.356 * [taylor]: Taking taylor expansion of c in b
4.356 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
4.356 * [taylor]: Taking taylor expansion of (/ 1 d) in b
4.357 * [taylor]: Taking taylor expansion of d in b
4.357 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.357 * [taylor]: Taking taylor expansion of b in b
4.357 * [taylor]: Taking taylor expansion of 1 in c
4.359 * [taylor]: Taking taylor expansion of 0 in b
4.360 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
4.360 * [taylor]: Taking taylor expansion of (/ 1 d) in c
4.360 * [taylor]: Taking taylor expansion of d in c
4.360 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.360 * [taylor]: Taking taylor expansion of c in c
4.360 * [taylor]: Taking taylor expansion of 1 in d
4.361 * [taylor]: Taking taylor expansion of 1 in d
4.363 * [taylor]: Taking taylor expansion of 0 in b
4.363 * [taylor]: Taking taylor expansion of 0 in c
4.364 * [taylor]: Taking taylor expansion of 0 in c
4.365 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.365 * [taylor]: Taking taylor expansion of d in d
4.365 * [taylor]: Taking taylor expansion of 0 in d
4.366 * [approximate]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in (a b c d) around 0
4.366 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in d
4.366 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.366 * [taylor]: Taking taylor expansion of (* d a) in d
4.366 * [taylor]: Taking taylor expansion of d in d
4.366 * [taylor]: Taking taylor expansion of a in d
4.366 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in d
4.366 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in d
4.366 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in d
4.366 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in d
4.367 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
4.367 * [taylor]: Taking taylor expansion of (/ 1 c) in d
4.367 * [taylor]: Taking taylor expansion of c in d
4.367 * [taylor]: Taking taylor expansion of (/ 1 b) in d
4.367 * [taylor]: Taking taylor expansion of b in d
4.368 * [taylor]: Taking taylor expansion of a in d
4.368 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in c
4.368 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.368 * [taylor]: Taking taylor expansion of (* d a) in c
4.368 * [taylor]: Taking taylor expansion of d in c
4.368 * [taylor]: Taking taylor expansion of a in c
4.368 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in c
4.368 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in c
4.368 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in c
4.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c
4.368 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
4.368 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.368 * [taylor]: Taking taylor expansion of c in c
4.368 * [taylor]: Taking taylor expansion of (/ 1 b) in c
4.368 * [taylor]: Taking taylor expansion of b in c
4.370 * [taylor]: Taking taylor expansion of a in c
4.371 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in b
4.371 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.371 * [taylor]: Taking taylor expansion of (* d a) in b
4.371 * [taylor]: Taking taylor expansion of d in b
4.371 * [taylor]: Taking taylor expansion of a in b
4.371 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in b
4.371 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in b
4.371 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.371 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.371 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.371 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.371 * [taylor]: Taking taylor expansion of c in b
4.371 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.371 * [taylor]: Taking taylor expansion of b in b
4.373 * [taylor]: Taking taylor expansion of a in b
4.373 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in a
4.373 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.373 * [taylor]: Taking taylor expansion of (* d a) in a
4.373 * [taylor]: Taking taylor expansion of d in a
4.373 * [taylor]: Taking taylor expansion of a in a
4.373 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in a
4.374 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in a
4.374 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.374 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.374 * [taylor]: Taking taylor expansion of c in a
4.374 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.374 * [taylor]: Taking taylor expansion of b in a
4.375 * [taylor]: Taking taylor expansion of a in a
4.375 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a)) (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a)) in a
4.375 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.375 * [taylor]: Taking taylor expansion of (* d a) in a
4.375 * [taylor]: Taking taylor expansion of d in a
4.375 * [taylor]: Taking taylor expansion of a in a
4.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) a) in a
4.375 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in a
4.375 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in a
4.375 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in a
4.375 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
4.375 * [taylor]: Taking taylor expansion of (/ 1 c) in a
4.375 * [taylor]: Taking taylor expansion of c in a
4.376 * [taylor]: Taking taylor expansion of (/ 1 b) in a
4.376 * [taylor]: Taking taylor expansion of b in a
4.377 * [taylor]: Taking taylor expansion of a in a
4.377 * [taylor]: Taking taylor expansion of (- (/ 1 d) (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2)) in b
4.377 * [taylor]: Taking taylor expansion of (/ 1 d) in b
4.377 * [taylor]: Taking taylor expansion of d in b
4.377 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 c) (/ 1 b)))) 2) in b
4.377 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 c) (/ 1 b)))) in b
4.377 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b
4.377 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
4.377 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.377 * [taylor]: Taking taylor expansion of c in b
4.377 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.377 * [taylor]: Taking taylor expansion of b in b
4.380 * [taylor]: Taking taylor expansion of (- (/ 1 d) +nan.0) in c
4.380 * [taylor]: Taking taylor expansion of (/ 1 d) in c
4.380 * [taylor]: Taking taylor expansion of d in c
4.380 * [taylor]: Taking taylor expansion of +nan.0 in c
4.381 * [taylor]: Taking taylor expansion of (- (/ 1 d) +nan.0) in d
4.381 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.381 * [taylor]: Taking taylor expansion of d in d
4.381 * [taylor]: Taking taylor expansion of +nan.0 in d
4.383 * [taylor]: Taking taylor expansion of 0 in b
4.383 * [taylor]: Taking taylor expansion of 0 in c
4.383 * [taylor]: Taking taylor expansion of 0 in d
4.386 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.386 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.386 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.386 * [taylor]: Taking taylor expansion of +nan.0 in c
4.386 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.386 * [taylor]: Taking taylor expansion of c in c
4.386 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.386 * [taylor]: Taking taylor expansion of +nan.0 in c
4.389 * [taylor]: Taking taylor expansion of (- +nan.0) in d
4.389 * [taylor]: Taking taylor expansion of +nan.0 in d
4.389 * [taylor]: Taking taylor expansion of 0 in d
4.398 * [taylor]: Taking taylor expansion of 0 in b
4.398 * [taylor]: Taking taylor expansion of 0 in c
4.398 * [taylor]: Taking taylor expansion of 0 in d
4.398 * [taylor]: Taking taylor expansion of 0 in c
4.398 * [taylor]: Taking taylor expansion of 0 in d
4.402 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow c 2))) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))))) in c
4.403 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow c 2))) (- (+ (* +nan.0 (/ 1 c)) (- +nan.0)))) in c
4.403 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow c 2))) in c
4.403 * [taylor]: Taking taylor expansion of +nan.0 in c
4.403 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.403 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.403 * [taylor]: Taking taylor expansion of c in c
4.403 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- +nan.0))) in c
4.403 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- +nan.0)) in c
4.403 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
4.403 * [taylor]: Taking taylor expansion of +nan.0 in c
4.403 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.403 * [taylor]: Taking taylor expansion of c in c
4.404 * [taylor]: Taking taylor expansion of (- +nan.0) in c
4.404 * [taylor]: Taking taylor expansion of +nan.0 in c
4.409 * [taylor]: Taking taylor expansion of (- +nan.0) in d
4.409 * [taylor]: Taking taylor expansion of +nan.0 in d
4.409 * [taylor]: Taking taylor expansion of 0 in d
4.410 * [taylor]: Taking taylor expansion of 0 in d
4.411 * [taylor]: Taking taylor expansion of 0 in d
4.412 * * * [progress]: simplifying candidates
4.413 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* a (sqrt (+ b c))) (sqrt (+ b c)))
  (* (* a (sqrt (+ b c))) (sqrt (+ b c)))
  (+ (+ (log a) (log (sqrt (+ b c)))) (log (sqrt (+ b c))))
  (+ (log (* a (sqrt (+ b c)))) (log (sqrt (+ b c))))
  (log (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (exp (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (* (* (* (* a a) a) (* (* (sqrt (+ b c)) (sqrt (+ b c))) (sqrt (+ b c)))) (* (* (sqrt (+ b c)) (sqrt (+ b c))) (sqrt (+ b c))))
  (* (* (* (* a (sqrt (+ b c))) (* a (sqrt (+ b c)))) (* a (sqrt (+ b c)))) (* (* (sqrt (+ b c)) (sqrt (+ b c))) (sqrt (+ b c))))
  (* (cbrt (* (* a (sqrt (+ b c))) (sqrt (+ b c)))) (cbrt (* (* a (sqrt (+ b c))) (sqrt (+ b c)))))
  (cbrt (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (* (* (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* (* a (sqrt (+ b c))) (sqrt (+ b c)))) (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (sqrt (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (sqrt (* (* a (sqrt (+ b c))) (sqrt (+ b c))))
  (* (* a (sqrt (+ (pow b 3) (pow c 3)))) (sqrt (+ (pow b 3) (pow c 3))))
  (* (sqrt (+ (* b b) (- (* c c) (* b c)))) (sqrt (+ (* b b) (- (* c c) (* b c)))))
  (* (* a (sqrt (+ (pow b 3) (pow c 3)))) (sqrt (- (* b b) (* c c))))
  (* (sqrt (+ (* b b) (- (* c c) (* b c)))) (sqrt (- b c)))
  (* (* a (sqrt (- (* b b) (* c c)))) (sqrt (+ (pow b 3) (pow c 3))))
  (* (sqrt (- b c)) (sqrt (+ (* b b) (- (* c c) (* b c)))))
  (* (* a (sqrt (- (* b b) (* c c)))) (sqrt (- (* b b) (* c c))))
  (* (sqrt (- b c)) (sqrt (- b c)))
  (* (* a (sqrt (+ b c))) (* (cbrt (sqrt (+ b c))) (cbrt (sqrt (+ b c)))))
  (* (* a (sqrt (+ b c))) (sqrt (* (cbrt (+ b c)) (cbrt (+ b c)))))
  (* (* a (sqrt (+ b c))) (sqrt (sqrt (+ b c))))
  (* (* a (sqrt (+ b c))) (sqrt 1))
  (* (* a (sqrt (+ b c))) (sqrt 1))
  (* (* a (sqrt (+ b c))) (sqrt (sqrt (+ b c))))
  (* (* a (sqrt (+ b c))) 1)
  (* (sqrt (+ b c)) (sqrt (+ b c)))
  (* (* a (sqrt (+ b c))) (sqrt (+ (pow b 3) (pow c 3))))
  (* (* a (sqrt (+ b c))) (sqrt (- (* b b) (* c c))))
  (* (* a (sqrt (+ (pow b 3) (pow c 3)))) (sqrt (+ b c)))
  (* (* a (sqrt (- (* b b) (* c c)))) (sqrt (+ b c)))
  (* a (sqrt (+ b c)))
  (+ (log a) (log (sqrt (+ b c))))
  (log (* a (sqrt (+ b c))))
  (exp (* a (sqrt (+ b c))))
  (* (* (* a a) a) (* (* (sqrt (+ b c)) (sqrt (+ b c))) (sqrt (+ b c))))
  (* (cbrt (* a (sqrt (+ b c)))) (cbrt (* a (sqrt (+ b c)))))
  (cbrt (* a (sqrt (+ b c))))
  (* (* (* a (sqrt (+ b c))) (* a (sqrt (+ b c)))) (* a (sqrt (+ b c))))
  (sqrt (* a (sqrt (+ b c))))
  (sqrt (* a (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* a (* (cbrt (sqrt (+ b c))) (cbrt (sqrt (+ b c)))))
  (* a (sqrt (* (cbrt (+ b c)) (cbrt (+ b c)))))
  (* a (sqrt (sqrt (+ b c))))
  (* a (sqrt 1))
  (* a (sqrt 1))
  (* a (sqrt (sqrt (+ b c))))
  (* a 1)
  (* (cbrt a) (sqrt (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* a (sqrt (+ b c)))
  (* a (sqrt (+ (pow b 3) (pow c 3))))
  (* a (sqrt (- (* b b) (* c c))))
  (* (exp (* (* a (sqrt (+ b c))) (sqrt (+ b c)))) (exp (* a d)))
  (log (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (exp (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (* (cbrt (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d))) (cbrt (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d))))
  (cbrt (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (* (* (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d))) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (sqrt (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (sqrt (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))
  (+ (pow (* (* a (sqrt (+ b c))) (sqrt (+ b c))) 3) (pow (* a d) 3))
  (+ (* (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* (* a (sqrt (+ b c))) (sqrt (+ b c)))) (- (* (* a d) (* a d)) (* (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d))))
  (- (* (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* (* a (sqrt (+ b c))) (sqrt (+ b c)))) (* (* a d) (* a d)))
  (- (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d))
  (+ (* a b) (* a c))
  (+ (* a b) (* a c))
  (- (+ (* +nan.0 (/ a (pow b 2))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a b)))))))
  (- (+ (* +nan.0 (* a b)) (- (+ (* +nan.0 (* a (pow b 2))) (- (* +nan.0 (* a c)))))))
  (- (+ (* +nan.0 a) (- (+ (* +nan.0 (/ (* a c) b)) (- (* +nan.0 (/ (* a c) (pow b 2))))))))
  (- (+ (* +nan.0 (/ a (pow b 2))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a b)))))))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (- (* d a) (+ (* +nan.0 a) (- (* +nan.0 (/ a b)))))
4.418 * * [simplify]: iteration  0 :  144  enodes  (cost  1178 )
4.449 * * [simplify]: iteration  1 :  391  enodes  (cost  858 )
4.572 * * [simplify]: iteration  2 :  1411  enodes  (cost  736 )
5.100 * * [simplify]: iteration  done :  5001  enodes  (cost  732 )
5.100 * [simplify]: Simplified to:
   (* a (+ c b))
  (* a (+ c b))
  (log (* a (+ c b)))
  (log (* a (+ c b)))
  (log (* a (+ c b)))
  (exp (* a (+ c b)))
  (pow (* a (+ c b)) 3)
  (pow (* a (+ c b)) 3)
  (* (cbrt (* a (+ c b))) (cbrt (* a (+ c b))))
  (cbrt (* a (+ c b)))
  (pow (* a (+ c b)) 3)
  (sqrt (* a (+ c b)))
  (sqrt (* a (+ c b)))
  (* a (+ (pow b 3) (pow c 3)))
  (+ (* b b) (* c (- c b)))
  (* (* a (sqrt (- (* b b) (* c c)))) (sqrt (+ (pow b 3) (pow c 3))))
  (* (sqrt (- b c)) (sqrt (+ (* b b) (* c (- c b)))))
  (* (* a (sqrt (- (* b b) (* c c)))) (sqrt (+ (pow b 3) (pow c 3))))
  (* (sqrt (- b c)) (sqrt (+ (* b b) (* c (- c b)))))
  (* a (- (* b b) (* c c)))
  (- b c)
  (* (* a (sqrt (+ b c))) (* (cbrt (sqrt (+ b c))) (cbrt (sqrt (+ b c)))))
  (* (* a (sqrt (+ b c))) (fabs (cbrt (+ b c))))
  (* (* a (sqrt (+ b c))) (sqrt (sqrt (+ b c))))
  (* a (sqrt (+ b c)))
  (* a (sqrt (+ b c)))
  (* (* a (sqrt (+ b c))) (sqrt (sqrt (+ b c))))
  (* a (sqrt (+ b c)))
  (+ c b)
  (* (* a (sqrt (+ (pow b 3) (pow c 3)))) (sqrt (+ b c)))
  (* (* a (sqrt (+ b c))) (sqrt (- (* b b) (* c c))))
  (* (* a (sqrt (+ (pow b 3) (pow c 3)))) (sqrt (+ b c)))
  (* (* a (sqrt (+ b c))) (sqrt (- (* b b) (* c c))))
  (* a (sqrt (+ b c)))
  (log (* a (sqrt (+ b c))))
  (log (* a (sqrt (+ b c))))
  (exp (* a (sqrt (+ b c))))
  (pow (* a (sqrt (+ b c))) 3)
  (* (cbrt (* a (sqrt (+ b c)))) (cbrt (* a (sqrt (+ b c)))))
  (cbrt (* a (sqrt (+ b c))))
  (pow (* a (sqrt (+ b c))) 3)
  (sqrt (* a (sqrt (+ b c))))
  (sqrt (* a (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* (sqrt a) (sqrt (sqrt (+ b c))))
  (* a (* (cbrt (sqrt (+ b c))) (cbrt (sqrt (+ b c)))))
  (* (fabs (cbrt (+ b c))) a)
  (* a (sqrt (sqrt (+ b c))))
  a
  a
  (* a (sqrt (sqrt (+ b c))))
  a
  (* (cbrt a) (sqrt (+ b c)))
  (* (sqrt a) (sqrt (+ b c)))
  (* a (sqrt (+ b c)))
  (* a (sqrt (+ (pow b 3) (pow c 3))))
  (* a (sqrt (- (* b b) (* c c))))
  (exp (* a (+ d (+ c b))))
  (log (* a (+ d (+ c b))))
  (exp (* a (+ d (+ c b))))
  (* (cbrt (* a (+ d (+ c b)))) (cbrt (* a (+ d (+ c b)))))
  (cbrt (* a (+ d (+ c b))))
  (pow (* a (+ d (+ c b))) 3)
  (sqrt (* a (+ d (+ c b))))
  (sqrt (* a (+ d (+ c b))))
  (+ (pow (* a d) 3) (pow (* a (+ c b)) 3))
  (+ (* a (* d (* a (- d (+ c b))))) (* (* a (+ c b)) (* a (+ c b))))
  (* (* a (+ d (+ c b))) (* a (- (+ c b) d)))
  (* a (- (+ c b) d))
  (* a (+ c b))
  (* a (+ c b))
  (- (* +nan.0 (- a (/ a b))) (* +nan.0 (/ a (pow b 2))))
  (- (* (* +nan.0 a) (- (* b b) c)) (* +nan.0 (* a b)))
  (- (* +nan.0 (- (/ (* a c) b) (/ (* a c) (pow b 2)))) (* +nan.0 a))
  (- (* +nan.0 (- a (/ a b))) (* +nan.0 (/ a (pow b 2))))
  0
  (* a (+ d (+ c b)))
  (+ (* a (- d +nan.0)) (* +nan.0 (/ a b)))
5.102 * * * [progress]: adding candidates to table
5.254 * * [progress]: iteration 4 / 4
5.255 * * * [progress]: picking best candidate
5.256 * * * * [pick]: Picked  #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>
5.257 * * * [progress]: localizing error
5.265 * * * [progress]: generating rewritten candidates
5.265 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.267 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.281 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
5.324 * * * [progress]: generating series expansions
5.324 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.324 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
5.324 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.324 * [taylor]: Taking taylor expansion of a in d
5.325 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.325 * [taylor]: Taking taylor expansion of d in d
5.325 * [taylor]: Taking taylor expansion of (+ b c) in d
5.325 * [taylor]: Taking taylor expansion of b in d
5.325 * [taylor]: Taking taylor expansion of c in d
5.325 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.325 * [taylor]: Taking taylor expansion of a in c
5.325 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.325 * [taylor]: Taking taylor expansion of d in c
5.325 * [taylor]: Taking taylor expansion of (+ b c) in c
5.325 * [taylor]: Taking taylor expansion of b in c
5.325 * [taylor]: Taking taylor expansion of c in c
5.325 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.325 * [taylor]: Taking taylor expansion of a in b
5.325 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.325 * [taylor]: Taking taylor expansion of d in b
5.325 * [taylor]: Taking taylor expansion of (+ b c) in b
5.325 * [taylor]: Taking taylor expansion of b in b
5.325 * [taylor]: Taking taylor expansion of c in b
5.325 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.325 * [taylor]: Taking taylor expansion of a in a
5.325 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.325 * [taylor]: Taking taylor expansion of d in a
5.325 * [taylor]: Taking taylor expansion of (+ b c) in a
5.325 * [taylor]: Taking taylor expansion of b in a
5.325 * [taylor]: Taking taylor expansion of c in a
5.325 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.325 * [taylor]: Taking taylor expansion of a in a
5.325 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.325 * [taylor]: Taking taylor expansion of d in a
5.325 * [taylor]: Taking taylor expansion of (+ b c) in a
5.325 * [taylor]: Taking taylor expansion of b in a
5.325 * [taylor]: Taking taylor expansion of c in a
5.325 * [taylor]: Taking taylor expansion of 0 in b
5.325 * [taylor]: Taking taylor expansion of 0 in c
5.325 * [taylor]: Taking taylor expansion of 0 in d
5.326 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
5.326 * [taylor]: Taking taylor expansion of d in b
5.326 * [taylor]: Taking taylor expansion of (+ c b) in b
5.326 * [taylor]: Taking taylor expansion of c in b
5.326 * [taylor]: Taking taylor expansion of b in b
5.326 * [taylor]: Taking taylor expansion of (+ d c) in c
5.326 * [taylor]: Taking taylor expansion of d in c
5.326 * [taylor]: Taking taylor expansion of c in c
5.326 * [taylor]: Taking taylor expansion of d in d
5.327 * [taylor]: Taking taylor expansion of 0 in c
5.327 * [taylor]: Taking taylor expansion of 0 in d
5.327 * [taylor]: Taking taylor expansion of 0 in d
5.328 * [taylor]: Taking taylor expansion of 0 in b
5.328 * [taylor]: Taking taylor expansion of 0 in c
5.328 * [taylor]: Taking taylor expansion of 0 in d
5.328 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
5.328 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.328 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.328 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.328 * [taylor]: Taking taylor expansion of d in d
5.328 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.328 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.328 * [taylor]: Taking taylor expansion of c in d
5.328 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.328 * [taylor]: Taking taylor expansion of b in d
5.328 * [taylor]: Taking taylor expansion of a in d
5.329 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.329 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.329 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.329 * [taylor]: Taking taylor expansion of d in c
5.329 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.329 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.329 * [taylor]: Taking taylor expansion of c in c
5.329 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.329 * [taylor]: Taking taylor expansion of b in c
5.329 * [taylor]: Taking taylor expansion of a in c
5.330 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.330 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.330 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.330 * [taylor]: Taking taylor expansion of d in b
5.330 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.330 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.330 * [taylor]: Taking taylor expansion of c in b
5.330 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.330 * [taylor]: Taking taylor expansion of b in b
5.330 * [taylor]: Taking taylor expansion of a in b
5.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.331 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.331 * [taylor]: Taking taylor expansion of d in a
5.331 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.331 * [taylor]: Taking taylor expansion of c in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.331 * [taylor]: Taking taylor expansion of b in a
5.331 * [taylor]: Taking taylor expansion of a in a
5.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.331 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.331 * [taylor]: Taking taylor expansion of d in a
5.331 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.331 * [taylor]: Taking taylor expansion of c in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.331 * [taylor]: Taking taylor expansion of b in a
5.331 * [taylor]: Taking taylor expansion of a in a
5.332 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.332 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.332 * [taylor]: Taking taylor expansion of d in b
5.332 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.332 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.332 * [taylor]: Taking taylor expansion of c in b
5.332 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.332 * [taylor]: Taking taylor expansion of b in b
5.333 * [taylor]: Taking taylor expansion of 1 in c
5.334 * [taylor]: Taking taylor expansion of 0 in b
5.335 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
5.335 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.335 * [taylor]: Taking taylor expansion of c in c
5.335 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.335 * [taylor]: Taking taylor expansion of d in c
5.335 * [taylor]: Taking taylor expansion of 1 in d
5.335 * [taylor]: Taking taylor expansion of 1 in d
5.337 * [taylor]: Taking taylor expansion of 0 in b
5.337 * [taylor]: Taking taylor expansion of 0 in c
5.338 * [taylor]: Taking taylor expansion of 0 in c
5.338 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.338 * [taylor]: Taking taylor expansion of d in d
5.339 * [taylor]: Taking taylor expansion of 0 in d
5.340 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
5.340 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.340 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.340 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.340 * [taylor]: Taking taylor expansion of d in d
5.340 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.340 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.340 * [taylor]: Taking taylor expansion of c in d
5.340 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.340 * [taylor]: Taking taylor expansion of b in d
5.340 * [taylor]: Taking taylor expansion of a in d
5.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.341 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.341 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.341 * [taylor]: Taking taylor expansion of d in c
5.341 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.341 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.341 * [taylor]: Taking taylor expansion of c in c
5.341 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.341 * [taylor]: Taking taylor expansion of b in c
5.341 * [taylor]: Taking taylor expansion of a in c
5.342 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.342 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.342 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.342 * [taylor]: Taking taylor expansion of d in b
5.342 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.342 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.342 * [taylor]: Taking taylor expansion of c in b
5.342 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.342 * [taylor]: Taking taylor expansion of b in b
5.342 * [taylor]: Taking taylor expansion of a in b
5.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.343 * [taylor]: Taking taylor expansion of d in a
5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.343 * [taylor]: Taking taylor expansion of c in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.343 * [taylor]: Taking taylor expansion of b in a
5.343 * [taylor]: Taking taylor expansion of a in a
5.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.343 * [taylor]: Taking taylor expansion of d in a
5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.343 * [taylor]: Taking taylor expansion of c in a
5.343 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.343 * [taylor]: Taking taylor expansion of b in a
5.343 * [taylor]: Taking taylor expansion of a in a
5.344 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.344 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.344 * [taylor]: Taking taylor expansion of d in b
5.344 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.344 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.344 * [taylor]: Taking taylor expansion of c in b
5.344 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.344 * [taylor]: Taking taylor expansion of b in b
5.345 * [taylor]: Taking taylor expansion of 1 in c
5.346 * [taylor]: Taking taylor expansion of 0 in b
5.347 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
5.347 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.347 * [taylor]: Taking taylor expansion of c in c
5.347 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.347 * [taylor]: Taking taylor expansion of d in c
5.348 * [taylor]: Taking taylor expansion of 1 in d
5.348 * [taylor]: Taking taylor expansion of 1 in d
5.349 * [taylor]: Taking taylor expansion of 0 in b
5.350 * [taylor]: Taking taylor expansion of 0 in c
5.351 * [taylor]: Taking taylor expansion of 0 in c
5.351 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.351 * [taylor]: Taking taylor expansion of d in d
5.351 * [taylor]: Taking taylor expansion of 0 in d
5.352 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
5.352 * [approximate]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in (a b c d) around 0
5.352 * [taylor]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in d
5.352 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.352 * [taylor]: Taking taylor expansion of a in d
5.352 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.352 * [taylor]: Taking taylor expansion of d in d
5.352 * [taylor]: Taking taylor expansion of (+ b c) in d
5.352 * [taylor]: Taking taylor expansion of b in d
5.352 * [taylor]: Taking taylor expansion of c in d
5.352 * [taylor]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in c
5.352 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.352 * [taylor]: Taking taylor expansion of a in c
5.352 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.352 * [taylor]: Taking taylor expansion of d in c
5.352 * [taylor]: Taking taylor expansion of (+ b c) in c
5.352 * [taylor]: Taking taylor expansion of b in c
5.352 * [taylor]: Taking taylor expansion of c in c
5.353 * [taylor]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in b
5.353 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.353 * [taylor]: Taking taylor expansion of a in b
5.353 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.353 * [taylor]: Taking taylor expansion of d in b
5.353 * [taylor]: Taking taylor expansion of (+ b c) in b
5.353 * [taylor]: Taking taylor expansion of b in b
5.353 * [taylor]: Taking taylor expansion of c in b
5.353 * [taylor]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in a
5.353 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.353 * [taylor]: Taking taylor expansion of a in a
5.353 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.353 * [taylor]: Taking taylor expansion of d in a
5.353 * [taylor]: Taking taylor expansion of (+ b c) in a
5.353 * [taylor]: Taking taylor expansion of b in a
5.353 * [taylor]: Taking taylor expansion of c in a
5.354 * [taylor]: Taking taylor expansion of (pow (* a (+ d (+ b c))) 3) in a
5.354 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.354 * [taylor]: Taking taylor expansion of a in a
5.354 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.354 * [taylor]: Taking taylor expansion of d in a
5.354 * [taylor]: Taking taylor expansion of (+ b c) in a
5.354 * [taylor]: Taking taylor expansion of b in a
5.354 * [taylor]: Taking taylor expansion of c in a
5.355 * [taylor]: Taking taylor expansion of (pow (+ d (+ b c)) 3) in b
5.355 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.355 * [taylor]: Taking taylor expansion of d in b
5.355 * [taylor]: Taking taylor expansion of (+ b c) in b
5.355 * [taylor]: Taking taylor expansion of b in b
5.355 * [taylor]: Taking taylor expansion of c in b
5.355 * [taylor]: Taking taylor expansion of (pow (+ d c) 3) in c
5.355 * [taylor]: Taking taylor expansion of (+ d c) in c
5.355 * [taylor]: Taking taylor expansion of d in c
5.355 * [taylor]: Taking taylor expansion of c in c
5.355 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.355 * [taylor]: Taking taylor expansion of d in d
5.357 * [taylor]: Taking taylor expansion of 0 in b
5.357 * [taylor]: Taking taylor expansion of 0 in c
5.357 * [taylor]: Taking taylor expansion of 0 in d
5.358 * [taylor]: Taking taylor expansion of (+ (* 6 (* d c)) (+ (* 3 (pow c 2)) (* 3 (pow d 2)))) in c
5.358 * [taylor]: Taking taylor expansion of (* 6 (* d c)) in c
5.358 * [taylor]: Taking taylor expansion of 6 in c
5.358 * [taylor]: Taking taylor expansion of (* d c) in c
5.358 * [taylor]: Taking taylor expansion of d in c
5.358 * [taylor]: Taking taylor expansion of c in c
5.358 * [taylor]: Taking taylor expansion of (+ (* 3 (pow c 2)) (* 3 (pow d 2))) in c
5.358 * [taylor]: Taking taylor expansion of (* 3 (pow c 2)) in c
5.358 * [taylor]: Taking taylor expansion of 3 in c
5.358 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.358 * [taylor]: Taking taylor expansion of c in c
5.358 * [taylor]: Taking taylor expansion of (* 3 (pow d 2)) in c
5.358 * [taylor]: Taking taylor expansion of 3 in c
5.358 * [taylor]: Taking taylor expansion of (pow d 2) in c
5.358 * [taylor]: Taking taylor expansion of d in c
5.358 * [taylor]: Taking taylor expansion of (* 3 (pow d 2)) in d
5.358 * [taylor]: Taking taylor expansion of 3 in d
5.358 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.358 * [taylor]: Taking taylor expansion of d in d
5.359 * [taylor]: Taking taylor expansion of (* 3 (pow d 2)) in d
5.359 * [taylor]: Taking taylor expansion of 3 in d
5.359 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.359 * [taylor]: Taking taylor expansion of d in d
5.361 * [taylor]: Taking taylor expansion of 0 in b
5.361 * [taylor]: Taking taylor expansion of 0 in c
5.361 * [taylor]: Taking taylor expansion of 0 in d
5.361 * [taylor]: Taking taylor expansion of 0 in c
5.361 * [taylor]: Taking taylor expansion of 0 in d
5.362 * [taylor]: Taking taylor expansion of (+ (* 3 d) (* 3 c)) in c
5.362 * [taylor]: Taking taylor expansion of (* 3 d) in c
5.362 * [taylor]: Taking taylor expansion of 3 in c
5.362 * [taylor]: Taking taylor expansion of d in c
5.362 * [taylor]: Taking taylor expansion of (* 3 c) in c
5.362 * [taylor]: Taking taylor expansion of 3 in c
5.362 * [taylor]: Taking taylor expansion of c in c
5.363 * [taylor]: Taking taylor expansion of (* 3 d) in d
5.363 * [taylor]: Taking taylor expansion of 3 in d
5.363 * [taylor]: Taking taylor expansion of d in d
5.363 * [taylor]: Taking taylor expansion of 0 in d
5.364 * [taylor]: Taking taylor expansion of (* 6 d) in d
5.364 * [taylor]: Taking taylor expansion of 6 in d
5.364 * [taylor]: Taking taylor expansion of d in d
5.365 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in (a b c d) around 0
5.365 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in d
5.365 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.365 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.365 * [taylor]: Taking taylor expansion of d in d
5.365 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.365 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.365 * [taylor]: Taking taylor expansion of c in d
5.365 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.365 * [taylor]: Taking taylor expansion of b in d
5.365 * [taylor]: Taking taylor expansion of a in d
5.365 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in c
5.365 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.365 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.365 * [taylor]: Taking taylor expansion of d in c
5.365 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.365 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.366 * [taylor]: Taking taylor expansion of c in c
5.366 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.366 * [taylor]: Taking taylor expansion of b in c
5.366 * [taylor]: Taking taylor expansion of a in c
5.366 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in b
5.366 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.366 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.366 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.366 * [taylor]: Taking taylor expansion of d in b
5.366 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.366 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.367 * [taylor]: Taking taylor expansion of c in b
5.367 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.367 * [taylor]: Taking taylor expansion of b in b
5.367 * [taylor]: Taking taylor expansion of a in b
5.367 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in a
5.367 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.367 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.367 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.367 * [taylor]: Taking taylor expansion of d in a
5.368 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.368 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.368 * [taylor]: Taking taylor expansion of c in a
5.368 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.368 * [taylor]: Taking taylor expansion of b in a
5.368 * [taylor]: Taking taylor expansion of a in a
5.368 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in a
5.368 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.368 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.368 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.368 * [taylor]: Taking taylor expansion of d in a
5.368 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.368 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.368 * [taylor]: Taking taylor expansion of c in a
5.368 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.368 * [taylor]: Taking taylor expansion of b in a
5.368 * [taylor]: Taking taylor expansion of a in a
5.369 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 2) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
5.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 2) in b
5.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.369 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.369 * [taylor]: Taking taylor expansion of d in b
5.369 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.369 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.369 * [taylor]: Taking taylor expansion of c in b
5.369 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.369 * [taylor]: Taking taylor expansion of b in b
5.370 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.370 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.370 * [taylor]: Taking taylor expansion of c in b
5.370 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.370 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.370 * [taylor]: Taking taylor expansion of d in b
5.370 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.370 * [taylor]: Taking taylor expansion of b in b
5.371 * [taylor]: Taking taylor expansion of 1 in c
5.373 * [taylor]: Taking taylor expansion of 0 in b
5.374 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 d)) (* 3 (/ 1 c))) in c
5.374 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in c
5.374 * [taylor]: Taking taylor expansion of 3 in c
5.374 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.374 * [taylor]: Taking taylor expansion of d in c
5.374 * [taylor]: Taking taylor expansion of (* 3 (/ 1 c)) in c
5.375 * [taylor]: Taking taylor expansion of 3 in c
5.375 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.375 * [taylor]: Taking taylor expansion of c in c
5.377 * [taylor]: Taking taylor expansion of 0 in b
5.381 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow d 2))) (+ (* 6 (/ 1 (* d c))) (* 3 (/ 1 (pow c 2))))) in c
5.381 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in c
5.381 * [taylor]: Taking taylor expansion of 3 in c
5.381 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
5.381 * [taylor]: Taking taylor expansion of (pow d 2) in c
5.381 * [taylor]: Taking taylor expansion of d in c
5.382 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* d c))) (* 3 (/ 1 (pow c 2)))) in c
5.382 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* d c))) in c
5.382 * [taylor]: Taking taylor expansion of 6 in c
5.382 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in c
5.382 * [taylor]: Taking taylor expansion of (* d c) in c
5.382 * [taylor]: Taking taylor expansion of d in c
5.382 * [taylor]: Taking taylor expansion of c in c
5.382 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow c 2))) in c
5.382 * [taylor]: Taking taylor expansion of 3 in c
5.382 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
5.382 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.382 * [taylor]: Taking taylor expansion of c in c
5.386 * [taylor]: Taking taylor expansion of 0 in b
5.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 3)) (+ (/ 1 (pow d 3)) (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c)))))) in c
5.391 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
5.391 * [taylor]: Taking taylor expansion of (pow c 3) in c
5.391 * [taylor]: Taking taylor expansion of c in c
5.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d 3)) (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c))))) in c
5.392 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in c
5.392 * [taylor]: Taking taylor expansion of (pow d 3) in c
5.392 * [taylor]: Taking taylor expansion of d in c
5.392 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c)))) in c
5.392 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* d (pow c 2)))) in c
5.392 * [taylor]: Taking taylor expansion of 3 in c
5.392 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in c
5.392 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in c
5.392 * [taylor]: Taking taylor expansion of d in c
5.392 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.392 * [taylor]: Taking taylor expansion of c in c
5.392 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow d 2) c))) in c
5.392 * [taylor]: Taking taylor expansion of 3 in c
5.392 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in c
5.392 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in c
5.392 * [taylor]: Taking taylor expansion of (pow d 2) in c
5.392 * [taylor]: Taking taylor expansion of d in c
5.393 * [taylor]: Taking taylor expansion of c in c
5.393 * [taylor]: Taking taylor expansion of 1 in d
5.394 * [taylor]: Taking taylor expansion of 3 in d
5.397 * [taylor]: Taking taylor expansion of 3 in d
5.397 * [taylor]: Taking taylor expansion of 1 in d
5.402 * [taylor]: Taking taylor expansion of 0 in b
5.402 * [taylor]: Taking taylor expansion of 0 in c
5.406 * [taylor]: Taking taylor expansion of 0 in c
5.407 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in d
5.407 * [taylor]: Taking taylor expansion of 3 in d
5.407 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.407 * [taylor]: Taking taylor expansion of d in d
5.409 * [taylor]: Taking taylor expansion of (* 6 (/ 1 d)) in d
5.409 * [taylor]: Taking taylor expansion of 6 in d
5.409 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.409 * [taylor]: Taking taylor expansion of d in d
5.410 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in d
5.410 * [taylor]: Taking taylor expansion of 3 in d
5.410 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.410 * [taylor]: Taking taylor expansion of d in d
5.410 * [taylor]: Taking taylor expansion of 0 in d
5.416 * [taylor]: Taking taylor expansion of 0 in b
5.416 * [taylor]: Taking taylor expansion of 0 in c
5.416 * [taylor]: Taking taylor expansion of 0 in c
5.421 * [taylor]: Taking taylor expansion of 0 in c
5.424 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in d
5.424 * [taylor]: Taking taylor expansion of 3 in d
5.424 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.424 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.424 * [taylor]: Taking taylor expansion of d in d
5.427 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in d
5.427 * [taylor]: Taking taylor expansion of 3 in d
5.427 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.427 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.427 * [taylor]: Taking taylor expansion of d in d
5.429 * [taylor]: Taking taylor expansion of 0 in d
5.429 * [taylor]: Taking taylor expansion of 0 in d
5.435 * [taylor]: Taking taylor expansion of 0 in b
5.435 * [taylor]: Taking taylor expansion of 0 in c
5.435 * [taylor]: Taking taylor expansion of 0 in c
5.435 * [taylor]: Taking taylor expansion of 0 in c
5.441 * [taylor]: Taking taylor expansion of 0 in c
5.446 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.446 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.446 * [taylor]: Taking taylor expansion of d in d
5.450 * [taylor]: Taking taylor expansion of 0 in d
5.452 * [taylor]: Taking taylor expansion of 0 in d
5.452 * [taylor]: Taking taylor expansion of 0 in d
5.454 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in (a b c d) around 0
5.454 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in d
5.454 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.454 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.454 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.454 * [taylor]: Taking taylor expansion of d in d
5.454 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.454 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.454 * [taylor]: Taking taylor expansion of c in d
5.454 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.454 * [taylor]: Taking taylor expansion of b in d
5.455 * [taylor]: Taking taylor expansion of a in d
5.455 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in c
5.455 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.455 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.455 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.455 * [taylor]: Taking taylor expansion of d in c
5.455 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.455 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.455 * [taylor]: Taking taylor expansion of c in c
5.455 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.455 * [taylor]: Taking taylor expansion of b in c
5.455 * [taylor]: Taking taylor expansion of a in c
5.456 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in b
5.456 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.456 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.456 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.456 * [taylor]: Taking taylor expansion of d in b
5.456 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.456 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.456 * [taylor]: Taking taylor expansion of c in b
5.456 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.456 * [taylor]: Taking taylor expansion of b in b
5.456 * [taylor]: Taking taylor expansion of a in b
5.457 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in a
5.457 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.457 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.457 * [taylor]: Taking taylor expansion of d in a
5.457 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.457 * [taylor]: Taking taylor expansion of c in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.457 * [taylor]: Taking taylor expansion of b in a
5.457 * [taylor]: Taking taylor expansion of a in a
5.457 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) 3) in a
5.457 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.457 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.457 * [taylor]: Taking taylor expansion of d in a
5.457 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.457 * [taylor]: Taking taylor expansion of c in a
5.457 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.457 * [taylor]: Taking taylor expansion of b in a
5.458 * [taylor]: Taking taylor expansion of a in a
5.458 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 2) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
5.458 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) 2) in b
5.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.458 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.458 * [taylor]: Taking taylor expansion of d in b
5.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.458 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.458 * [taylor]: Taking taylor expansion of c in b
5.458 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.458 * [taylor]: Taking taylor expansion of b in b
5.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
5.459 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.459 * [taylor]: Taking taylor expansion of c in b
5.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
5.459 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.459 * [taylor]: Taking taylor expansion of d in b
5.459 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.459 * [taylor]: Taking taylor expansion of b in b
5.461 * [taylor]: Taking taylor expansion of 1 in c
5.462 * [taylor]: Taking taylor expansion of 0 in b
5.464 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 d)) (* 3 (/ 1 c))) in c
5.464 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in c
5.464 * [taylor]: Taking taylor expansion of 3 in c
5.464 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.464 * [taylor]: Taking taylor expansion of d in c
5.464 * [taylor]: Taking taylor expansion of (* 3 (/ 1 c)) in c
5.464 * [taylor]: Taking taylor expansion of 3 in c
5.464 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.464 * [taylor]: Taking taylor expansion of c in c
5.467 * [taylor]: Taking taylor expansion of 0 in b
5.470 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow d 2))) (+ (* 6 (/ 1 (* d c))) (* 3 (/ 1 (pow c 2))))) in c
5.471 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in c
5.471 * [taylor]: Taking taylor expansion of 3 in c
5.471 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
5.471 * [taylor]: Taking taylor expansion of (pow d 2) in c
5.471 * [taylor]: Taking taylor expansion of d in c
5.471 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* d c))) (* 3 (/ 1 (pow c 2)))) in c
5.471 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* d c))) in c
5.471 * [taylor]: Taking taylor expansion of 6 in c
5.471 * [taylor]: Taking taylor expansion of (/ 1 (* d c)) in c
5.471 * [taylor]: Taking taylor expansion of (* d c) in c
5.471 * [taylor]: Taking taylor expansion of d in c
5.471 * [taylor]: Taking taylor expansion of c in c
5.471 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow c 2))) in c
5.471 * [taylor]: Taking taylor expansion of 3 in c
5.471 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
5.471 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.471 * [taylor]: Taking taylor expansion of c in c
5.475 * [taylor]: Taking taylor expansion of 0 in b
5.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 3)) (+ (/ 1 (pow d 3)) (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c)))))) in c
5.482 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
5.482 * [taylor]: Taking taylor expansion of (pow c 3) in c
5.482 * [taylor]: Taking taylor expansion of c in c
5.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d 3)) (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c))))) in c
5.483 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in c
5.483 * [taylor]: Taking taylor expansion of (pow d 3) in c
5.483 * [taylor]: Taking taylor expansion of d in c
5.483 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (* d (pow c 2)))) (* 3 (/ 1 (* (pow d 2) c)))) in c
5.483 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* d (pow c 2)))) in c
5.483 * [taylor]: Taking taylor expansion of 3 in c
5.483 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow c 2))) in c
5.483 * [taylor]: Taking taylor expansion of (* d (pow c 2)) in c
5.483 * [taylor]: Taking taylor expansion of d in c
5.483 * [taylor]: Taking taylor expansion of (pow c 2) in c
5.483 * [taylor]: Taking taylor expansion of c in c
5.484 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow d 2) c))) in c
5.484 * [taylor]: Taking taylor expansion of 3 in c
5.484 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) c)) in c
5.484 * [taylor]: Taking taylor expansion of (* (pow d 2) c) in c
5.484 * [taylor]: Taking taylor expansion of (pow d 2) in c
5.484 * [taylor]: Taking taylor expansion of d in c
5.484 * [taylor]: Taking taylor expansion of c in c
5.485 * [taylor]: Taking taylor expansion of 1 in d
5.485 * [taylor]: Taking taylor expansion of 3 in d
5.486 * [taylor]: Taking taylor expansion of 3 in d
5.486 * [taylor]: Taking taylor expansion of 1 in d
5.490 * [taylor]: Taking taylor expansion of 0 in b
5.491 * [taylor]: Taking taylor expansion of 0 in c
5.495 * [taylor]: Taking taylor expansion of 0 in c
5.496 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in d
5.496 * [taylor]: Taking taylor expansion of 3 in d
5.496 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.496 * [taylor]: Taking taylor expansion of d in d
5.498 * [taylor]: Taking taylor expansion of (* 6 (/ 1 d)) in d
5.498 * [taylor]: Taking taylor expansion of 6 in d
5.498 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.498 * [taylor]: Taking taylor expansion of d in d
5.499 * [taylor]: Taking taylor expansion of (* 3 (/ 1 d)) in d
5.499 * [taylor]: Taking taylor expansion of 3 in d
5.499 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.499 * [taylor]: Taking taylor expansion of d in d
5.499 * [taylor]: Taking taylor expansion of 0 in d
5.504 * [taylor]: Taking taylor expansion of 0 in b
5.504 * [taylor]: Taking taylor expansion of 0 in c
5.504 * [taylor]: Taking taylor expansion of 0 in c
5.509 * [taylor]: Taking taylor expansion of 0 in c
5.512 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in d
5.512 * [taylor]: Taking taylor expansion of 3 in d
5.512 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.512 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.512 * [taylor]: Taking taylor expansion of d in d
5.515 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow d 2))) in d
5.515 * [taylor]: Taking taylor expansion of 3 in d
5.515 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
5.515 * [taylor]: Taking taylor expansion of (pow d 2) in d
5.515 * [taylor]: Taking taylor expansion of d in d
5.517 * [taylor]: Taking taylor expansion of 0 in d
5.517 * [taylor]: Taking taylor expansion of 0 in d
5.523 * [taylor]: Taking taylor expansion of 0 in b
5.523 * [taylor]: Taking taylor expansion of 0 in c
5.524 * [taylor]: Taking taylor expansion of 0 in c
5.524 * [taylor]: Taking taylor expansion of 0 in c
5.529 * [taylor]: Taking taylor expansion of 0 in c
5.534 * [taylor]: Taking taylor expansion of (/ 1 (pow d 3)) in d
5.534 * [taylor]: Taking taylor expansion of (pow d 3) in d
5.534 * [taylor]: Taking taylor expansion of d in d
5.538 * [taylor]: Taking taylor expansion of 0 in d
5.540 * [taylor]: Taking taylor expansion of 0 in d
5.540 * [taylor]: Taking taylor expansion of 0 in d
5.542 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
5.542 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
5.542 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
5.542 * [taylor]: Taking taylor expansion of a in d
5.542 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
5.542 * [taylor]: Taking taylor expansion of d in d
5.542 * [taylor]: Taking taylor expansion of (+ b c) in d
5.542 * [taylor]: Taking taylor expansion of b in d
5.542 * [taylor]: Taking taylor expansion of c in d
5.542 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
5.542 * [taylor]: Taking taylor expansion of a in c
5.542 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
5.542 * [taylor]: Taking taylor expansion of d in c
5.542 * [taylor]: Taking taylor expansion of (+ b c) in c
5.542 * [taylor]: Taking taylor expansion of b in c
5.542 * [taylor]: Taking taylor expansion of c in c
5.542 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
5.542 * [taylor]: Taking taylor expansion of a in b
5.542 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
5.542 * [taylor]: Taking taylor expansion of d in b
5.542 * [taylor]: Taking taylor expansion of (+ b c) in b
5.542 * [taylor]: Taking taylor expansion of b in b
5.542 * [taylor]: Taking taylor expansion of c in b
5.542 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.542 * [taylor]: Taking taylor expansion of a in a
5.542 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.542 * [taylor]: Taking taylor expansion of d in a
5.542 * [taylor]: Taking taylor expansion of (+ b c) in a
5.542 * [taylor]: Taking taylor expansion of b in a
5.542 * [taylor]: Taking taylor expansion of c in a
5.542 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
5.542 * [taylor]: Taking taylor expansion of a in a
5.542 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
5.542 * [taylor]: Taking taylor expansion of d in a
5.542 * [taylor]: Taking taylor expansion of (+ b c) in a
5.542 * [taylor]: Taking taylor expansion of b in a
5.542 * [taylor]: Taking taylor expansion of c in a
5.543 * [taylor]: Taking taylor expansion of 0 in b
5.543 * [taylor]: Taking taylor expansion of 0 in c
5.543 * [taylor]: Taking taylor expansion of 0 in d
5.543 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
5.543 * [taylor]: Taking taylor expansion of d in b
5.543 * [taylor]: Taking taylor expansion of (+ c b) in b
5.543 * [taylor]: Taking taylor expansion of c in b
5.543 * [taylor]: Taking taylor expansion of b in b
5.544 * [taylor]: Taking taylor expansion of (+ d c) in c
5.544 * [taylor]: Taking taylor expansion of d in c
5.544 * [taylor]: Taking taylor expansion of c in c
5.544 * [taylor]: Taking taylor expansion of d in d
5.544 * [taylor]: Taking taylor expansion of 0 in c
5.544 * [taylor]: Taking taylor expansion of 0 in d
5.544 * [taylor]: Taking taylor expansion of 0 in d
5.545 * [taylor]: Taking taylor expansion of 0 in b
5.545 * [taylor]: Taking taylor expansion of 0 in c
5.545 * [taylor]: Taking taylor expansion of 0 in d
5.545 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
5.545 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.545 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.545 * [taylor]: Taking taylor expansion of d in d
5.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.545 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.545 * [taylor]: Taking taylor expansion of c in d
5.545 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.545 * [taylor]: Taking taylor expansion of b in d
5.545 * [taylor]: Taking taylor expansion of a in d
5.546 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.546 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.546 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.546 * [taylor]: Taking taylor expansion of d in c
5.546 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.546 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.546 * [taylor]: Taking taylor expansion of c in c
5.546 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.546 * [taylor]: Taking taylor expansion of b in c
5.546 * [taylor]: Taking taylor expansion of a in c
5.547 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.547 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.547 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.547 * [taylor]: Taking taylor expansion of d in b
5.547 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.547 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.547 * [taylor]: Taking taylor expansion of c in b
5.547 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.547 * [taylor]: Taking taylor expansion of b in b
5.547 * [taylor]: Taking taylor expansion of a in b
5.548 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.548 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.548 * [taylor]: Taking taylor expansion of d in a
5.548 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.548 * [taylor]: Taking taylor expansion of c in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.548 * [taylor]: Taking taylor expansion of b in a
5.548 * [taylor]: Taking taylor expansion of a in a
5.548 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.548 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.548 * [taylor]: Taking taylor expansion of d in a
5.548 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.548 * [taylor]: Taking taylor expansion of c in a
5.548 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.548 * [taylor]: Taking taylor expansion of b in a
5.548 * [taylor]: Taking taylor expansion of a in a
5.549 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.549 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.549 * [taylor]: Taking taylor expansion of d in b
5.549 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.549 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.549 * [taylor]: Taking taylor expansion of c in b
5.549 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.549 * [taylor]: Taking taylor expansion of b in b
5.549 * [taylor]: Taking taylor expansion of 1 in c
5.551 * [taylor]: Taking taylor expansion of 0 in b
5.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
5.551 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.551 * [taylor]: Taking taylor expansion of c in c
5.552 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.552 * [taylor]: Taking taylor expansion of d in c
5.552 * [taylor]: Taking taylor expansion of 1 in d
5.552 * [taylor]: Taking taylor expansion of 1 in d
5.554 * [taylor]: Taking taylor expansion of 0 in b
5.554 * [taylor]: Taking taylor expansion of 0 in c
5.555 * [taylor]: Taking taylor expansion of 0 in c
5.555 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.555 * [taylor]: Taking taylor expansion of d in d
5.555 * [taylor]: Taking taylor expansion of 0 in d
5.556 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
5.556 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
5.556 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
5.556 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.556 * [taylor]: Taking taylor expansion of d in d
5.556 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
5.556 * [taylor]: Taking taylor expansion of (/ 1 c) in d
5.556 * [taylor]: Taking taylor expansion of c in d
5.557 * [taylor]: Taking taylor expansion of (/ 1 b) in d
5.557 * [taylor]: Taking taylor expansion of b in d
5.557 * [taylor]: Taking taylor expansion of a in d
5.557 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
5.557 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
5.557 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.557 * [taylor]: Taking taylor expansion of d in c
5.557 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
5.557 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.557 * [taylor]: Taking taylor expansion of c in c
5.557 * [taylor]: Taking taylor expansion of (/ 1 b) in c
5.557 * [taylor]: Taking taylor expansion of b in c
5.557 * [taylor]: Taking taylor expansion of a in c
5.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
5.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.558 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.558 * [taylor]: Taking taylor expansion of d in b
5.558 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.558 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.558 * [taylor]: Taking taylor expansion of c in b
5.558 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.558 * [taylor]: Taking taylor expansion of b in b
5.558 * [taylor]: Taking taylor expansion of a in b
5.559 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.559 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.559 * [taylor]: Taking taylor expansion of d in a
5.559 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.559 * [taylor]: Taking taylor expansion of c in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.559 * [taylor]: Taking taylor expansion of b in a
5.559 * [taylor]: Taking taylor expansion of a in a
5.559 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
5.559 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 d) in a
5.559 * [taylor]: Taking taylor expansion of d in a
5.559 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 c) in a
5.559 * [taylor]: Taking taylor expansion of c in a
5.559 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.559 * [taylor]: Taking taylor expansion of b in a
5.560 * [taylor]: Taking taylor expansion of a in a
5.560 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
5.560 * [taylor]: Taking taylor expansion of (/ 1 d) in b
5.560 * [taylor]: Taking taylor expansion of d in b
5.560 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
5.560 * [taylor]: Taking taylor expansion of (/ 1 c) in b
5.560 * [taylor]: Taking taylor expansion of c in b
5.560 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.560 * [taylor]: Taking taylor expansion of b in b
5.561 * [taylor]: Taking taylor expansion of 1 in c
5.562 * [taylor]: Taking taylor expansion of 0 in b
5.565 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
5.565 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.565 * [taylor]: Taking taylor expansion of c in c
5.565 * [taylor]: Taking taylor expansion of (/ 1 d) in c
5.565 * [taylor]: Taking taylor expansion of d in c
5.565 * [taylor]: Taking taylor expansion of 1 in d
5.566 * [taylor]: Taking taylor expansion of 1 in d
5.567 * [taylor]: Taking taylor expansion of 0 in b
5.567 * [taylor]: Taking taylor expansion of 0 in c
5.568 * [taylor]: Taking taylor expansion of 0 in c
5.569 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.569 * [taylor]: Taking taylor expansion of d in d
5.569 * [taylor]: Taking taylor expansion of 0 in d
5.570 * * * [progress]: simplifying candidates
5.571 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (exp (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt (pow a 3))
  (cbrt (pow (+ (+ b c) d) 3))
  (cbrt (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d))))
  (cbrt (* a (+ (+ b c) d)))
  (cbrt (* (cbrt (pow (* a (+ (+ b c) d)) 3)) (cbrt (pow (* a (+ (+ b c) d)) 3))))
  (cbrt (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt (pow a 3))
  (cbrt (pow (+ (+ b c) d) 3))
  (cbrt (* a (+ (+ b c) d)))
  (cbrt (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d))))
  (cbrt (sqrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt (sqrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt 1)
  (cbrt (pow (* a (+ (+ b c) d)) 3))
  (cbrt (pow (* a (+ (+ b c) d)) (/ 3 2)))
  (cbrt (pow (* a (+ (+ b c) d)) (/ 3 2)))
  (cbrt (pow (* a (+ (pow (+ b c) 3) (pow d 3))) 3))
  (cbrt (pow (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d))) 3))
  (cbrt (pow (* a (- (* (+ b c) (+ b c)) (* d d))) 3))
  (cbrt (pow (- (+ b c) d) 3))
  (* (cbrt (cbrt (pow (* a (+ (+ b c) d)) 3))) (cbrt (cbrt (pow (* a (+ (+ b c) d)) 3))))
  (cbrt (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (* (* (cbrt (pow (* a (+ (+ b c) d)) 3)) (cbrt (pow (* a (+ (+ b c) d)) 3))) (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (sqrt (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (sqrt (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (* (+ (log a) (log (+ (+ b c) d))) 3)
  (* (log (* a (+ (+ b c) d))) 3)
  (* (log (* a (+ (+ b c) d))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* a (+ (+ b c) d)) (* (cbrt 3) (cbrt 3)))
  (pow (* a (+ (+ b c) d)) (sqrt 3))
  (pow (* a (+ (+ b c) d)) 1)
  (pow a 3)
  (pow (+ (+ b c) d) 3)
  (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d)))
  (log (pow (* a (+ (+ b c) d)) 3))
  (exp (pow (* a (+ (+ b c) d)) 3))
  (* (cbrt (pow (* a (+ (+ b c) d)) 3)) (cbrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt (pow (* a (+ (+ b c) d)) 3))
  (* (* (pow (* a (+ (+ b c) d)) 3) (pow (* a (+ (+ b c) d)) 3)) (pow (* a (+ (+ b c) d)) 3))
  (pow a 3)
  (pow (+ (+ b c) d) 3)
  (pow (* a (+ (pow (+ b c) 3) (pow d 3))) 3)
  (pow (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d))) 3)
  (pow (* a (- (* (+ b c) (+ b c)) (* d d))) 3)
  (pow (- (+ b c) d) 3)
  (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d)))
  (sqrt (pow (* a (+ (+ b c) d)) 3))
  (sqrt (pow (* a (+ (+ b c) d)) 3))
  (pow (* a (+ (+ b c) d)) (/ 3 2))
  (pow (* a (+ (+ b c) d)) (/ 3 2))
  (* 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
  (+ (* (pow d 3) (pow a 3)) (+ (* 3 (* (pow d 2) (* (pow a 3) c))) (* 3 (* (pow d 2) (* (pow a 3) b)))))
  (+ (* (pow d 3) (pow a 3)) (+ (* 3 (* (pow d 2) (* (pow a 3) c))) (* 3 (* (pow d 2) (* (pow a 3) b)))))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
5.574 * * [simplify]: iteration  0 :  109  enodes  (cost  967 )
5.596 * * [simplify]: iteration  1 :  283  enodes  (cost  793 )
5.666 * * [simplify]: iteration  2 :  1244  enodes  (cost  733 )
6.073 * * [simplify]: iteration  done :  5000  enodes  (cost  733 )
6.073 * [simplify]: Simplified to:
   (log (* (+ d (+ b c)) a))
  (exp (* a (+ (+ b c) d)))
  a
  (+ d (+ b c))
  (cbrt (pow (* (+ d (+ b c)) a) 2))
  (cbrt (* (+ d (+ b c)) a))
  (cbrt (pow (* (+ d (+ b c)) a) 2))
  (cbrt (* (+ d (+ b c)) a))
  a
  (+ d (+ b c))
  (cbrt (* (+ d (+ b c)) a))
  (cbrt (pow (* (+ d (+ b c)) a) 2))
  (cbrt (sqrt (pow (* a (+ (+ b c) d)) 3)))
  (cbrt (sqrt (pow (* a (+ (+ b c) d)) 3)))
  1
  (* (+ d (+ b c)) a)
  (cbrt (pow (* a (+ (+ b c) d)) 3/2))
  (cbrt (pow (* a (+ (+ b c) d)) 3/2))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (+ (* (+ b c) (+ b c)) (* d (- d (+ b c))))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  (- (+ b c) d)
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* (+ d (+ b c)) a))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* (+ d (+ b c)) a))
  (sqrt (* (+ d (+ b c)) a))
  (log (pow (* a (+ (+ b c) d)) 3))
  (log (pow (* a (+ (+ b c) d)) 3))
  (log (pow (* a (+ (+ b c) d)) 3))
  3
  3
  (pow (* a (+ (+ b c) d)) (* (cbrt 3) (cbrt 3)))
  (pow (* a (+ (+ b c) d)) (sqrt 3))
  (* (+ d (+ b c)) a)
  (pow a 3)
  (pow (+ d (+ b c)) 3)
  (pow (* (+ d (+ b c)) a) 2)
  (log (pow (* a (+ (+ b c) d)) 3))
  (exp (pow (* a (+ (+ b c) d)) 3))
  (pow (* (+ d (+ b c)) a) 2)
  (* (+ d (+ b c)) a)
  (pow (pow (* a (+ (+ b c) d)) 3) 3)
  (pow a 3)
  (pow (+ d (+ b c)) 3)
  (pow (* a (+ (pow (+ b c) 3) (pow d 3))) 3)
  (pow (+ (* (+ b c) (+ b c)) (* d (- d (+ b c)))) 3)
  (pow (* a (- (* (+ b c) (+ b c)) (* d d))) 3)
  (pow (- (+ b c) d) 3)
  (pow (* (+ d (+ b c)) a) 2)
  (sqrt (pow (* a (+ (+ b c) d)) 3))
  (sqrt (pow (* a (+ (+ b c) d)) 3))
  (pow (* a (+ (+ b c) d)) 3/2)
  (pow (* a (+ (+ b c) d)) 3/2)
  (* (+ d (+ b c)) a)
  (log (* (+ d (+ b c)) a))
  (log (* (+ d (+ b c)) a))
  (exp (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d))))
  (cbrt (* (+ d (+ b c)) a))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* (+ d (+ b c)) a))
  (sqrt (* (+ d (+ b c)) a))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* a (+ b c))
  (* d a)
  (* a (+ b c))
  (* d a)
  (* 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))
  (* (+ d (+ b c)) a)
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (* (+ d (+ b c)) a)
  (* (+ d (+ b c)) a)
  0
  (+ (* (pow d 3) (pow a 3)) (* (* (* (* d d) (pow a 3)) (+ b c)) 3))
  (+ (* (pow d 3) (pow a 3)) (* (* (* (* d d) (pow a 3)) (+ b c)) 3))
  0
  (* (+ d (+ b c)) a)
  (* (+ d (+ b c)) a)
6.074 * * * [progress]: adding candidates to table
6.236 * [progress]: [Phase 3 of 3] Extracting.
6.236 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.237 * * * [regime-changes]: Trying 7 branch expressions: ((+ b c) (+ (+ b c) d) (* a (+ (+ b c) d)) d c b a)
6.237 * * * * [regimes]: Trying to branch on (+ b c) from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.255 * * * * [regimes]: Trying to branch on (+ (+ b c) d) from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.276 * * * * [regimes]: Trying to branch on (+ (+ b c) d) from (#<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.289 * * * * [regimes]: Trying to branch on (* a (+ (+ b c) d)) from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.310 * * * * [regimes]: Trying to branch on (* a (+ (+ b c) d)) from (#<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.324 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.343 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.362 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.382 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))> #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (cbrt (pow (* a (+ (+ b c) d)) 3)))>)
6.400 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.400 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* a (+ b c)) (* a d))
6.400 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
6.401 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
6.401 * * [simplify]: iteration  done :  12  enodes  (cost  9 )
6.401 * [simplify]: Simplified to:
   (+ (* a (+ b c)) (* a d))
7.090 * [regime-testing]: Baseline error score: 0.040380047505938245
7.090 * [regime-testing]: Oracle error score: 0.014001750218777347
7.091 * [regime-testing]: End program error score: 0.040380047505938245
7.113 * [regime-testing]: Target error score: 0.040005000625078134