15.352 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* a (+ (+ b c) d))
0.025 * * [simplify]: iteration  0 :  18  enodes  (cost  3 )
0.026 * * [simplify]: iteration  1 :  39  enodes  (cost  3 )
0.028 * * [simplify]: iteration  2 :  65  enodes  (cost  3 )
0.029 * * [simplify]: iteration  3 :  70  enodes  (cost  3 )
0.031 * * [simplify]: iteration  4 :  70  enodes  (cost  3 )
0.031 * [simplify]: Simplified to:
   (* a (+ (+ b c) d))
0.031 * * [progress]: iteration 1 / 4
0.031 * * * [progress]: picking best candidate
0.032 * * * * [pick]: Picked  #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
0.032 * * * [progress]: localizing error
0.037 * * * [progress]: generating rewritten candidates
0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.109 * * * [progress]: generating series expansions
0.109 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.109 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
0.109 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
0.109 * [taylor]: Taking taylor expansion of a in d
0.109 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.109 * [taylor]: Taking taylor expansion of d in d
0.109 * [taylor]: Taking taylor expansion of (+ b c) in d
0.109 * [taylor]: Taking taylor expansion of b in d
0.109 * [taylor]: Taking taylor expansion of c in d
0.109 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
0.109 * [taylor]: Taking taylor expansion of a in c
0.109 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.109 * [taylor]: Taking taylor expansion of d in c
0.109 * [taylor]: Taking taylor expansion of (+ b c) in c
0.109 * [taylor]: Taking taylor expansion of b in c
0.109 * [taylor]: Taking taylor expansion of c in c
0.109 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
0.109 * [taylor]: Taking taylor expansion of a in b
0.109 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.109 * [taylor]: Taking taylor expansion of d in b
0.109 * [taylor]: Taking taylor expansion of (+ b c) in b
0.109 * [taylor]: Taking taylor expansion of b in b
0.109 * [taylor]: Taking taylor expansion of c in b
0.109 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.109 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.109 * [taylor]: Taking taylor expansion of d in a
0.109 * [taylor]: Taking taylor expansion of (+ b c) in a
0.109 * [taylor]: Taking taylor expansion of b in a
0.109 * [taylor]: Taking taylor expansion of c in a
0.109 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.109 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.109 * [taylor]: Taking taylor expansion of d in a
0.109 * [taylor]: Taking taylor expansion of (+ b c) in a
0.109 * [taylor]: Taking taylor expansion of b in a
0.109 * [taylor]: Taking taylor expansion of c in a
0.110 * [taylor]: Taking taylor expansion of 0 in b
0.110 * [taylor]: Taking taylor expansion of 0 in c
0.110 * [taylor]: Taking taylor expansion of 0 in d
0.111 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
0.111 * [taylor]: Taking taylor expansion of d in b
0.111 * [taylor]: Taking taylor expansion of (+ c b) in b
0.111 * [taylor]: Taking taylor expansion of c in b
0.111 * [taylor]: Taking taylor expansion of b in b
0.111 * [taylor]: Taking taylor expansion of (+ d c) in c
0.111 * [taylor]: Taking taylor expansion of d in c
0.111 * [taylor]: Taking taylor expansion of c in c
0.111 * [taylor]: Taking taylor expansion of d in d
0.111 * [taylor]: Taking taylor expansion of 0 in c
0.111 * [taylor]: Taking taylor expansion of 0 in d
0.111 * [taylor]: Taking taylor expansion of 0 in d
0.112 * [taylor]: Taking taylor expansion of 0 in b
0.112 * [taylor]: Taking taylor expansion of 0 in c
0.112 * [taylor]: Taking taylor expansion of 0 in d
0.112 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.112 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.112 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.112 * [taylor]: Taking taylor expansion of d in d
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.112 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.112 * [taylor]: Taking taylor expansion of c in d
0.112 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.112 * [taylor]: Taking taylor expansion of b in d
0.112 * [taylor]: Taking taylor expansion of a in d
0.113 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.113 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.113 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.113 * [taylor]: Taking taylor expansion of d in c
0.113 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.113 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.113 * [taylor]: Taking taylor expansion of c in c
0.113 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.113 * [taylor]: Taking taylor expansion of b in c
0.113 * [taylor]: Taking taylor expansion of a in c
0.113 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.114 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.114 * [taylor]: Taking taylor expansion of d in b
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.114 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.114 * [taylor]: Taking taylor expansion of c in b
0.114 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.114 * [taylor]: Taking taylor expansion of b in b
0.114 * [taylor]: Taking taylor expansion of a in b
0.114 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.114 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.114 * [taylor]: Taking taylor expansion of d in a
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.114 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.114 * [taylor]: Taking taylor expansion of c in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.115 * [taylor]: Taking taylor expansion of b in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.115 * [taylor]: Taking taylor expansion of d in a
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.115 * [taylor]: Taking taylor expansion of c in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.115 * [taylor]: Taking taylor expansion of b in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.115 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.115 * [taylor]: Taking taylor expansion of d in b
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.115 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.115 * [taylor]: Taking taylor expansion of c in b
0.115 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.115 * [taylor]: Taking taylor expansion of b in b
0.116 * [taylor]: Taking taylor expansion of 1 in c
0.117 * [taylor]: Taking taylor expansion of 0 in b
0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.118 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.118 * [taylor]: Taking taylor expansion of c in c
0.118 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.118 * [taylor]: Taking taylor expansion of d in c
0.118 * [taylor]: Taking taylor expansion of 1 in d
0.118 * [taylor]: Taking taylor expansion of 1 in d
0.120 * [taylor]: Taking taylor expansion of 0 in b
0.120 * [taylor]: Taking taylor expansion of 0 in c
0.121 * [taylor]: Taking taylor expansion of 0 in c
0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.121 * [taylor]: Taking taylor expansion of d in d
0.121 * [taylor]: Taking taylor expansion of 0 in d
0.122 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.122 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.124 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.124 * [taylor]: Taking taylor expansion of d in d
0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.125 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.125 * [taylor]: Taking taylor expansion of c in d
0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.125 * [taylor]: Taking taylor expansion of b in d
0.125 * [taylor]: Taking taylor expansion of a in d
0.125 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.125 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.125 * [taylor]: Taking taylor expansion of d in c
0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.125 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.125 * [taylor]: Taking taylor expansion of c in c
0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.125 * [taylor]: Taking taylor expansion of b in c
0.125 * [taylor]: Taking taylor expansion of a in c
0.126 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.126 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.126 * [taylor]: Taking taylor expansion of d in b
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.126 * [taylor]: Taking taylor expansion of c in b
0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.126 * [taylor]: Taking taylor expansion of b in b
0.126 * [taylor]: Taking taylor expansion of a in b
0.127 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.127 * [taylor]: Taking taylor expansion of d in a
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.127 * [taylor]: Taking taylor expansion of c in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.127 * [taylor]: Taking taylor expansion of b in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.127 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.127 * [taylor]: Taking taylor expansion of d in a
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.127 * [taylor]: Taking taylor expansion of c in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.127 * [taylor]: Taking taylor expansion of b in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.128 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.128 * [taylor]: Taking taylor expansion of d in b
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.128 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.128 * [taylor]: Taking taylor expansion of c in b
0.128 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.128 * [taylor]: Taking taylor expansion of b in b
0.128 * [taylor]: Taking taylor expansion of 1 in c
0.130 * [taylor]: Taking taylor expansion of 0 in b
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.130 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.130 * [taylor]: Taking taylor expansion of c in c
0.130 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.130 * [taylor]: Taking taylor expansion of d in c
0.131 * [taylor]: Taking taylor expansion of 1 in d
0.131 * [taylor]: Taking taylor expansion of 1 in d
0.132 * [taylor]: Taking taylor expansion of 0 in b
0.132 * [taylor]: Taking taylor expansion of 0 in c
0.133 * [taylor]: Taking taylor expansion of 0 in c
0.133 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.133 * [taylor]: Taking taylor expansion of d in d
0.134 * [taylor]: Taking taylor expansion of 0 in d
0.134 * * * [progress]: simplifying candidates
0.135 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 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.137 * * [simplify]: iteration  0 :  146  enodes  (cost  114 )
0.141 * * [simplify]: iteration  1 :  738  enodes  (cost  100 )
0.158 * * [simplify]: iteration  2 :  4526  enodes  (cost  100 )
0.227 * * [simplify]: iteration  3 :  5001  enodes  (cost  100 )
0.228 * [simplify]: Simplified to:
   (* a (+ (+ b c) d))
  (log (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (pow (* a (+ (+ b c) d)) 3)
  (* (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)))
  (* (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))
  (* a (+ (+ b c) d))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  0
  (* a (+ (+ b c) d))
  (* a (+ (+ b c) d))
0.228 * * * [progress]: adding candidates to table
0.264 * * [progress]: iteration 2 / 4
0.264 * * * [progress]: picking best candidate
0.269 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>
0.269 * * * [progress]: localizing error
0.275 * * * [progress]: generating rewritten candidates
0.275 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.288 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.307 * * * [progress]: generating series expansions
0.307 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.307 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (a b c d) around 0
0.308 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
0.308 * [taylor]: Taking taylor expansion of (* d a) in d
0.308 * [taylor]: Taking taylor expansion of d in d
0.308 * [taylor]: Taking taylor expansion of a in d
0.308 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
0.308 * [taylor]: Taking taylor expansion of (* a b) in d
0.308 * [taylor]: Taking taylor expansion of a in d
0.308 * [taylor]: Taking taylor expansion of b in d
0.308 * [taylor]: Taking taylor expansion of (* a c) in d
0.308 * [taylor]: Taking taylor expansion of a in d
0.308 * [taylor]: Taking taylor expansion of c in d
0.308 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
0.308 * [taylor]: Taking taylor expansion of (* d a) in c
0.308 * [taylor]: Taking taylor expansion of d in c
0.308 * [taylor]: Taking taylor expansion of a in c
0.308 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
0.308 * [taylor]: Taking taylor expansion of (* a b) in c
0.308 * [taylor]: Taking taylor expansion of a in c
0.308 * [taylor]: Taking taylor expansion of b in c
0.308 * [taylor]: Taking taylor expansion of (* a c) in c
0.308 * [taylor]: Taking taylor expansion of a in c
0.308 * [taylor]: Taking taylor expansion of c in c
0.308 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
0.308 * [taylor]: Taking taylor expansion of (* d a) in b
0.308 * [taylor]: Taking taylor expansion of d in b
0.308 * [taylor]: Taking taylor expansion of a in b
0.308 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
0.308 * [taylor]: Taking taylor expansion of (* a b) in b
0.308 * [taylor]: Taking taylor expansion of a in b
0.308 * [taylor]: Taking taylor expansion of b in b
0.308 * [taylor]: Taking taylor expansion of (* a c) in b
0.308 * [taylor]: Taking taylor expansion of a in b
0.308 * [taylor]: Taking taylor expansion of c in b
0.308 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
0.308 * [taylor]: Taking taylor expansion of (* d a) in a
0.308 * [taylor]: Taking taylor expansion of d in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
0.308 * [taylor]: Taking taylor expansion of (* a b) in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of b in a
0.308 * [taylor]: Taking taylor expansion of (* a c) in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of c in a
0.308 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
0.308 * [taylor]: Taking taylor expansion of (* d a) in a
0.308 * [taylor]: Taking taylor expansion of d in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
0.308 * [taylor]: Taking taylor expansion of (* a b) in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of b in a
0.308 * [taylor]: Taking taylor expansion of (* a c) in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of c in a
0.309 * [taylor]: Taking taylor expansion of 0 in b
0.309 * [taylor]: Taking taylor expansion of 0 in c
0.309 * [taylor]: Taking taylor expansion of 0 in d
0.310 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.310 * [taylor]: Taking taylor expansion of d in b
0.310 * [taylor]: Taking taylor expansion of (+ b c) in b
0.310 * [taylor]: Taking taylor expansion of b in b
0.310 * [taylor]: Taking taylor expansion of c in b
0.310 * [taylor]: Taking taylor expansion of (+ d c) in c
0.310 * [taylor]: Taking taylor expansion of d in c
0.310 * [taylor]: Taking taylor expansion of c in c
0.310 * [taylor]: Taking taylor expansion of d in d
0.310 * [taylor]: Taking taylor expansion of 0 in c
0.310 * [taylor]: Taking taylor expansion of 0 in d
0.310 * [taylor]: Taking taylor expansion of 0 in d
0.312 * [taylor]: Taking taylor expansion of 0 in b
0.312 * [taylor]: Taking taylor expansion of 0 in c
0.312 * [taylor]: Taking taylor expansion of 0 in d
0.312 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (a b c d) around 0
0.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
0.312 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
0.312 * [taylor]: Taking taylor expansion of (* a b) in d
0.312 * [taylor]: Taking taylor expansion of a in d
0.312 * [taylor]: Taking taylor expansion of b in d
0.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
0.312 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.312 * [taylor]: Taking taylor expansion of (* d a) in d
0.312 * [taylor]: Taking taylor expansion of d in d
0.312 * [taylor]: Taking taylor expansion of a in d
0.312 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.312 * [taylor]: Taking taylor expansion of (* a c) in d
0.312 * [taylor]: Taking taylor expansion of a in d
0.312 * [taylor]: Taking taylor expansion of c in d
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.313 * [taylor]: Taking taylor expansion of (* a b) in c
0.313 * [taylor]: Taking taylor expansion of a in c
0.313 * [taylor]: Taking taylor expansion of b in c
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.313 * [taylor]: Taking taylor expansion of (* d a) in c
0.313 * [taylor]: Taking taylor expansion of d in c
0.313 * [taylor]: Taking taylor expansion of a in c
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.313 * [taylor]: Taking taylor expansion of (* a c) in c
0.313 * [taylor]: Taking taylor expansion of a in c
0.313 * [taylor]: Taking taylor expansion of c in c
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.313 * [taylor]: Taking taylor expansion of (* a b) in b
0.313 * [taylor]: Taking taylor expansion of a in b
0.313 * [taylor]: Taking taylor expansion of b in b
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.313 * [taylor]: Taking taylor expansion of (* d a) in b
0.313 * [taylor]: Taking taylor expansion of d in b
0.314 * [taylor]: Taking taylor expansion of a in b
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.314 * [taylor]: Taking taylor expansion of (* a c) in b
0.314 * [taylor]: Taking taylor expansion of a in b
0.314 * [taylor]: Taking taylor expansion of c in b
0.314 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.314 * [taylor]: Taking taylor expansion of (* a b) in a
0.314 * [taylor]: Taking taylor expansion of a in a
0.314 * [taylor]: Taking taylor expansion of b in a
0.314 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.314 * [taylor]: Taking taylor expansion of (* d a) in a
0.314 * [taylor]: Taking taylor expansion of d in a
0.314 * [taylor]: Taking taylor expansion of a in a
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.314 * [taylor]: Taking taylor expansion of (* a c) in a
0.314 * [taylor]: Taking taylor expansion of a in a
0.314 * [taylor]: Taking taylor expansion of c in a
0.315 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
0.315 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.315 * [taylor]: Taking taylor expansion of (* a b) in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.315 * [taylor]: Taking taylor expansion of b in a
0.315 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.315 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.315 * [taylor]: Taking taylor expansion of (* d a) in a
0.315 * [taylor]: Taking taylor expansion of d in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.315 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.315 * [taylor]: Taking taylor expansion of (* a c) in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.315 * [taylor]: Taking taylor expansion of c in a
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.316 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.316 * [taylor]: Taking taylor expansion of c in b
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.316 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.316 * [taylor]: Taking taylor expansion of d in b
0.316 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.316 * [taylor]: Taking taylor expansion of b in b
0.317 * [taylor]: Taking taylor expansion of 1 in c
0.318 * [taylor]: Taking taylor expansion of 0 in b
0.319 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.319 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.319 * [taylor]: Taking taylor expansion of d in c
0.319 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.319 * [taylor]: Taking taylor expansion of c in c
0.319 * [taylor]: Taking taylor expansion of 1 in d
0.319 * [taylor]: Taking taylor expansion of 1 in d
0.322 * [taylor]: Taking taylor expansion of 0 in b
0.322 * [taylor]: Taking taylor expansion of 0 in c
0.323 * [taylor]: Taking taylor expansion of 0 in c
0.323 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.323 * [taylor]: Taking taylor expansion of d in d
0.323 * [taylor]: Taking taylor expansion of 0 in d
0.324 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in (a b c d) around 0
0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in d
0.324 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
0.324 * [taylor]: Taking taylor expansion of (* a b) in d
0.324 * [taylor]: Taking taylor expansion of a in d
0.324 * [taylor]: Taking taylor expansion of b in d
0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in d
0.324 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.324 * [taylor]: Taking taylor expansion of (* d a) in d
0.324 * [taylor]: Taking taylor expansion of d in d
0.324 * [taylor]: Taking taylor expansion of a in d
0.324 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.325 * [taylor]: Taking taylor expansion of (* a c) in d
0.325 * [taylor]: Taking taylor expansion of a in d
0.325 * [taylor]: Taking taylor expansion of c in d
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in c
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.325 * [taylor]: Taking taylor expansion of (* a b) in c
0.325 * [taylor]: Taking taylor expansion of a in c
0.325 * [taylor]: Taking taylor expansion of b in c
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in c
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.325 * [taylor]: Taking taylor expansion of (* d a) in c
0.325 * [taylor]: Taking taylor expansion of d in c
0.325 * [taylor]: Taking taylor expansion of a in c
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.325 * [taylor]: Taking taylor expansion of (* a c) in c
0.325 * [taylor]: Taking taylor expansion of a in c
0.325 * [taylor]: Taking taylor expansion of c in c
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in b
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.325 * [taylor]: Taking taylor expansion of (* a b) in b
0.325 * [taylor]: Taking taylor expansion of a in b
0.325 * [taylor]: Taking taylor expansion of b in b
0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in b
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.326 * [taylor]: Taking taylor expansion of (* d a) in b
0.326 * [taylor]: Taking taylor expansion of d in b
0.326 * [taylor]: Taking taylor expansion of a in b
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.326 * [taylor]: Taking taylor expansion of (* a c) in b
0.326 * [taylor]: Taking taylor expansion of a in b
0.326 * [taylor]: Taking taylor expansion of c in b
0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.326 * [taylor]: Taking taylor expansion of (* a b) in a
0.326 * [taylor]: Taking taylor expansion of a in a
0.326 * [taylor]: Taking taylor expansion of b in a
0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.326 * [taylor]: Taking taylor expansion of (* d a) in a
0.326 * [taylor]: Taking taylor expansion of d in a
0.326 * [taylor]: Taking taylor expansion of a in a
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.326 * [taylor]: Taking taylor expansion of (* a c) in a
0.327 * [taylor]: Taking taylor expansion of a in a
0.327 * [taylor]: Taking taylor expansion of c in a
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* d a)) (/ 1 (* a c)))) in a
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.327 * [taylor]: Taking taylor expansion of (* a b) in a
0.327 * [taylor]: Taking taylor expansion of a in a
0.327 * [taylor]: Taking taylor expansion of b in a
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.327 * [taylor]: Taking taylor expansion of (* d a) in a
0.327 * [taylor]: Taking taylor expansion of d in a
0.327 * [taylor]: Taking taylor expansion of a in a
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.328 * [taylor]: Taking taylor expansion of (* a c) in a
0.328 * [taylor]: Taking taylor expansion of a in a
0.328 * [taylor]: Taking taylor expansion of c in a
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.328 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.328 * [taylor]: Taking taylor expansion of c in b
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.328 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.328 * [taylor]: Taking taylor expansion of d in b
0.328 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.328 * [taylor]: Taking taylor expansion of b in b
0.329 * [taylor]: Taking taylor expansion of 1 in c
0.331 * [taylor]: Taking taylor expansion of 0 in b
0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.331 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.331 * [taylor]: Taking taylor expansion of d in c
0.331 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.331 * [taylor]: Taking taylor expansion of c in c
0.332 * [taylor]: Taking taylor expansion of 1 in d
0.332 * [taylor]: Taking taylor expansion of 1 in d
0.334 * [taylor]: Taking taylor expansion of 0 in b
0.334 * [taylor]: Taking taylor expansion of 0 in c
0.335 * [taylor]: Taking taylor expansion of 0 in c
0.336 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.336 * [taylor]: Taking taylor expansion of d in d
0.336 * [taylor]: Taking taylor expansion of 0 in d
0.339 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.339 * [approximate]: Taking taylor expansion of (* a (+ b c)) in (a b c) around 0
0.339 * [taylor]: Taking taylor expansion of (* a (+ b c)) in c
0.339 * [taylor]: Taking taylor expansion of a in c
0.339 * [taylor]: Taking taylor expansion of (+ b c) in c
0.339 * [taylor]: Taking taylor expansion of b in c
0.339 * [taylor]: Taking taylor expansion of c in c
0.339 * [taylor]: Taking taylor expansion of (* a (+ b c)) in b
0.339 * [taylor]: Taking taylor expansion of a in b
0.339 * [taylor]: Taking taylor expansion of (+ b c) in b
0.339 * [taylor]: Taking taylor expansion of b in b
0.339 * [taylor]: Taking taylor expansion of c in b
0.339 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
0.339 * [taylor]: Taking taylor expansion of a in a
0.339 * [taylor]: Taking taylor expansion of (+ b c) in a
0.339 * [taylor]: Taking taylor expansion of b in a
0.339 * [taylor]: Taking taylor expansion of c in a
0.339 * [taylor]: Taking taylor expansion of (* a (+ b c)) in a
0.339 * [taylor]: Taking taylor expansion of a in a
0.339 * [taylor]: Taking taylor expansion of (+ b c) in a
0.339 * [taylor]: Taking taylor expansion of b in a
0.339 * [taylor]: Taking taylor expansion of c in a
0.340 * [taylor]: Taking taylor expansion of 0 in b
0.340 * [taylor]: Taking taylor expansion of 0 in c
0.340 * [taylor]: Taking taylor expansion of (+ c b) in b
0.340 * [taylor]: Taking taylor expansion of c in b
0.340 * [taylor]: Taking taylor expansion of b in b
0.340 * [taylor]: Taking taylor expansion of c in c
0.340 * [taylor]: Taking taylor expansion of 0 in c
0.341 * [taylor]: Taking taylor expansion of 0 in b
0.341 * [taylor]: Taking taylor expansion of 0 in c
0.341 * [taylor]: Taking taylor expansion of 1 in c
0.341 * [taylor]: Taking taylor expansion of 0 in c
0.342 * [taylor]: Taking taylor expansion of 0 in b
0.342 * [taylor]: Taking taylor expansion of 0 in c
0.342 * [taylor]: Taking taylor expansion of 0 in c
0.343 * [taylor]: Taking taylor expansion of 0 in c
0.343 * [taylor]: Taking taylor expansion of 0 in c
0.343 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (a b c) around 0
0.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
0.343 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.343 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.343 * [taylor]: Taking taylor expansion of c in c
0.343 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.343 * [taylor]: Taking taylor expansion of b in c
0.343 * [taylor]: Taking taylor expansion of a in c
0.344 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
0.344 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.344 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.344 * [taylor]: Taking taylor expansion of c in b
0.344 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.344 * [taylor]: Taking taylor expansion of b in b
0.344 * [taylor]: Taking taylor expansion of a in b
0.344 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
0.344 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.344 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.344 * [taylor]: Taking taylor expansion of c in a
0.344 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.344 * [taylor]: Taking taylor expansion of b in a
0.344 * [taylor]: Taking taylor expansion of a in a
0.344 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
0.344 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.344 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.344 * [taylor]: Taking taylor expansion of c in a
0.344 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.344 * [taylor]: Taking taylor expansion of b in a
0.345 * [taylor]: Taking taylor expansion of a in a
0.345 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.345 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.345 * [taylor]: Taking taylor expansion of c in b
0.345 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.345 * [taylor]: Taking taylor expansion of b in b
0.345 * [taylor]: Taking taylor expansion of 1 in c
0.346 * [taylor]: Taking taylor expansion of 0 in b
0.347 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.347 * [taylor]: Taking taylor expansion of c in c
0.348 * [taylor]: Taking taylor expansion of 0 in b
0.348 * [taylor]: Taking taylor expansion of 0 in c
0.349 * [taylor]: Taking taylor expansion of 0 in c
0.350 * [taylor]: Taking taylor expansion of 0 in b
0.351 * [taylor]: Taking taylor expansion of 0 in c
0.351 * [taylor]: Taking taylor expansion of 0 in c
0.351 * [taylor]: Taking taylor expansion of 0 in c
0.352 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in (a b c) around 0
0.352 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in c
0.352 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.352 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.352 * [taylor]: Taking taylor expansion of c in c
0.352 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.352 * [taylor]: Taking taylor expansion of b in c
0.352 * [taylor]: Taking taylor expansion of a in c
0.353 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in b
0.353 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.353 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.353 * [taylor]: Taking taylor expansion of c in b
0.353 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.353 * [taylor]: Taking taylor expansion of b in b
0.353 * [taylor]: Taking taylor expansion of a in b
0.353 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
0.353 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.353 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.353 * [taylor]: Taking taylor expansion of c in a
0.353 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.353 * [taylor]: Taking taylor expansion of b in a
0.353 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 c) (/ 1 b)) a) in a
0.354 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.354 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.354 * [taylor]: Taking taylor expansion of c in a
0.354 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.354 * [taylor]: Taking taylor expansion of b in a
0.354 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.354 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.354 * [taylor]: Taking taylor expansion of c in b
0.354 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.354 * [taylor]: Taking taylor expansion of b in b
0.354 * [taylor]: Taking taylor expansion of 1 in c
0.355 * [taylor]: Taking taylor expansion of 0 in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.356 * [taylor]: Taking taylor expansion of c in c
0.357 * [taylor]: Taking taylor expansion of 0 in b
0.357 * [taylor]: Taking taylor expansion of 0 in c
0.358 * [taylor]: Taking taylor expansion of 0 in c
0.360 * [taylor]: Taking taylor expansion of 0 in b
0.360 * [taylor]: Taking taylor expansion of 0 in c
0.360 * [taylor]: Taking taylor expansion of 0 in c
0.361 * [taylor]: Taking taylor expansion of 0 in c
0.361 * * * [progress]: simplifying candidates
0.362 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (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))
0.366 * * [simplify]: iteration  0 :  213  enodes  (cost  177 )
0.371 * * [simplify]: iteration  1 :  995  enodes  (cost  159 )
0.397 * * [simplify]: iteration  2 :  5002  enodes  (cost  156 )
0.398 * [simplify]: Simplified to:
   (exp (* a (+ (+ b c) d)))
  (log (* a (+ (+ b c) d)))
  (exp (* a (+ (+ b c) d)))
  (* (cbrt (+ (* a (+ b c)) (* a d))) (cbrt (+ (* a (+ b c)) (* a d))))
  (cbrt (+ (* a (+ b c)) (* a d)))
  (pow (* a (+ (+ b c) d)) 3)
  (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))) (* d (* 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)))
  (* a b)
  (* a c)
  (* a b)
  (* 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))
0.398 * * * [progress]: adding candidates to table
0.465 * * [progress]: iteration 3 / 4
0.465 * * * [progress]: picking best candidate
0.467 * * * * [pick]: Picked  #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>
0.467 * * * [progress]: localizing error
0.473 * * * [progress]: generating rewritten candidates
0.473 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.483 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.502 * * * [progress]: generating series expansions
0.502 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.502 * [approximate]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in (b a c d) around 0
0.502 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in d
0.502 * [taylor]: Taking taylor expansion of (* d a) in d
0.502 * [taylor]: Taking taylor expansion of d in d
0.502 * [taylor]: Taking taylor expansion of a in d
0.502 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in d
0.502 * [taylor]: Taking taylor expansion of (* a b) in d
0.502 * [taylor]: Taking taylor expansion of a in d
0.502 * [taylor]: Taking taylor expansion of b in d
0.502 * [taylor]: Taking taylor expansion of (* a c) in d
0.502 * [taylor]: Taking taylor expansion of a in d
0.502 * [taylor]: Taking taylor expansion of c in d
0.502 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in c
0.502 * [taylor]: Taking taylor expansion of (* d a) in c
0.502 * [taylor]: Taking taylor expansion of d in c
0.502 * [taylor]: Taking taylor expansion of a in c
0.502 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in c
0.502 * [taylor]: Taking taylor expansion of (* a b) in c
0.502 * [taylor]: Taking taylor expansion of a in c
0.503 * [taylor]: Taking taylor expansion of b in c
0.503 * [taylor]: Taking taylor expansion of (* a c) in c
0.503 * [taylor]: Taking taylor expansion of a in c
0.503 * [taylor]: Taking taylor expansion of c in c
0.503 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in a
0.503 * [taylor]: Taking taylor expansion of (* d a) in a
0.503 * [taylor]: Taking taylor expansion of d in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in a
0.503 * [taylor]: Taking taylor expansion of (* a b) in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of b in a
0.503 * [taylor]: Taking taylor expansion of (* a c) in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of c in a
0.503 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
0.503 * [taylor]: Taking taylor expansion of (* d a) in b
0.503 * [taylor]: Taking taylor expansion of d in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
0.503 * [taylor]: Taking taylor expansion of (* a b) in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of b in b
0.503 * [taylor]: Taking taylor expansion of (* a c) in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of c in b
0.503 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* a b) (* a c))) in b
0.503 * [taylor]: Taking taylor expansion of (* d a) in b
0.503 * [taylor]: Taking taylor expansion of d in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of (+ (* a b) (* a c)) in b
0.503 * [taylor]: Taking taylor expansion of (* a b) in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of b in b
0.503 * [taylor]: Taking taylor expansion of (* a c) in b
0.503 * [taylor]: Taking taylor expansion of a in b
0.503 * [taylor]: Taking taylor expansion of c in b
0.503 * [taylor]: Taking taylor expansion of (+ (* d a) (* a c)) in a
0.503 * [taylor]: Taking taylor expansion of (* d a) in a
0.503 * [taylor]: Taking taylor expansion of d in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of (* a c) in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of c in a
0.504 * [taylor]: Taking taylor expansion of 0 in c
0.504 * [taylor]: Taking taylor expansion of 0 in d
0.504 * [taylor]: Taking taylor expansion of a in a
0.504 * [taylor]: Taking taylor expansion of 0 in c
0.504 * [taylor]: Taking taylor expansion of 0 in d
0.505 * [taylor]: Taking taylor expansion of (+ d c) in c
0.505 * [taylor]: Taking taylor expansion of d in c
0.505 * [taylor]: Taking taylor expansion of c in c
0.505 * [taylor]: Taking taylor expansion of d in d
0.505 * [taylor]: Taking taylor expansion of 0 in d
0.506 * [taylor]: Taking taylor expansion of 0 in a
0.506 * [taylor]: Taking taylor expansion of 0 in c
0.506 * [taylor]: Taking taylor expansion of 0 in d
0.506 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in (b a c d) around 0
0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in d
0.506 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
0.506 * [taylor]: Taking taylor expansion of (* a b) in d
0.506 * [taylor]: Taking taylor expansion of a in d
0.506 * [taylor]: Taking taylor expansion of b in d
0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in d
0.506 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.506 * [taylor]: Taking taylor expansion of (* a c) in d
0.506 * [taylor]: Taking taylor expansion of a in d
0.506 * [taylor]: Taking taylor expansion of c in d
0.506 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.506 * [taylor]: Taking taylor expansion of (* d a) in d
0.506 * [taylor]: Taking taylor expansion of d in d
0.507 * [taylor]: Taking taylor expansion of a in d
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in c
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.507 * [taylor]: Taking taylor expansion of (* a b) in c
0.507 * [taylor]: Taking taylor expansion of a in c
0.507 * [taylor]: Taking taylor expansion of b in c
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.507 * [taylor]: Taking taylor expansion of (* a c) in c
0.507 * [taylor]: Taking taylor expansion of a in c
0.507 * [taylor]: Taking taylor expansion of c in c
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.507 * [taylor]: Taking taylor expansion of (* d a) in c
0.507 * [taylor]: Taking taylor expansion of d in c
0.507 * [taylor]: Taking taylor expansion of a in c
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in a
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.507 * [taylor]: Taking taylor expansion of (* a b) in a
0.507 * [taylor]: Taking taylor expansion of a in a
0.507 * [taylor]: Taking taylor expansion of b in a
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in a
0.508 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.508 * [taylor]: Taking taylor expansion of (* a c) in a
0.508 * [taylor]: Taking taylor expansion of a in a
0.508 * [taylor]: Taking taylor expansion of c in a
0.508 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.508 * [taylor]: Taking taylor expansion of (* d a) in a
0.508 * [taylor]: Taking taylor expansion of d in a
0.508 * [taylor]: Taking taylor expansion of a in a
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in b
0.508 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.508 * [taylor]: Taking taylor expansion of (* a b) in b
0.508 * [taylor]: Taking taylor expansion of a in b
0.508 * [taylor]: Taking taylor expansion of b in b
0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in b
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.509 * [taylor]: Taking taylor expansion of (* a c) in b
0.509 * [taylor]: Taking taylor expansion of a in b
0.509 * [taylor]: Taking taylor expansion of c in b
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.509 * [taylor]: Taking taylor expansion of (* d a) in b
0.509 * [taylor]: Taking taylor expansion of d in b
0.509 * [taylor]: Taking taylor expansion of a in b
0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in b
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.509 * [taylor]: Taking taylor expansion of (* a b) in b
0.509 * [taylor]: Taking taylor expansion of a in b
0.509 * [taylor]: Taking taylor expansion of b in b
0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in b
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.509 * [taylor]: Taking taylor expansion of (* a c) in b
0.509 * [taylor]: Taking taylor expansion of a in b
0.509 * [taylor]: Taking taylor expansion of c in b
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.509 * [taylor]: Taking taylor expansion of (* d a) in b
0.509 * [taylor]: Taking taylor expansion of d in b
0.509 * [taylor]: Taking taylor expansion of a in b
0.510 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.510 * [taylor]: Taking taylor expansion of a in a
0.510 * [taylor]: Taking taylor expansion of 1 in c
0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.510 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.510 * [taylor]: Taking taylor expansion of (* d a) in a
0.510 * [taylor]: Taking taylor expansion of d in a
0.510 * [taylor]: Taking taylor expansion of a in a
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.511 * [taylor]: Taking taylor expansion of (* a c) in a
0.511 * [taylor]: Taking taylor expansion of a in a
0.511 * [taylor]: Taking taylor expansion of c in a
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.511 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.511 * [taylor]: Taking taylor expansion of c in c
0.511 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.511 * [taylor]: Taking taylor expansion of d in c
0.512 * [taylor]: Taking taylor expansion of 1 in d
0.512 * [taylor]: Taking taylor expansion of 0 in c
0.512 * [taylor]: Taking taylor expansion of 1 in d
0.513 * [taylor]: Taking taylor expansion of 0 in a
0.514 * [taylor]: Taking taylor expansion of 0 in c
0.515 * [taylor]: Taking taylor expansion of 0 in c
0.515 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.515 * [taylor]: Taking taylor expansion of d in d
0.515 * [taylor]: Taking taylor expansion of 0 in d
0.515 * [taylor]: Taking taylor expansion of 0 in d
0.516 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in (b a c d) around 0
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in d
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in d
0.516 * [taylor]: Taking taylor expansion of (* a b) in d
0.516 * [taylor]: Taking taylor expansion of a in d
0.516 * [taylor]: Taking taylor expansion of b in d
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in d
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.516 * [taylor]: Taking taylor expansion of (* a c) in d
0.516 * [taylor]: Taking taylor expansion of a in d
0.516 * [taylor]: Taking taylor expansion of c in d
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.516 * [taylor]: Taking taylor expansion of (* d a) in d
0.516 * [taylor]: Taking taylor expansion of d in d
0.516 * [taylor]: Taking taylor expansion of a in d
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in c
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.516 * [taylor]: Taking taylor expansion of (* a b) in c
0.516 * [taylor]: Taking taylor expansion of a in c
0.516 * [taylor]: Taking taylor expansion of b in c
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in c
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.517 * [taylor]: Taking taylor expansion of (* a c) in c
0.517 * [taylor]: Taking taylor expansion of a in c
0.517 * [taylor]: Taking taylor expansion of c in c
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.517 * [taylor]: Taking taylor expansion of (* d a) in c
0.517 * [taylor]: Taking taylor expansion of d in c
0.517 * [taylor]: Taking taylor expansion of a in c
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in a
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.517 * [taylor]: Taking taylor expansion of (* a b) in a
0.517 * [taylor]: Taking taylor expansion of a in a
0.517 * [taylor]: Taking taylor expansion of b in a
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in a
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.517 * [taylor]: Taking taylor expansion of (* a c) in a
0.517 * [taylor]: Taking taylor expansion of a in a
0.517 * [taylor]: Taking taylor expansion of c in a
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.518 * [taylor]: Taking taylor expansion of (* d a) in a
0.518 * [taylor]: Taking taylor expansion of d in a
0.518 * [taylor]: Taking taylor expansion of a in a
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.518 * [taylor]: Taking taylor expansion of (* a b) in b
0.518 * [taylor]: Taking taylor expansion of a in b
0.518 * [taylor]: Taking taylor expansion of b in b
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.518 * [taylor]: Taking taylor expansion of (* a c) in b
0.518 * [taylor]: Taking taylor expansion of a in b
0.518 * [taylor]: Taking taylor expansion of c in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.518 * [taylor]: Taking taylor expansion of (* d a) in b
0.519 * [taylor]: Taking taylor expansion of d in b
0.519 * [taylor]: Taking taylor expansion of a in b
0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a c)) (/ 1 (* d a)))) in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.519 * [taylor]: Taking taylor expansion of (* a b) in b
0.519 * [taylor]: Taking taylor expansion of a in b
0.519 * [taylor]: Taking taylor expansion of b in b
0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a c)) (/ 1 (* d a))) in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.519 * [taylor]: Taking taylor expansion of (* a c) in b
0.519 * [taylor]: Taking taylor expansion of a in b
0.519 * [taylor]: Taking taylor expansion of c in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.519 * [taylor]: Taking taylor expansion of (* d a) in b
0.519 * [taylor]: Taking taylor expansion of d in b
0.519 * [taylor]: Taking taylor expansion of a in b
0.519 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.519 * [taylor]: Taking taylor expansion of a in a
0.519 * [taylor]: Taking taylor expansion of 1 in c
0.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* a c))) in a
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.520 * [taylor]: Taking taylor expansion of (* d a) in a
0.520 * [taylor]: Taking taylor expansion of d in a
0.520 * [taylor]: Taking taylor expansion of a in a
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.520 * [taylor]: Taking taylor expansion of (* a c) in a
0.520 * [taylor]: Taking taylor expansion of a in a
0.520 * [taylor]: Taking taylor expansion of c in a
0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.521 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.521 * [taylor]: Taking taylor expansion of c in c
0.521 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.521 * [taylor]: Taking taylor expansion of d in c
0.521 * [taylor]: Taking taylor expansion of 1 in d
0.522 * [taylor]: Taking taylor expansion of 0 in c
0.522 * [taylor]: Taking taylor expansion of 1 in d
0.523 * [taylor]: Taking taylor expansion of 0 in a
0.524 * [taylor]: Taking taylor expansion of 0 in c
0.524 * [taylor]: Taking taylor expansion of 0 in c
0.525 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.525 * [taylor]: Taking taylor expansion of d in d
0.525 * [taylor]: Taking taylor expansion of 0 in d
0.525 * [taylor]: Taking taylor expansion of 0 in d
0.525 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.525 * [approximate]: Taking taylor expansion of (* a (+ d c)) in (a c d) around 0
0.525 * [taylor]: Taking taylor expansion of (* a (+ d c)) in d
0.525 * [taylor]: Taking taylor expansion of a in d
0.525 * [taylor]: Taking taylor expansion of (+ d c) in d
0.525 * [taylor]: Taking taylor expansion of d in d
0.525 * [taylor]: Taking taylor expansion of c in d
0.525 * [taylor]: Taking taylor expansion of (* a (+ d c)) in c
0.526 * [taylor]: Taking taylor expansion of a in c
0.526 * [taylor]: Taking taylor expansion of (+ d c) in c
0.526 * [taylor]: Taking taylor expansion of d in c
0.526 * [taylor]: Taking taylor expansion of c in c
0.526 * [taylor]: Taking taylor expansion of (* a (+ d c)) in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of (+ d c) in a
0.526 * [taylor]: Taking taylor expansion of d in a
0.526 * [taylor]: Taking taylor expansion of c in a
0.526 * [taylor]: Taking taylor expansion of (* a (+ d c)) in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of (+ d c) in a
0.526 * [taylor]: Taking taylor expansion of d in a
0.526 * [taylor]: Taking taylor expansion of c in a
0.526 * [taylor]: Taking taylor expansion of 0 in c
0.526 * [taylor]: Taking taylor expansion of 0 in d
0.526 * [taylor]: Taking taylor expansion of (+ d c) in c
0.526 * [taylor]: Taking taylor expansion of d in c
0.526 * [taylor]: Taking taylor expansion of c in c
0.526 * [taylor]: Taking taylor expansion of d in d
0.526 * [taylor]: Taking taylor expansion of 0 in d
0.527 * [taylor]: Taking taylor expansion of 0 in c
0.527 * [taylor]: Taking taylor expansion of 0 in d
0.527 * [taylor]: Taking taylor expansion of 1 in d
0.527 * [taylor]: Taking taylor expansion of 0 in d
0.528 * [taylor]: Taking taylor expansion of 0 in c
0.528 * [taylor]: Taking taylor expansion of 0 in d
0.528 * [taylor]: Taking taylor expansion of 0 in d
0.529 * [taylor]: Taking taylor expansion of 0 in d
0.529 * [taylor]: Taking taylor expansion of 0 in d
0.529 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in (a c d) around 0
0.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in d
0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
0.529 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.529 * [taylor]: Taking taylor expansion of d in d
0.529 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.529 * [taylor]: Taking taylor expansion of c in d
0.529 * [taylor]: Taking taylor expansion of a in d
0.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in c
0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.529 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.529 * [taylor]: Taking taylor expansion of d in c
0.529 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.529 * [taylor]: Taking taylor expansion of c in c
0.530 * [taylor]: Taking taylor expansion of a in c
0.530 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in a
0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a
0.530 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.530 * [taylor]: Taking taylor expansion of d in a
0.530 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.530 * [taylor]: Taking taylor expansion of c in a
0.530 * [taylor]: Taking taylor expansion of a in a
0.530 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in a
0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a
0.530 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.530 * [taylor]: Taking taylor expansion of d in a
0.530 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.530 * [taylor]: Taking taylor expansion of c in a
0.530 * [taylor]: Taking taylor expansion of a in a
0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.531 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.531 * [taylor]: Taking taylor expansion of d in c
0.531 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.531 * [taylor]: Taking taylor expansion of c in c
0.531 * [taylor]: Taking taylor expansion of 1 in d
0.532 * [taylor]: Taking taylor expansion of 0 in c
0.532 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.532 * [taylor]: Taking taylor expansion of d in d
0.534 * [taylor]: Taking taylor expansion of 0 in c
0.534 * [taylor]: Taking taylor expansion of 0 in d
0.534 * [taylor]: Taking taylor expansion of 0 in d
0.536 * [taylor]: Taking taylor expansion of 0 in c
0.536 * [taylor]: Taking taylor expansion of 0 in d
0.536 * [taylor]: Taking taylor expansion of 0 in d
0.537 * [taylor]: Taking taylor expansion of 0 in d
0.538 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in (a c d) around 0
0.538 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in d
0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d
0.538 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.538 * [taylor]: Taking taylor expansion of d in d
0.538 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.538 * [taylor]: Taking taylor expansion of c in d
0.538 * [taylor]: Taking taylor expansion of a in d
0.538 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in c
0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.538 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.538 * [taylor]: Taking taylor expansion of d in c
0.538 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.538 * [taylor]: Taking taylor expansion of c in c
0.538 * [taylor]: Taking taylor expansion of a in c
0.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in a
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a
0.539 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.539 * [taylor]: Taking taylor expansion of d in a
0.539 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.539 * [taylor]: Taking taylor expansion of c in a
0.539 * [taylor]: Taking taylor expansion of a in a
0.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (/ 1 c)) a) in a
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a
0.539 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.539 * [taylor]: Taking taylor expansion of d in a
0.539 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.539 * [taylor]: Taking taylor expansion of c in a
0.539 * [taylor]: Taking taylor expansion of a in a
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.539 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.539 * [taylor]: Taking taylor expansion of d in c
0.539 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.539 * [taylor]: Taking taylor expansion of c in c
0.540 * [taylor]: Taking taylor expansion of 1 in d
0.541 * [taylor]: Taking taylor expansion of 0 in c
0.541 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.541 * [taylor]: Taking taylor expansion of d in d
0.542 * [taylor]: Taking taylor expansion of 0 in c
0.542 * [taylor]: Taking taylor expansion of 0 in d
0.543 * [taylor]: Taking taylor expansion of 0 in d
0.545 * [taylor]: Taking taylor expansion of 0 in c
0.545 * [taylor]: Taking taylor expansion of 0 in d
0.545 * [taylor]: Taking taylor expansion of 0 in d
0.548 * [taylor]: Taking taylor expansion of 0 in d
0.549 * * * [progress]: simplifying candidates
0.549 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* b a)) (exp (* a (+ c d))))
  (log (+ (* b a) (* a (+ c d))))
  (exp (+ (* b a) (* a (+ c d))))
  (* (cbrt (+ (* b a) (* a (+ c d)))) (cbrt (+ (* b a) (* a (+ c d)))))
  (cbrt (+ (* b a) (* a (+ c d))))
  (* (* (+ (* b a) (* a (+ c d))) (+ (* b a) (* a (+ c d)))) (+ (* b a) (* a (+ c d))))
  (sqrt (+ (* b a) (* a (+ c d))))
  (sqrt (+ (* b a) (* a (+ c d))))
  (+ (pow (* b a) 3) (pow (* a (+ c d)) 3))
  (+ (* (* b a) (* b a)) (- (* (* a (+ c d)) (* a (+ c d))) (* (* b a) (* a (+ c d)))))
  (- (* (* b a) (* b a)) (* (* a (+ c d)) (* a (+ c d))))
  (- (* b a) (* a (+ c d)))
  (+ (* b a) (* a c))
  (+ (* b a) (* c a))
  (* a (+ c d))
  (+ (log a) (log (+ c d)))
  (log (* a (+ c d)))
  (exp (* a (+ c d)))
  (* (* (* a a) a) (* (* (+ c d) (+ c d)) (+ c d)))
  (* (cbrt (* a (+ c d))) (cbrt (* a (+ c d))))
  (cbrt (* a (+ c d)))
  (* (* (* a (+ c d)) (* a (+ c d))) (* a (+ c d)))
  (sqrt (* a (+ c d)))
  (sqrt (* a (+ c d)))
  (* (sqrt a) (sqrt (+ c d)))
  (* (sqrt a) (sqrt (+ c d)))
  (* a c)
  (* a d)
  (* c a)
  (* d a)
  (* a (* (cbrt (+ c d)) (cbrt (+ c d))))
  (* a (sqrt (+ c d)))
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ c d))
  (* (sqrt a) (+ c d))
  (* a (+ c d))
  (* a (+ (pow c 3) (pow d 3)))
  (* a (- (* c c) (* d d)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (+ (* a b) (* a c)))
  (+ (* d a) (* a c))
  (+ (* d a) (* a c))
  (+ (* d a) (* a c))
0.552 * * [simplify]: iteration  0 :  212  enodes  (cost  178 )
0.557 * * [simplify]: iteration  1 :  931  enodes  (cost  159 )
0.578 * * [simplify]: iteration  2 :  5001  enodes  (cost  154 )
0.580 * [simplify]: Simplified to:
   (pow (exp a) (+ (+ c d) b))
  (log (+ (* b a) (* a (+ c d))))
  (pow (exp a) (+ (+ c d) b))
  (* (cbrt (+ (* b a) (* a (+ c d)))) (cbrt (+ (* b a) (* a (+ c d)))))
  (cbrt (+ (* b a) (* a (+ c d))))
  (pow (* a (+ (+ c d) b)) 3)
  (sqrt (+ (* b a) (* a (+ c d))))
  (sqrt (+ (* b a) (* a (+ c d))))
  (+ (pow (* b a) 3) (pow (* a (+ c d)) 3))
  (* a (+ (* (* b a) b) (* (+ c d) (* a (- (+ c d) b)))))
  (* (* a (- b (+ c d))) (* a (+ (+ c d) b)))
  (* a (- b (+ c d)))
  (* a (+ b c))
  (* a (+ b c))
  (* a (+ c d))
  (log (* a (+ c d)))
  (log (* a (+ c d)))
  (exp (* a (+ c d)))
  (pow (* a (+ c d)) 3)
  (* (cbrt (* a (+ c d))) (cbrt (* a (+ c d))))
  (cbrt (* a (+ c d)))
  (pow (* a (+ c d)) 3)
  (sqrt (* a (+ c d)))
  (sqrt (* a (+ c d)))
  (* (sqrt a) (sqrt (+ c d)))
  (* (sqrt a) (sqrt (+ c d)))
  (* a c)
  (* a d)
  (* a c)
  (* a d)
  (* a (* (cbrt (+ c d)) (cbrt (+ c d))))
  (* a (sqrt (+ c d)))
  a
  a
  (* (cbrt a) (+ c d))
  (* (sqrt a) (+ c d))
  (* a (+ c d))
  (* a (+ (pow c 3) (pow d 3)))
  (* a (- (* c c) (* d d)))
  0
  (* a (+ (+ c d) b))
  (* a (+ (+ c d) b))
  (* a (+ c d))
  (* a (+ c d))
  (* a (+ c d))
0.580 * * * [progress]: adding candidates to table
0.647 * * [progress]: iteration 4 / 4
0.647 * * * [progress]: picking best candidate
0.648 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))>
0.648 * * * [progress]: localizing error
0.655 * * * [progress]: generating rewritten candidates
0.655 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.731 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.831 * * * [progress]: generating series expansions
0.831 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.831 * [approximate]: Taking taylor expansion of (* a (+ d (+ b c))) in (a b c d) around 0
0.831 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in d
0.831 * [taylor]: Taking taylor expansion of a in d
0.831 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.831 * [taylor]: Taking taylor expansion of d in d
0.831 * [taylor]: Taking taylor expansion of (+ b c) in d
0.831 * [taylor]: Taking taylor expansion of b in d
0.831 * [taylor]: Taking taylor expansion of c in d
0.831 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in c
0.831 * [taylor]: Taking taylor expansion of a in c
0.831 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.831 * [taylor]: Taking taylor expansion of d in c
0.831 * [taylor]: Taking taylor expansion of (+ b c) in c
0.831 * [taylor]: Taking taylor expansion of b in c
0.831 * [taylor]: Taking taylor expansion of c in c
0.831 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in b
0.831 * [taylor]: Taking taylor expansion of a in b
0.831 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.831 * [taylor]: Taking taylor expansion of d in b
0.831 * [taylor]: Taking taylor expansion of (+ b c) in b
0.831 * [taylor]: Taking taylor expansion of b in b
0.831 * [taylor]: Taking taylor expansion of c in b
0.831 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.831 * [taylor]: Taking taylor expansion of a in a
0.831 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.831 * [taylor]: Taking taylor expansion of d in a
0.831 * [taylor]: Taking taylor expansion of (+ b c) in a
0.831 * [taylor]: Taking taylor expansion of b in a
0.831 * [taylor]: Taking taylor expansion of c in a
0.831 * [taylor]: Taking taylor expansion of (* a (+ d (+ b c))) in a
0.831 * [taylor]: Taking taylor expansion of a in a
0.831 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.831 * [taylor]: Taking taylor expansion of d in a
0.831 * [taylor]: Taking taylor expansion of (+ b c) in a
0.831 * [taylor]: Taking taylor expansion of b in a
0.831 * [taylor]: Taking taylor expansion of c in a
0.831 * [taylor]: Taking taylor expansion of 0 in b
0.832 * [taylor]: Taking taylor expansion of 0 in c
0.832 * [taylor]: Taking taylor expansion of 0 in d
0.832 * [taylor]: Taking taylor expansion of (+ d (+ c b)) in b
0.832 * [taylor]: Taking taylor expansion of d in b
0.832 * [taylor]: Taking taylor expansion of (+ c b) in b
0.832 * [taylor]: Taking taylor expansion of c in b
0.833 * [taylor]: Taking taylor expansion of b in b
0.833 * [taylor]: Taking taylor expansion of (+ d c) in c
0.833 * [taylor]: Taking taylor expansion of d in c
0.833 * [taylor]: Taking taylor expansion of c in c
0.833 * [taylor]: Taking taylor expansion of d in d
0.833 * [taylor]: Taking taylor expansion of 0 in c
0.833 * [taylor]: Taking taylor expansion of 0 in d
0.833 * [taylor]: Taking taylor expansion of 0 in d
0.834 * [taylor]: Taking taylor expansion of 0 in b
0.834 * [taylor]: Taking taylor expansion of 0 in c
0.834 * [taylor]: Taking taylor expansion of 0 in d
0.834 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in (a b c d) around 0
0.834 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in d
0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.834 * [taylor]: Taking taylor expansion of d in d
0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.834 * [taylor]: Taking taylor expansion of c in d
0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.834 * [taylor]: Taking taylor expansion of b in d
0.834 * [taylor]: Taking taylor expansion of a in d
0.835 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in c
0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.835 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.835 * [taylor]: Taking taylor expansion of d in c
0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.835 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.835 * [taylor]: Taking taylor expansion of c in c
0.835 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.835 * [taylor]: Taking taylor expansion of b in c
0.835 * [taylor]: Taking taylor expansion of a in c
0.836 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in b
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.836 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.836 * [taylor]: Taking taylor expansion of d in b
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.836 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.836 * [taylor]: Taking taylor expansion of c in b
0.836 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.836 * [taylor]: Taking taylor expansion of b in b
0.836 * [taylor]: Taking taylor expansion of a in b
0.836 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.837 * [taylor]: Taking taylor expansion of d in a
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.837 * [taylor]: Taking taylor expansion of c in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.837 * [taylor]: Taking taylor expansion of b in a
0.837 * [taylor]: Taking taylor expansion of a in a
0.837 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) a) in a
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.837 * [taylor]: Taking taylor expansion of d in a
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.837 * [taylor]: Taking taylor expansion of c in a
0.837 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.837 * [taylor]: Taking taylor expansion of b in a
0.837 * [taylor]: Taking taylor expansion of a in a
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.837 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.837 * [taylor]: Taking taylor expansion of d in b
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.837 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.837 * [taylor]: Taking taylor expansion of c in b
0.837 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.838 * [taylor]: Taking taylor expansion of b in b
0.838 * [taylor]: Taking taylor expansion of 1 in c
0.839 * [taylor]: Taking taylor expansion of 0 in b
0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.840 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.840 * [taylor]: Taking taylor expansion of c in c
0.840 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.840 * [taylor]: Taking taylor expansion of d in c
0.840 * [taylor]: Taking taylor expansion of 1 in d
0.840 * [taylor]: Taking taylor expansion of 1 in d
0.842 * [taylor]: Taking taylor expansion of 0 in b
0.842 * [taylor]: Taking taylor expansion of 0 in c
0.843 * [taylor]: Taking taylor expansion of 0 in c
0.843 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.843 * [taylor]: Taking taylor expansion of d in d
0.843 * [taylor]: Taking taylor expansion of 0 in d
0.844 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in (a b c d) around 0
0.844 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in d
0.844 * [taylor]: Taking taylor expansion of -1 in d
0.844 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2)) in d
0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.844 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.844 * [taylor]: Taking taylor expansion of d in d
0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.844 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.844 * [taylor]: Taking taylor expansion of c in d
0.844 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.844 * [taylor]: Taking taylor expansion of b in d
0.844 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in d
0.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in d
0.844 * [taylor]: Taking taylor expansion of (/ -1 a) in d
0.844 * [taylor]: Taking taylor expansion of -1 in d
0.845 * [taylor]: Taking taylor expansion of a in d
0.845 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in c
0.845 * [taylor]: Taking taylor expansion of -1 in c
0.845 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2)) in c
0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.845 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.845 * [taylor]: Taking taylor expansion of d in c
0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.845 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.845 * [taylor]: Taking taylor expansion of c in c
0.845 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.845 * [taylor]: Taking taylor expansion of b in c
0.845 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in c
0.845 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in c
0.845 * [taylor]: Taking taylor expansion of (/ -1 a) in c
0.845 * [taylor]: Taking taylor expansion of -1 in c
0.845 * [taylor]: Taking taylor expansion of a in c
0.845 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in b
0.845 * [taylor]: Taking taylor expansion of -1 in b
0.845 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2)) in b
0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.845 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.845 * [taylor]: Taking taylor expansion of d in b
0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.845 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.845 * [taylor]: Taking taylor expansion of c in b
0.846 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.846 * [taylor]: Taking taylor expansion of b in b
0.846 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in b
0.846 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
0.846 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.846 * [taylor]: Taking taylor expansion of -1 in b
0.846 * [taylor]: Taking taylor expansion of a in b
0.846 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in a
0.846 * [taylor]: Taking taylor expansion of -1 in a
0.846 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2)) in a
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.846 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.846 * [taylor]: Taking taylor expansion of d in a
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.846 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.846 * [taylor]: Taking taylor expansion of c in a
0.846 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.846 * [taylor]: Taking taylor expansion of b in a
0.846 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
0.846 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
0.846 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.846 * [taylor]: Taking taylor expansion of -1 in a
0.846 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2))) in a
0.848 * [taylor]: Taking taylor expansion of -1 in a
0.848 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (pow (sqrt (/ -1 a)) 2)) in a
0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.848 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.848 * [taylor]: Taking taylor expansion of d in a
0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.848 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.848 * [taylor]: Taking taylor expansion of c in a
0.848 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.848 * [taylor]: Taking taylor expansion of b in a
0.848 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
0.848 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
0.848 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.848 * [taylor]: Taking taylor expansion of -1 in a
0.848 * [taylor]: Taking taylor expansion of a in a
0.850 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.850 * [taylor]: Taking taylor expansion of +nan.0 in b
0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.850 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.850 * [taylor]: Taking taylor expansion of c in b
0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.850 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.850 * [taylor]: Taking taylor expansion of d in b
0.850 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.850 * [taylor]: Taking taylor expansion of b in b
0.851 * [taylor]: Taking taylor expansion of +nan.0 in c
0.855 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))))) in b
0.855 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))))) in b
0.855 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.855 * [taylor]: Taking taylor expansion of +nan.0 in b
0.855 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.855 * [taylor]: Taking taylor expansion of d in b
0.855 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
0.855 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
0.855 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.855 * [taylor]: Taking taylor expansion of +nan.0 in b
0.855 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.855 * [taylor]: Taking taylor expansion of c in b
0.855 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.856 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.856 * [taylor]: Taking taylor expansion of +nan.0 in b
0.856 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.856 * [taylor]: Taking taylor expansion of b in b
0.858 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.858 * [taylor]: Taking taylor expansion of +nan.0 in c
0.859 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c))))) in c
0.859 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c)))) in c
0.859 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.859 * [taylor]: Taking taylor expansion of +nan.0 in c
0.859 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.859 * [taylor]: Taking taylor expansion of d in c
0.859 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
0.859 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.859 * [taylor]: Taking taylor expansion of +nan.0 in c
0.859 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.859 * [taylor]: Taking taylor expansion of c in c
0.860 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.860 * [taylor]: Taking taylor expansion of +nan.0 in d
0.860 * [taylor]: Taking taylor expansion of +nan.0 in d
0.866 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))))) in b
0.866 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))))) in b
0.866 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.866 * [taylor]: Taking taylor expansion of +nan.0 in b
0.866 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.866 * [taylor]: Taking taylor expansion of d in b
0.866 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
0.866 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
0.866 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.866 * [taylor]: Taking taylor expansion of +nan.0 in b
0.866 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.866 * [taylor]: Taking taylor expansion of c in b
0.866 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.866 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.866 * [taylor]: Taking taylor expansion of +nan.0 in b
0.866 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.866 * [taylor]: Taking taylor expansion of b in b
0.868 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.868 * [taylor]: Taking taylor expansion of +nan.0 in c
0.869 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c))))) in c
0.869 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c)))) in c
0.869 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.869 * [taylor]: Taking taylor expansion of +nan.0 in c
0.869 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.869 * [taylor]: Taking taylor expansion of d in c
0.870 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
0.870 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.870 * [taylor]: Taking taylor expansion of +nan.0 in c
0.870 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.870 * [taylor]: Taking taylor expansion of c in c
0.871 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.871 * [taylor]: Taking taylor expansion of +nan.0 in d
0.872 * [taylor]: Taking taylor expansion of 0 in c
0.873 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.873 * [taylor]: Taking taylor expansion of +nan.0 in d
0.874 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d))) in d
0.874 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in d
0.874 * [taylor]: Taking taylor expansion of +nan.0 in d
0.874 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.874 * [taylor]: Taking taylor expansion of d in d
0.875 * [taylor]: Taking taylor expansion of 0 in d
0.876 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.876 * [approximate]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in (a b c d) around 0
0.876 * [taylor]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in d
0.876 * [taylor]: Taking taylor expansion of (sqrt a) in d
0.876 * [taylor]: Taking taylor expansion of a in d
0.876 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.876 * [taylor]: Taking taylor expansion of d in d
0.876 * [taylor]: Taking taylor expansion of (+ b c) in d
0.876 * [taylor]: Taking taylor expansion of b in d
0.876 * [taylor]: Taking taylor expansion of c in d
0.876 * [taylor]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in c
0.876 * [taylor]: Taking taylor expansion of (sqrt a) in c
0.876 * [taylor]: Taking taylor expansion of a in c
0.877 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.877 * [taylor]: Taking taylor expansion of d in c
0.877 * [taylor]: Taking taylor expansion of (+ b c) in c
0.877 * [taylor]: Taking taylor expansion of b in c
0.877 * [taylor]: Taking taylor expansion of c in c
0.877 * [taylor]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in b
0.877 * [taylor]: Taking taylor expansion of (sqrt a) in b
0.877 * [taylor]: Taking taylor expansion of a in b
0.877 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.877 * [taylor]: Taking taylor expansion of d in b
0.877 * [taylor]: Taking taylor expansion of (+ b c) in b
0.877 * [taylor]: Taking taylor expansion of b in b
0.877 * [taylor]: Taking taylor expansion of c in b
0.877 * [taylor]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in a
0.877 * [taylor]: Taking taylor expansion of (sqrt a) in a
0.877 * [taylor]: Taking taylor expansion of a in a
0.878 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.878 * [taylor]: Taking taylor expansion of d in a
0.878 * [taylor]: Taking taylor expansion of (+ b c) in a
0.878 * [taylor]: Taking taylor expansion of b in a
0.878 * [taylor]: Taking taylor expansion of c in a
0.878 * [taylor]: Taking taylor expansion of (* (sqrt a) (+ d (+ b c))) in a
0.878 * [taylor]: Taking taylor expansion of (sqrt a) in a
0.878 * [taylor]: Taking taylor expansion of a in a
0.879 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in a
0.879 * [taylor]: Taking taylor expansion of d in a
0.879 * [taylor]: Taking taylor expansion of (+ b c) in a
0.879 * [taylor]: Taking taylor expansion of b in a
0.879 * [taylor]: Taking taylor expansion of c in a
0.879 * [taylor]: Taking taylor expansion of 0 in b
0.879 * [taylor]: Taking taylor expansion of 0 in c
0.879 * [taylor]: Taking taylor expansion of 0 in d
0.880 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 d) (- (+ (* +nan.0 c) (- (* +nan.0 b)))))) in b
0.880 * [taylor]: Taking taylor expansion of (+ (* +nan.0 d) (- (+ (* +nan.0 c) (- (* +nan.0 b))))) in b
0.880 * [taylor]: Taking taylor expansion of (* +nan.0 d) in b
0.880 * [taylor]: Taking taylor expansion of +nan.0 in b
0.880 * [taylor]: Taking taylor expansion of d in b
0.880 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 c) (- (* +nan.0 b)))) in b
0.880 * [taylor]: Taking taylor expansion of (+ (* +nan.0 c) (- (* +nan.0 b))) in b
0.880 * [taylor]: Taking taylor expansion of (* +nan.0 c) in b
0.880 * [taylor]: Taking taylor expansion of +nan.0 in b
0.880 * [taylor]: Taking taylor expansion of c in b
0.880 * [taylor]: Taking taylor expansion of (- (* +nan.0 b)) in b
0.880 * [taylor]: Taking taylor expansion of (* +nan.0 b) in b
0.880 * [taylor]: Taking taylor expansion of +nan.0 in b
0.880 * [taylor]: Taking taylor expansion of b in b
0.883 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 d) (- (* +nan.0 c)))) in c
0.883 * [taylor]: Taking taylor expansion of (+ (* +nan.0 d) (- (* +nan.0 c))) in c
0.883 * [taylor]: Taking taylor expansion of (* +nan.0 d) in c
0.883 * [taylor]: Taking taylor expansion of +nan.0 in c
0.883 * [taylor]: Taking taylor expansion of d in c
0.883 * [taylor]: Taking taylor expansion of (- (* +nan.0 c)) in c
0.884 * [taylor]: Taking taylor expansion of (* +nan.0 c) in c
0.884 * [taylor]: Taking taylor expansion of +nan.0 in c
0.884 * [taylor]: Taking taylor expansion of c in c
0.884 * [taylor]: Taking taylor expansion of (- (* +nan.0 d)) in d
0.884 * [taylor]: Taking taylor expansion of (* +nan.0 d) in d
0.884 * [taylor]: Taking taylor expansion of +nan.0 in d
0.884 * [taylor]: Taking taylor expansion of d in d
0.885 * [taylor]: Taking taylor expansion of 0 in c
0.885 * [taylor]: Taking taylor expansion of 0 in d
0.885 * [taylor]: Taking taylor expansion of 0 in d
0.887 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 d) (- (+ (* +nan.0 c) (- (* +nan.0 b)))))) in b
0.887 * [taylor]: Taking taylor expansion of (+ (* +nan.0 d) (- (+ (* +nan.0 c) (- (* +nan.0 b))))) in b
0.887 * [taylor]: Taking taylor expansion of (* +nan.0 d) in b
0.887 * [taylor]: Taking taylor expansion of +nan.0 in b
0.887 * [taylor]: Taking taylor expansion of d in b
0.887 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 c) (- (* +nan.0 b)))) in b
0.887 * [taylor]: Taking taylor expansion of (+ (* +nan.0 c) (- (* +nan.0 b))) in b
0.887 * [taylor]: Taking taylor expansion of (* +nan.0 c) in b
0.887 * [taylor]: Taking taylor expansion of +nan.0 in b
0.887 * [taylor]: Taking taylor expansion of c in b
0.887 * [taylor]: Taking taylor expansion of (- (* +nan.0 b)) in b
0.887 * [taylor]: Taking taylor expansion of (* +nan.0 b) in b
0.887 * [taylor]: Taking taylor expansion of +nan.0 in b
0.887 * [taylor]: Taking taylor expansion of b in b
0.888 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 d) (- (* +nan.0 c)))) in c
0.888 * [taylor]: Taking taylor expansion of (+ (* +nan.0 d) (- (* +nan.0 c))) in c
0.888 * [taylor]: Taking taylor expansion of (* +nan.0 d) in c
0.888 * [taylor]: Taking taylor expansion of +nan.0 in c
0.888 * [taylor]: Taking taylor expansion of d in c
0.888 * [taylor]: Taking taylor expansion of (- (* +nan.0 c)) in c
0.888 * [taylor]: Taking taylor expansion of (* +nan.0 c) in c
0.888 * [taylor]: Taking taylor expansion of +nan.0 in c
0.888 * [taylor]: Taking taylor expansion of c in c
0.888 * [taylor]: Taking taylor expansion of (- (* +nan.0 d)) in d
0.889 * [taylor]: Taking taylor expansion of (* +nan.0 d) in d
0.889 * [taylor]: Taking taylor expansion of +nan.0 in d
0.889 * [taylor]: Taking taylor expansion of d in d
0.889 * [approximate]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in (a b c d) around 0
0.889 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in d
0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.889 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.889 * [taylor]: Taking taylor expansion of d in d
0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.889 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.889 * [taylor]: Taking taylor expansion of c in d
0.890 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.890 * [taylor]: Taking taylor expansion of b in d
0.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in d
0.890 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.890 * [taylor]: Taking taylor expansion of a in d
0.890 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in c
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.890 * [taylor]: Taking taylor expansion of d in c
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.890 * [taylor]: Taking taylor expansion of c in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.890 * [taylor]: Taking taylor expansion of b in c
0.890 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.890 * [taylor]: Taking taylor expansion of a in c
0.890 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in b
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.890 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.890 * [taylor]: Taking taylor expansion of d in b
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.890 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.890 * [taylor]: Taking taylor expansion of c in b
0.890 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.891 * [taylor]: Taking taylor expansion of b in b
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in b
0.891 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.891 * [taylor]: Taking taylor expansion of a in b
0.891 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in a
0.891 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.891 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.891 * [taylor]: Taking taylor expansion of d in a
0.891 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.891 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.891 * [taylor]: Taking taylor expansion of c in a
0.891 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.891 * [taylor]: Taking taylor expansion of b in a
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a
0.891 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.891 * [taylor]: Taking taylor expansion of a in a
0.892 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ 1 a))) in a
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.892 * [taylor]: Taking taylor expansion of d in a
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.892 * [taylor]: Taking taylor expansion of c in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.892 * [taylor]: Taking taylor expansion of b in a
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.892 * [taylor]: Taking taylor expansion of a in a
0.894 * [taylor]: Taking taylor expansion of 0 in b
0.895 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))))) in b
0.895 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))))) in b
0.895 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.895 * [taylor]: Taking taylor expansion of +nan.0 in b
0.895 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.895 * [taylor]: Taking taylor expansion of c in b
0.895 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))) in b
0.895 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))) in b
0.895 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.895 * [taylor]: Taking taylor expansion of +nan.0 in b
0.895 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.895 * [taylor]: Taking taylor expansion of d in b
0.895 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.895 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.895 * [taylor]: Taking taylor expansion of +nan.0 in b
0.895 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.895 * [taylor]: Taking taylor expansion of b in b
0.897 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.897 * [taylor]: Taking taylor expansion of +nan.0 in c
0.897 * [taylor]: Taking taylor expansion of 0 in c
0.900 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))))) in b
0.900 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))))) in b
0.900 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.900 * [taylor]: Taking taylor expansion of +nan.0 in b
0.900 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.900 * [taylor]: Taking taylor expansion of c in b
0.900 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))) in b
0.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))) in b
0.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.901 * [taylor]: Taking taylor expansion of +nan.0 in b
0.901 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.901 * [taylor]: Taking taylor expansion of d in b
0.901 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.901 * [taylor]: Taking taylor expansion of +nan.0 in b
0.901 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.901 * [taylor]: Taking taylor expansion of b in b
0.903 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.903 * [taylor]: Taking taylor expansion of +nan.0 in c
0.904 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 d))))) in c
0.904 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 d)))) in c
0.904 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.904 * [taylor]: Taking taylor expansion of +nan.0 in c
0.904 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.904 * [taylor]: Taking taylor expansion of c in c
0.905 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d))) in c
0.905 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.905 * [taylor]: Taking taylor expansion of +nan.0 in c
0.905 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.905 * [taylor]: Taking taylor expansion of d in c
0.905 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.905 * [taylor]: Taking taylor expansion of +nan.0 in d
0.906 * [taylor]: Taking taylor expansion of 0 in c
0.906 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.906 * [taylor]: Taking taylor expansion of +nan.0 in d
0.906 * [taylor]: Taking taylor expansion of 0 in d
0.909 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))))) in b
0.909 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))))) in b
0.909 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.910 * [taylor]: Taking taylor expansion of +nan.0 in b
0.910 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.910 * [taylor]: Taking taylor expansion of c in b
0.910 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b))))) in b
0.910 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 b)))) in b
0.910 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.910 * [taylor]: Taking taylor expansion of +nan.0 in b
0.910 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.910 * [taylor]: Taking taylor expansion of d in b
0.910 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.910 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.910 * [taylor]: Taking taylor expansion of +nan.0 in b
0.910 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.910 * [taylor]: Taking taylor expansion of b in b
0.912 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.912 * [taylor]: Taking taylor expansion of +nan.0 in c
0.913 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 d))))) in c
0.913 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 d)))) in c
0.913 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.913 * [taylor]: Taking taylor expansion of +nan.0 in c
0.913 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.913 * [taylor]: Taking taylor expansion of c in c
0.914 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d))) in c
0.914 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.914 * [taylor]: Taking taylor expansion of +nan.0 in c
0.914 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.914 * [taylor]: Taking taylor expansion of d in c
0.915 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.915 * [taylor]: Taking taylor expansion of +nan.0 in d
0.917 * [taylor]: Taking taylor expansion of 0 in c
0.917 * [taylor]: Taking taylor expansion of 0 in c
0.917 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.917 * [taylor]: Taking taylor expansion of +nan.0 in d
0.918 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d))) in d
0.918 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in d
0.918 * [taylor]: Taking taylor expansion of +nan.0 in d
0.918 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.918 * [taylor]: Taking taylor expansion of d in d
0.919 * [taylor]: Taking taylor expansion of 0 in d
0.919 * [taylor]: Taking taylor expansion of 0 in d
0.919 * [taylor]: Taking taylor expansion of 0 in d
0.921 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in (a b c d) around 0
0.921 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in d
0.921 * [taylor]: Taking taylor expansion of -1 in d
0.921 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a))) in d
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.921 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.922 * [taylor]: Taking taylor expansion of d in d
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.922 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.922 * [taylor]: Taking taylor expansion of c in d
0.922 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.922 * [taylor]: Taking taylor expansion of b in d
0.922 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in d
0.922 * [taylor]: Taking taylor expansion of (/ -1 a) in d
0.922 * [taylor]: Taking taylor expansion of -1 in d
0.922 * [taylor]: Taking taylor expansion of a in d
0.922 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in c
0.922 * [taylor]: Taking taylor expansion of -1 in c
0.922 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a))) in c
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.922 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.922 * [taylor]: Taking taylor expansion of d in c
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.922 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.922 * [taylor]: Taking taylor expansion of c in c
0.922 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.922 * [taylor]: Taking taylor expansion of b in c
0.922 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in c
0.923 * [taylor]: Taking taylor expansion of (/ -1 a) in c
0.923 * [taylor]: Taking taylor expansion of -1 in c
0.923 * [taylor]: Taking taylor expansion of a in c
0.923 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in b
0.923 * [taylor]: Taking taylor expansion of -1 in b
0.923 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a))) in b
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.923 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.923 * [taylor]: Taking taylor expansion of d in b
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.923 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.923 * [taylor]: Taking taylor expansion of c in b
0.923 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.923 * [taylor]: Taking taylor expansion of b in b
0.923 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
0.923 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.923 * [taylor]: Taking taylor expansion of -1 in b
0.923 * [taylor]: Taking taylor expansion of a in b
0.923 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in a
0.923 * [taylor]: Taking taylor expansion of -1 in a
0.923 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a))) in a
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.923 * [taylor]: Taking taylor expansion of d in a
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.923 * [taylor]: Taking taylor expansion of c in a
0.924 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.924 * [taylor]: Taking taylor expansion of b in a
0.924 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
0.924 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.924 * [taylor]: Taking taylor expansion of -1 in a
0.924 * [taylor]: Taking taylor expansion of a in a
0.925 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a)))) in a
0.925 * [taylor]: Taking taylor expansion of -1 in a
0.925 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) (sqrt (/ -1 a))) in a
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.925 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.925 * [taylor]: Taking taylor expansion of d in a
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.925 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.925 * [taylor]: Taking taylor expansion of c in a
0.925 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.925 * [taylor]: Taking taylor expansion of b in a
0.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
0.925 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.925 * [taylor]: Taking taylor expansion of -1 in a
0.925 * [taylor]: Taking taylor expansion of a in a
0.927 * [taylor]: Taking taylor expansion of 0 in b
0.928 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))))) in b
0.928 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))))) in b
0.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.928 * [taylor]: Taking taylor expansion of +nan.0 in b
0.928 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.928 * [taylor]: Taking taylor expansion of d in b
0.928 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
0.928 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
0.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.928 * [taylor]: Taking taylor expansion of +nan.0 in b
0.928 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.928 * [taylor]: Taking taylor expansion of c in b
0.928 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.928 * [taylor]: Taking taylor expansion of +nan.0 in b
0.928 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.928 * [taylor]: Taking taylor expansion of b in b
0.930 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.930 * [taylor]: Taking taylor expansion of +nan.0 in c
0.931 * [taylor]: Taking taylor expansion of 0 in c
0.934 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))))) in b
0.934 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))))) in b
0.934 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.934 * [taylor]: Taking taylor expansion of +nan.0 in b
0.934 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.934 * [taylor]: Taking taylor expansion of d in b
0.934 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
0.934 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
0.934 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.934 * [taylor]: Taking taylor expansion of +nan.0 in b
0.934 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.934 * [taylor]: Taking taylor expansion of c in b
0.934 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.934 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.934 * [taylor]: Taking taylor expansion of +nan.0 in b
0.934 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.934 * [taylor]: Taking taylor expansion of b in b
0.937 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.937 * [taylor]: Taking taylor expansion of +nan.0 in c
0.938 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c))))) in c
0.938 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c)))) in c
0.938 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.938 * [taylor]: Taking taylor expansion of +nan.0 in c
0.938 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.938 * [taylor]: Taking taylor expansion of d in c
0.938 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
0.938 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.938 * [taylor]: Taking taylor expansion of +nan.0 in c
0.938 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.938 * [taylor]: Taking taylor expansion of c in c
0.940 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.940 * [taylor]: Taking taylor expansion of +nan.0 in d
0.940 * [taylor]: Taking taylor expansion of 0 in c
0.940 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.940 * [taylor]: Taking taylor expansion of +nan.0 in d
0.940 * [taylor]: Taking taylor expansion of 0 in d
0.944 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))))) in b
0.944 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))))) in b
0.944 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in b
0.944 * [taylor]: Taking taylor expansion of +nan.0 in b
0.944 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.945 * [taylor]: Taking taylor expansion of d in b
0.945 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b))))) in b
0.945 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 c)) (- (* +nan.0 (/ 1 b)))) in b
0.945 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in b
0.945 * [taylor]: Taking taylor expansion of +nan.0 in b
0.945 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.945 * [taylor]: Taking taylor expansion of c in b
0.945 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 b))) in b
0.945 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 b)) in b
0.945 * [taylor]: Taking taylor expansion of +nan.0 in b
0.945 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.945 * [taylor]: Taking taylor expansion of b in b
0.947 * [taylor]: Taking taylor expansion of (- +nan.0) in c
0.947 * [taylor]: Taking taylor expansion of +nan.0 in c
0.948 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c))))) in c
0.948 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d)) (- (* +nan.0 (/ 1 c)))) in c
0.948 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in c
0.948 * [taylor]: Taking taylor expansion of +nan.0 in c
0.948 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.948 * [taylor]: Taking taylor expansion of d in c
0.948 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 c))) in c
0.948 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 c)) in c
0.948 * [taylor]: Taking taylor expansion of +nan.0 in c
0.948 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.948 * [taylor]: Taking taylor expansion of c in c
0.950 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.950 * [taylor]: Taking taylor expansion of +nan.0 in d
0.953 * [taylor]: Taking taylor expansion of 0 in c
0.953 * [taylor]: Taking taylor expansion of 0 in c
0.953 * [taylor]: Taking taylor expansion of (- +nan.0) in d
0.953 * [taylor]: Taking taylor expansion of +nan.0 in d
0.954 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d))) in d
0.954 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d)) in d
0.954 * [taylor]: Taking taylor expansion of +nan.0 in d
0.954 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.954 * [taylor]: Taking taylor expansion of d in d
0.955 * [taylor]: Taking taylor expansion of 0 in d
0.955 * [taylor]: Taking taylor expansion of 0 in d
0.955 * [taylor]: Taking taylor expansion of 0 in d
0.957 * * * [progress]: simplifying candidates
0.958 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))
  (+ (log (sqrt a)) (+ (log (sqrt a)) (log (+ (+ b c) d))))
  (+ (log (sqrt a)) (log (* (sqrt a) (+ (+ b c) d))))
  (log (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (exp (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (* (* (* (sqrt a) (sqrt a)) (sqrt a)) (* (* (* (sqrt a) (sqrt a)) (sqrt a)) (* (* (+ (+ b c) d) (+ (+ b c) d)) (+ (+ b c) d))))
  (* (* (* (sqrt a) (sqrt a)) (sqrt a)) (* (* (* (sqrt a) (+ (+ b c) d)) (* (sqrt a) (+ (+ b c) d))) (* (sqrt a) (+ (+ b c) d))))
  (* (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))) (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))))
  (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (* (* (* (sqrt a) (* (sqrt a) (+ (+ b c) d))) (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (sqrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (sqrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (* (sqrt a) (* (sqrt a) (+ b c)))
  (* (sqrt a) (* (sqrt a) d))
  (* (sqrt a) (* (+ b c) (sqrt a)))
  (* (sqrt a) (* d (sqrt a)))
  (* (* (sqrt a) (+ b c)) (sqrt a))
  (* (* (sqrt a) d) (sqrt a))
  (* (* (+ b c) (sqrt a)) (sqrt a))
  (* (* d (sqrt a)) (sqrt a))
  (* (sqrt a) (sqrt a))
  (* (cbrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (cbrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt a) (* (sqrt a) (+ (pow (+ b c) 3) (pow d 3))))
  (* (sqrt a) (* (sqrt a) (- (* (+ b c) (+ b c)) (* d d))))
  (* (sqrt a) (+ (+ b c) d))
  (+ (log (sqrt a)) (log (+ (+ b c) d)))
  (log (* (sqrt a) (+ (+ b c) d)))
  (exp (* (sqrt a) (+ (+ b c) d)))
  (* (* (* (sqrt a) (sqrt a)) (sqrt a)) (* (* (+ (+ b c) d) (+ (+ b c) d)) (+ (+ b c) d)))
  (* (cbrt (* (sqrt a) (+ (+ b c) d))) (cbrt (* (sqrt a) (+ (+ b c) d))))
  (cbrt (* (sqrt a) (+ (+ b c) d)))
  (* (* (* (sqrt a) (+ (+ b c) d)) (* (sqrt a) (+ (+ b c) d))) (* (sqrt a) (+ (+ b c) d)))
  (sqrt (* (sqrt a) (+ (+ b c) d)))
  (sqrt (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (+ b c))
  (* (sqrt a) d)
  (* (+ b c) (sqrt a))
  (* d (sqrt a))
  (* (sqrt a) (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (* (sqrt a) 1)
  (* (sqrt a) 1)
  (* (sqrt a) 1)
  (* (cbrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt (cbrt a)) (+ (+ b c) d))
  (* (sqrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* (sqrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (pow (+ b c) 3) (pow d 3)))
  (* (sqrt a) (- (* (+ b c) (+ b c)) (* d d)))
  0
  (+ (* d a) (+ (* a b) (* a c)))
  (- (+ (* +nan.0 d) (- (+ (* +nan.0 b) (- (* +nan.0 c))))))
  0
  (- (+ (* +nan.0 d) (- (+ (* +nan.0 b) (- (* +nan.0 c))))))
  (- (+ (* +nan.0 d) (- (+ (* +nan.0 b) (- (* +nan.0 c))))))
0.962 * * [simplify]: iteration  0 :  257  enodes  (cost  353 )
0.967 * * [simplify]: iteration  1 :  1271  enodes  (cost  295 )
0.992 * * [simplify]: iteration  2 :  5003  enodes  (cost  295 )
0.996 * [simplify]: Simplified to:
   (* a (+ (+ b c) d))
  (* a (+ (+ b c) d))
  (+ (log a) (log (+ (+ b c) d)))
  (+ (log a) (log (+ (+ b c) d)))
  (+ (log a) (log (+ (+ b c) d)))
  (pow (exp a) (+ (+ b c) d))
  (pow (* a (+ (+ b c) d)) 3)
  (pow (* a (+ (+ b c) d)) 3)
  (* (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))) (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d)))))
  (cbrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (pow (* a (+ (+ b c) d)) 3)
  (sqrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (sqrt (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))
  (* a (+ b c))
  (* a d)
  (* a (+ b c))
  (* a d)
  (* a (+ b c))
  (* a d)
  (* a (+ b c))
  (* a d)
  a
  (* (cbrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (cbrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* a (+ (+ b c) d))
  (* (sqrt (sqrt a)) (* (sqrt a) (+ (+ b c) d)))
  (* a (+ (+ b c) d))
  (* a (+ (pow (+ b c) 3) (pow d 3)))
  (* a (- (* (+ b c) (+ b c)) (* d d)))
  (* (sqrt a) (+ (+ b c) d))
  (log (* (sqrt a) (+ (+ b c) d)))
  (log (* (sqrt a) (+ (+ b c) d)))
  (exp (* (sqrt a) (+ (+ b c) d)))
  (pow (* (sqrt a) (+ (+ b c) d)) 3)
  (* (cbrt (* (sqrt a) (+ (+ b c) d))) (cbrt (* (sqrt a) (+ (+ b c) d))))
  (cbrt (* (sqrt a) (+ (+ b c) d)))
  (pow (* (sqrt a) (+ (+ b c) d)) 3)
  (sqrt (* (sqrt a) (+ (+ b c) d)))
  (sqrt (* (sqrt a) (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt (sqrt a)) (sqrt (+ (+ b c) d)))
  (* (sqrt a) (+ b c))
  (* (sqrt a) d)
  (* (sqrt a) (+ b c))
  (* (sqrt a) d)
  (* (sqrt a) (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d))))
  (* (sqrt a) (sqrt (+ (+ b c) d)))
  (sqrt a)
  (sqrt a)
  (sqrt a)
  (* (cbrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt (cbrt a)) (+ (+ b c) d))
  (* (sqrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* (sqrt (sqrt a)) (+ (+ b c) d))
  (* (sqrt a) (+ (+ b c) d))
  (* (sqrt a) (+ (pow (+ b c) 3) (pow d 3)))
  (* (sqrt a) (- (* (+ b c) (+ b c)) (* d d)))
  0
  (* a (+ (+ b c) d))
  (+ (* +nan.0 (- b c)) (- (* +nan.0 d)))
  0
  (+ (* +nan.0 (- b c)) (- (* +nan.0 d)))
  (+ (* +nan.0 (- b c)) (- (* +nan.0 d)))
0.996 * * * [progress]: adding candidates to table
1.085 * [progress]: [Phase 3 of 3] Extracting.
1.085 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.086 * * * [regime-changes]: Trying 7 branch expressions: ((+ b c) (+ (+ b c) d) (* a (+ (+ b c) d)) d c b a)
1.086 * * * * [regimes]: Trying to branch on (+ b c) from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.102 * * * * [regimes]: Trying to branch on (+ b c) from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))>)
1.120 * * * * [regimes]: Trying to branch on (+ (+ b c) d) from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.148 * * * * [regimes]: Trying to branch on (+ (+ b c) d) from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))>)
1.171 * * * * [regimes]: Trying to branch on (* a (+ (+ b c) d)) from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.199 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.225 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.251 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.265 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (* (sqrt a) (* (sqrt a) (+ (+ b c) d))))> #<alt (λ (a b c d) (* a (+ (+ b c) d)))> #<alt (λ (a b c d) (+ (* b a) (* a (+ c d))))>)
1.282 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.282 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* b a) (* a (+ c d)))
1.282 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
1.283 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
1.283 * [simplify]: Simplified to:
   (+ (* b a) (* a (+ c d)))
2.005 * [regime-testing]: Baseline error score: 0.03962995374421803
2.006 * [regime-testing]: Oracle error score: 0.014751843980497562
2.007 * [regime-testing]: End program error score: 0.03962995374421803
2.028 * [regime-testing]: Target error score: 0.03962995374421803