7.670 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
0.050 * * [simplify]: iteration  0 :  136  enodes  (cost  13 )
0.051 * * [simplify]: iteration  1 :  136  enodes  (cost  13 )
0.051 * [simplify]: Simplified to:
   (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
0.051 * * [progress]: iteration 1 / 4
0.051 * * * [progress]: picking best candidate
0.059 * * * * [pick]: Picked  #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2))>
0.059 * * * [progress]: localizing error
0.075 * * * [progress]: generating rewritten candidates
0.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.083 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
0.090 * * * [progress]: generating series expansions
0.090 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.091 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
0.091 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.091 * [taylor]: Taking taylor expansion of d in d
0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.091 * [taylor]: Taking taylor expansion of a in d
0.091 * [taylor]: Taking taylor expansion of (+ b c) in d
0.091 * [taylor]: Taking taylor expansion of b in d
0.091 * [taylor]: Taking taylor expansion of c in d
0.091 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.091 * [taylor]: Taking taylor expansion of d in c
0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.092 * [taylor]: Taking taylor expansion of a in c
0.092 * [taylor]: Taking taylor expansion of (+ b c) in c
0.092 * [taylor]: Taking taylor expansion of b in c
0.092 * [taylor]: Taking taylor expansion of c in c
0.092 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.092 * [taylor]: Taking taylor expansion of d in b
0.092 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.092 * [taylor]: Taking taylor expansion of a in b
0.092 * [taylor]: Taking taylor expansion of (+ b c) in b
0.092 * [taylor]: Taking taylor expansion of b in b
0.092 * [taylor]: Taking taylor expansion of c in b
0.092 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.092 * [taylor]: Taking taylor expansion of d in a
0.092 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.092 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of (+ b c) in a
0.092 * [taylor]: Taking taylor expansion of b in a
0.092 * [taylor]: Taking taylor expansion of c in a
0.092 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.092 * [taylor]: Taking taylor expansion of d in a
0.092 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.092 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of (+ b c) in a
0.092 * [taylor]: Taking taylor expansion of b in a
0.092 * [taylor]: Taking taylor expansion of c in a
0.092 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.092 * [taylor]: Taking taylor expansion of d in b
0.092 * [taylor]: Taking taylor expansion of (+ b c) in b
0.092 * [taylor]: Taking taylor expansion of b in b
0.092 * [taylor]: Taking taylor expansion of c in b
0.093 * [taylor]: Taking taylor expansion of (+ d c) in c
0.093 * [taylor]: Taking taylor expansion of d in c
0.093 * [taylor]: Taking taylor expansion of c in c
0.093 * [taylor]: Taking taylor expansion of d in d
0.093 * [taylor]: Taking taylor expansion of 1 in b
0.093 * [taylor]: Taking taylor expansion of 1 in c
0.093 * [taylor]: Taking taylor expansion of 1 in d
0.093 * [taylor]: Taking taylor expansion of 1 in c
0.093 * [taylor]: Taking taylor expansion of 1 in d
0.093 * [taylor]: Taking taylor expansion of 1 in d
0.095 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a b c d) around 0
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.095 * [taylor]: Taking taylor expansion of b in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.095 * [taylor]: Taking taylor expansion of d in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.095 * [taylor]: Taking taylor expansion of c in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.095 * [taylor]: Taking taylor expansion of a in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.095 * [taylor]: Taking taylor expansion of b in c
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.096 * [taylor]: Taking taylor expansion of d in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.096 * [taylor]: Taking taylor expansion of c in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.096 * [taylor]: Taking taylor expansion of a in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.096 * [taylor]: Taking taylor expansion of b in b
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.096 * [taylor]: Taking taylor expansion of d in b
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.096 * [taylor]: Taking taylor expansion of c in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.096 * [taylor]: Taking taylor expansion of a in b
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.096 * [taylor]: Taking taylor expansion of b in a
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.096 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.096 * [taylor]: Taking taylor expansion of d in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.097 * [taylor]: Taking taylor expansion of c in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.097 * [taylor]: Taking taylor expansion of b in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.097 * [taylor]: Taking taylor expansion of d in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.097 * [taylor]: Taking taylor expansion of c in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of 1 in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.098 * [taylor]: Taking taylor expansion of c in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.098 * [taylor]: Taking taylor expansion of d in b
0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.099 * [taylor]: Taking taylor expansion of b in b
0.099 * [taylor]: Taking taylor expansion of 1 in c
0.099 * [taylor]: Taking taylor expansion of 1 in c
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.101 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.101 * [taylor]: Taking taylor expansion of d in c
0.101 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.101 * [taylor]: Taking taylor expansion of c in c
0.101 * [taylor]: Taking taylor expansion of 1 in d
0.101 * [taylor]: Taking taylor expansion of 0 in c
0.101 * [taylor]: Taking taylor expansion of 1 in d
0.101 * [taylor]: Taking taylor expansion of 1 in d
0.103 * [taylor]: Taking taylor expansion of 0 in b
0.103 * [taylor]: Taking taylor expansion of 0 in c
0.104 * [taylor]: Taking taylor expansion of 0 in c
0.104 * [taylor]: Taking taylor expansion of 0 in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.104 * [taylor]: Taking taylor expansion of d in d
0.105 * [taylor]: Taking taylor expansion of 0 in d
0.105 * [taylor]: Taking taylor expansion of 0 in d
0.105 * [taylor]: Taking taylor expansion of 0 in d
0.107 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a b c d) around 0
0.107 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.107 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.107 * [taylor]: Taking taylor expansion of b in d
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.107 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.107 * [taylor]: Taking taylor expansion of d in d
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.107 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.107 * [taylor]: Taking taylor expansion of c in d
0.107 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.107 * [taylor]: Taking taylor expansion of a in d
0.107 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.107 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.107 * [taylor]: Taking taylor expansion of b in c
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.107 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.107 * [taylor]: Taking taylor expansion of d in c
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.107 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.107 * [taylor]: Taking taylor expansion of c in c
0.108 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.108 * [taylor]: Taking taylor expansion of a in c
0.108 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.108 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.108 * [taylor]: Taking taylor expansion of b in b
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.108 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.108 * [taylor]: Taking taylor expansion of d in b
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.108 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.108 * [taylor]: Taking taylor expansion of c in b
0.108 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.108 * [taylor]: Taking taylor expansion of a in b
0.108 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.108 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.108 * [taylor]: Taking taylor expansion of b in a
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.108 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.108 * [taylor]: Taking taylor expansion of d in a
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.108 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.108 * [taylor]: Taking taylor expansion of c in a
0.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.109 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.109 * [taylor]: Taking taylor expansion of b in a
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.109 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.109 * [taylor]: Taking taylor expansion of d in a
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.109 * [taylor]: Taking taylor expansion of c in a
0.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.109 * [taylor]: Taking taylor expansion of -1 in b
0.111 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.111 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.111 * [taylor]: Taking taylor expansion of c in b
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.111 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.111 * [taylor]: Taking taylor expansion of d in b
0.111 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.111 * [taylor]: Taking taylor expansion of b in b
0.111 * [taylor]: Taking taylor expansion of -1 in c
0.111 * [taylor]: Taking taylor expansion of -1 in c
0.112 * [taylor]: Taking taylor expansion of 0 in b
0.113 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 d) (/ 1 c))) in c
0.113 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.114 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.114 * [taylor]: Taking taylor expansion of d in c
0.114 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.114 * [taylor]: Taking taylor expansion of c in c
0.114 * [taylor]: Taking taylor expansion of -1 in d
0.114 * [taylor]: Taking taylor expansion of 0 in c
0.114 * [taylor]: Taking taylor expansion of -1 in d
0.114 * [taylor]: Taking taylor expansion of -1 in d
0.116 * [taylor]: Taking taylor expansion of 0 in b
0.116 * [taylor]: Taking taylor expansion of 0 in c
0.117 * [taylor]: Taking taylor expansion of 0 in c
0.117 * [taylor]: Taking taylor expansion of 0 in c
0.117 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.117 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.117 * [taylor]: Taking taylor expansion of d in d
0.118 * [taylor]: Taking taylor expansion of 0 in d
0.118 * [taylor]: Taking taylor expansion of 0 in d
0.118 * [taylor]: Taking taylor expansion of 0 in d
0.119 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
0.119 * [approximate]: Taking taylor expansion of (+ d (+ b c)) in (b c d) around 0
0.119 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.119 * [taylor]: Taking taylor expansion of d in d
0.119 * [taylor]: Taking taylor expansion of (+ b c) in d
0.119 * [taylor]: Taking taylor expansion of b in d
0.119 * [taylor]: Taking taylor expansion of c in d
0.119 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.119 * [taylor]: Taking taylor expansion of d in c
0.119 * [taylor]: Taking taylor expansion of (+ b c) in c
0.119 * [taylor]: Taking taylor expansion of b in c
0.119 * [taylor]: Taking taylor expansion of c in c
0.119 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.119 * [taylor]: Taking taylor expansion of d in b
0.119 * [taylor]: Taking taylor expansion of (+ b c) in b
0.119 * [taylor]: Taking taylor expansion of b in b
0.119 * [taylor]: Taking taylor expansion of c in b
0.119 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.119 * [taylor]: Taking taylor expansion of d in b
0.119 * [taylor]: Taking taylor expansion of (+ b c) in b
0.119 * [taylor]: Taking taylor expansion of b in b
0.119 * [taylor]: Taking taylor expansion of c in b
0.120 * [taylor]: Taking taylor expansion of (+ d c) in c
0.120 * [taylor]: Taking taylor expansion of d in c
0.120 * [taylor]: Taking taylor expansion of c in c
0.120 * [taylor]: Taking taylor expansion of d in d
0.120 * [taylor]: Taking taylor expansion of 1 in c
0.120 * [taylor]: Taking taylor expansion of 1 in d
0.120 * [taylor]: Taking taylor expansion of 1 in d
0.121 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in (b c d) around 0
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.121 * [taylor]: Taking taylor expansion of c in d
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
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 (/ 1 b) in d
0.121 * [taylor]: Taking taylor expansion of b in d
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.121 * [taylor]: Taking taylor expansion of c in c
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.121 * [taylor]: Taking taylor expansion of d in c
0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.121 * [taylor]: Taking taylor expansion of b in c
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.121 * [taylor]: Taking taylor expansion of c in b
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.122 * [taylor]: Taking taylor expansion of d in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.122 * [taylor]: Taking taylor expansion of c in b
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.122 * [taylor]: Taking taylor expansion of d in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of 1 in c
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.123 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.123 * [taylor]: Taking taylor expansion of d in c
0.123 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.123 * [taylor]: Taking taylor expansion of c in c
0.123 * [taylor]: Taking taylor expansion of 1 in d
0.123 * [taylor]: Taking taylor expansion of 1 in d
0.124 * [taylor]: Taking taylor expansion of 0 in c
0.124 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.124 * [taylor]: Taking taylor expansion of d in d
0.124 * [taylor]: Taking taylor expansion of 0 in d
0.126 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (b c d) around 0
0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.126 * [taylor]: Taking taylor expansion of c in d
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.126 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.126 * [taylor]: Taking taylor expansion of d in d
0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.126 * [taylor]: Taking taylor expansion of b in d
0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.126 * [taylor]: Taking taylor expansion of c in c
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.126 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.126 * [taylor]: Taking taylor expansion of d in c
0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.126 * [taylor]: Taking taylor expansion of b in c
0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 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 d) (/ 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.127 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.127 * [taylor]: Taking taylor expansion of b in b
0.127 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.127 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.127 * [taylor]: Taking taylor expansion of c in b
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.127 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.127 * [taylor]: Taking taylor expansion of d in b
0.127 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.127 * [taylor]: Taking taylor expansion of b in b
0.127 * [taylor]: Taking taylor expansion of -1 in c
0.128 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 d) (/ 1 c))) in c
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
0.128 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.128 * [taylor]: Taking taylor expansion of d in c
0.128 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.128 * [taylor]: Taking taylor expansion of c in c
0.128 * [taylor]: Taking taylor expansion of -1 in d
0.128 * [taylor]: Taking taylor expansion of -1 in d
0.129 * [taylor]: Taking taylor expansion of 0 in c
0.130 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.130 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.130 * [taylor]: Taking taylor expansion of d in d
0.130 * [taylor]: Taking taylor expansion of 0 in d
0.131 * * * [progress]: simplifying candidates
0.131 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 a b)
  (+.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 a (+.f64 b (+.f64 c d)))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))
  (-.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3))
  (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 a (+.f64 b (+.f64 c d)))))
  (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (*.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) (+.f64 a (+.f64 b (+.f64 c d)))) (+.f64 a (+.f64 b (+.f64 c d))))
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))))
  (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (exp.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (log.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (*.f64 (exp.f64 a) (exp.f64 (+.f64 b (+.f64 c d))))
  (*.f64 (exp.f64 a) (*.f64 (exp.f64 b) (exp.f64 (+.f64 c d))))
  (*.f64 (exp.f64 a) (*.f64 (exp.f64 b) (*.f64 (exp.f64 c) (exp.f64 d))))
  (+.f64 b c)
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
  (-.f64 (*.f64 b b) (*.f64 (+.f64 c d) (+.f64 c d)))
  (-.f64 b (+.f64 c d))
  (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3))
  (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 c d) (+.f64 c d)) (*.f64 b (+.f64 c d))))
  (sqrt.f64 (+.f64 b (+.f64 c d)))
  (sqrt.f64 (+.f64 b (+.f64 c d)))
  (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))
  (*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (+.f64 b (+.f64 c d))))
  (cbrt.f64 (+.f64 b (+.f64 c d)))
  (exp.f64 (+.f64 b (+.f64 c d)))
  (log.f64 (+.f64 b (+.f64 c d)))
  (*.f64 (exp.f64 b) (exp.f64 (+.f64 c d)))
  (*.f64 (exp.f64 b) (*.f64 (exp.f64 c) (exp.f64 d)))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
0.192 * * [simplify]: iteration  0 :  5692  enodes  (cost  450 )
0.195 * [simplify]: Simplified to:
   (+.f64 a b)
  (+.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 a (+.f64 b (+.f64 c d)))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))
  (-.f64 a (+.f64 b (+.f64 c d)))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))
  (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3)
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))))
  (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (exp.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (log.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (exp.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (exp.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (exp.f64 (+.f64 a (+.f64 b (+.f64 c d))))
  (+.f64 b c)
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
  (-.f64 (*.f64 b b) (*.f64 (+.f64 c d) (+.f64 c d)))
  (-.f64 b (+.f64 c d))
  (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3))
  (+.f64 (*.f64 b b) (*.f64 (+.f64 c d) (-.f64 d (-.f64 b c))))
  (sqrt.f64 (+.f64 b (+.f64 c d)))
  (sqrt.f64 (+.f64 b (+.f64 c d)))
  (pow.f64 (+.f64 b (+.f64 c d)) 3)
  (*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (+.f64 b (+.f64 c d))))
  (cbrt.f64 (+.f64 b (+.f64 c d)))
  (exp.f64 (+.f64 b (+.f64 c d)))
  (log.f64 (+.f64 b (+.f64 c d)))
  (exp.f64 (+.f64 b (+.f64 c d)))
  (exp.f64 (+.f64 b (+.f64 c d)))
  (+.f64 a (+.f64 b c))
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
  (+.f64 b (+.f64 c d))
0.196 * * * [progress]: adding candidates to table
0.333 * * [progress]: iteration 2 / 4
0.333 * * * [progress]: picking best candidate
0.383 * * * * [pick]: Picked  #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))>
0.383 * * * [progress]: localizing error
0.393 * * * [progress]: generating rewritten candidates
0.393 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.409 * * * [progress]: generating series expansions
0.409 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.410 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
0.410 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.410 * [taylor]: Taking taylor expansion of d in d
0.410 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.410 * [taylor]: Taking taylor expansion of a in d
0.410 * [taylor]: Taking taylor expansion of (+ b c) in d
0.410 * [taylor]: Taking taylor expansion of b in d
0.410 * [taylor]: Taking taylor expansion of c in d
0.410 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.410 * [taylor]: Taking taylor expansion of d in c
0.410 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.410 * [taylor]: Taking taylor expansion of a in c
0.410 * [taylor]: Taking taylor expansion of (+ b c) in c
0.410 * [taylor]: Taking taylor expansion of b in c
0.410 * [taylor]: Taking taylor expansion of c in c
0.410 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.410 * [taylor]: Taking taylor expansion of d in b
0.410 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.410 * [taylor]: Taking taylor expansion of a in b
0.410 * [taylor]: Taking taylor expansion of (+ b c) in b
0.410 * [taylor]: Taking taylor expansion of b in b
0.410 * [taylor]: Taking taylor expansion of c in b
0.410 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.410 * [taylor]: Taking taylor expansion of d in a
0.410 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.410 * [taylor]: Taking taylor expansion of a in a
0.410 * [taylor]: Taking taylor expansion of (+ b c) in a
0.410 * [taylor]: Taking taylor expansion of b in a
0.410 * [taylor]: Taking taylor expansion of c in a
0.410 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.410 * [taylor]: Taking taylor expansion of d in a
0.410 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.411 * [taylor]: Taking taylor expansion of a in a
0.411 * [taylor]: Taking taylor expansion of (+ b c) in a
0.411 * [taylor]: Taking taylor expansion of b in a
0.411 * [taylor]: Taking taylor expansion of c in a
0.411 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.411 * [taylor]: Taking taylor expansion of d in b
0.411 * [taylor]: Taking taylor expansion of (+ b c) in b
0.411 * [taylor]: Taking taylor expansion of b in b
0.411 * [taylor]: Taking taylor expansion of c in b
0.411 * [taylor]: Taking taylor expansion of (+ d c) in c
0.411 * [taylor]: Taking taylor expansion of d in c
0.411 * [taylor]: Taking taylor expansion of c in c
0.411 * [taylor]: Taking taylor expansion of d in d
0.411 * [taylor]: Taking taylor expansion of 1 in b
0.412 * [taylor]: Taking taylor expansion of 1 in c
0.412 * [taylor]: Taking taylor expansion of 1 in d
0.412 * [taylor]: Taking taylor expansion of 1 in c
0.412 * [taylor]: Taking taylor expansion of 1 in d
0.412 * [taylor]: Taking taylor expansion of 1 in d
0.415 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.415 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.415 * [taylor]: Taking taylor expansion of b in d
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.415 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.415 * [taylor]: Taking taylor expansion of c in d
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.415 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.415 * [taylor]: Taking taylor expansion of d in d
0.415 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.415 * [taylor]: Taking taylor expansion of a in d
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.415 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.415 * [taylor]: Taking taylor expansion of b in c
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.415 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.415 * [taylor]: Taking taylor expansion of c in c
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.415 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.415 * [taylor]: Taking taylor expansion of d in c
0.416 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.416 * [taylor]: Taking taylor expansion of a in c
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.416 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.416 * [taylor]: Taking taylor expansion of b in b
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.416 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.416 * [taylor]: Taking taylor expansion of c in b
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.416 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.416 * [taylor]: Taking taylor expansion of d in b
0.416 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.416 * [taylor]: Taking taylor expansion of a in b
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.416 * [taylor]: Taking taylor expansion of b in a
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.416 * [taylor]: Taking taylor expansion of c in a
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.416 * [taylor]: Taking taylor expansion of d in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.416 * [taylor]: Taking taylor expansion of a in a
0.417 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.417 * [taylor]: Taking taylor expansion of b in a
0.417 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.417 * [taylor]: Taking taylor expansion of c in a
0.417 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.417 * [taylor]: Taking taylor expansion of d in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.417 * [taylor]: Taking taylor expansion of a in a
0.417 * [taylor]: Taking taylor expansion of 1 in b
0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.418 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.418 * [taylor]: Taking taylor expansion of d in b
0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.418 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.418 * [taylor]: Taking taylor expansion of c in b
0.418 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.418 * [taylor]: Taking taylor expansion of b in b
0.419 * [taylor]: Taking taylor expansion of 1 in c
0.419 * [taylor]: Taking taylor expansion of 1 in c
0.420 * [taylor]: Taking taylor expansion of 0 in b
0.420 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.420 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.420 * [taylor]: Taking taylor expansion of c in c
0.421 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.421 * [taylor]: Taking taylor expansion of d in c
0.421 * [taylor]: Taking taylor expansion of 1 in d
0.421 * [taylor]: Taking taylor expansion of 0 in c
0.421 * [taylor]: Taking taylor expansion of 1 in d
0.421 * [taylor]: Taking taylor expansion of 1 in d
0.423 * [taylor]: Taking taylor expansion of 0 in b
0.423 * [taylor]: Taking taylor expansion of 0 in c
0.424 * [taylor]: Taking taylor expansion of 0 in c
0.424 * [taylor]: Taking taylor expansion of 0 in c
0.424 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.424 * [taylor]: Taking taylor expansion of d in d
0.425 * [taylor]: Taking taylor expansion of 0 in d
0.425 * [taylor]: Taking taylor expansion of 0 in d
0.425 * [taylor]: Taking taylor expansion of 0 in d
0.426 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
0.426 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.426 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.426 * [taylor]: Taking taylor expansion of b in d
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.427 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.427 * [taylor]: Taking taylor expansion of c in d
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.427 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.427 * [taylor]: Taking taylor expansion of d in d
0.427 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.427 * [taylor]: Taking taylor expansion of a in d
0.427 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.427 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.427 * [taylor]: Taking taylor expansion of b in c
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.427 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.427 * [taylor]: Taking taylor expansion of c in c
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.427 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.427 * [taylor]: Taking taylor expansion of d in c
0.427 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.427 * [taylor]: Taking taylor expansion of a in c
0.427 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.427 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.427 * [taylor]: Taking taylor expansion of b in b
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.428 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.428 * [taylor]: Taking taylor expansion of c in b
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.428 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.428 * [taylor]: Taking taylor expansion of d in b
0.428 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.428 * [taylor]: Taking taylor expansion of a in b
0.428 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.428 * [taylor]: Taking taylor expansion of b in a
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.428 * [taylor]: Taking taylor expansion of c in a
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.428 * [taylor]: Taking taylor expansion of d in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.428 * [taylor]: Taking taylor expansion of a in a
0.428 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.428 * [taylor]: Taking taylor expansion of b in a
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.428 * [taylor]: Taking taylor expansion of c in a
0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.429 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.429 * [taylor]: Taking taylor expansion of d in a
0.429 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.429 * [taylor]: Taking taylor expansion of a in a
0.429 * [taylor]: Taking taylor expansion of -1 in b
0.430 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.430 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.430 * [taylor]: Taking taylor expansion of d in b
0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.430 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.430 * [taylor]: Taking taylor expansion of c in b
0.430 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.430 * [taylor]: Taking taylor expansion of b in b
0.431 * [taylor]: Taking taylor expansion of -1 in c
0.431 * [taylor]: Taking taylor expansion of -1 in c
0.432 * [taylor]: Taking taylor expansion of 0 in b
0.433 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (/ 1 d))) in c
0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.433 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.433 * [taylor]: Taking taylor expansion of c in c
0.433 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.433 * [taylor]: Taking taylor expansion of d in c
0.433 * [taylor]: Taking taylor expansion of -1 in d
0.433 * [taylor]: Taking taylor expansion of 0 in c
0.433 * [taylor]: Taking taylor expansion of -1 in d
0.433 * [taylor]: Taking taylor expansion of -1 in d
0.435 * [taylor]: Taking taylor expansion of 0 in b
0.435 * [taylor]: Taking taylor expansion of 0 in c
0.436 * [taylor]: Taking taylor expansion of 0 in c
0.436 * [taylor]: Taking taylor expansion of 0 in c
0.436 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.436 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.436 * [taylor]: Taking taylor expansion of d in d
0.437 * [taylor]: Taking taylor expansion of 0 in d
0.437 * [taylor]: Taking taylor expansion of 0 in d
0.437 * [taylor]: Taking taylor expansion of 0 in d
0.438 * * * [progress]: simplifying candidates
0.438 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d))))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))) (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (exp.f64 (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (*.f64 (exp.f64 (+.f64 b c)) (exp.f64 d)))
  (*.f64 (exp.f64 a) (*.f64 (*.f64 (exp.f64 b) (exp.f64 c)) (exp.f64 d)))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
0.491 * * [simplify]: iteration  0 :  5048  enodes  (cost  266 )
0.493 * [simplify]: Simplified to:
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (+.f64 (+.f64 b c) d)
0.493 * * * [progress]: adding candidates to table
0.566 * * [progress]: iteration 3 / 4
0.566 * * * [progress]: picking best candidate
0.641 * * * * [pick]: Picked  #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 2))>
0.641 * * * [progress]: localizing error
0.658 * * * [progress]: generating rewritten candidates
0.658 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1)
0.667 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.679 * * * [progress]: generating series expansions
0.679 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1)
0.680 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
0.680 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.680 * [taylor]: Taking taylor expansion of d in d
0.680 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.680 * [taylor]: Taking taylor expansion of a in d
0.680 * [taylor]: Taking taylor expansion of (+ b c) in d
0.680 * [taylor]: Taking taylor expansion of b in d
0.680 * [taylor]: Taking taylor expansion of c in d
0.680 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.680 * [taylor]: Taking taylor expansion of d in c
0.680 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.680 * [taylor]: Taking taylor expansion of a in c
0.680 * [taylor]: Taking taylor expansion of (+ b c) in c
0.680 * [taylor]: Taking taylor expansion of b in c
0.680 * [taylor]: Taking taylor expansion of c in c
0.680 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.680 * [taylor]: Taking taylor expansion of d in b
0.680 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.680 * [taylor]: Taking taylor expansion of a in b
0.680 * [taylor]: Taking taylor expansion of (+ b c) in b
0.680 * [taylor]: Taking taylor expansion of b in b
0.680 * [taylor]: Taking taylor expansion of c in b
0.680 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.680 * [taylor]: Taking taylor expansion of d in a
0.680 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.680 * [taylor]: Taking taylor expansion of a in a
0.680 * [taylor]: Taking taylor expansion of (+ b c) in a
0.680 * [taylor]: Taking taylor expansion of b in a
0.680 * [taylor]: Taking taylor expansion of c in a
0.680 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.680 * [taylor]: Taking taylor expansion of d in a
0.680 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.680 * [taylor]: Taking taylor expansion of a in a
0.680 * [taylor]: Taking taylor expansion of (+ b c) in a
0.680 * [taylor]: Taking taylor expansion of b in a
0.680 * [taylor]: Taking taylor expansion of c in a
0.681 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.681 * [taylor]: Taking taylor expansion of d in b
0.681 * [taylor]: Taking taylor expansion of (+ b c) in b
0.681 * [taylor]: Taking taylor expansion of b in b
0.681 * [taylor]: Taking taylor expansion of c in b
0.681 * [taylor]: Taking taylor expansion of (+ d c) in c
0.681 * [taylor]: Taking taylor expansion of d in c
0.681 * [taylor]: Taking taylor expansion of c in c
0.681 * [taylor]: Taking taylor expansion of d in d
0.682 * [taylor]: Taking taylor expansion of 1 in b
0.682 * [taylor]: Taking taylor expansion of 1 in c
0.682 * [taylor]: Taking taylor expansion of 1 in d
0.682 * [taylor]: Taking taylor expansion of 1 in c
0.682 * [taylor]: Taking taylor expansion of 1 in d
0.682 * [taylor]: Taking taylor expansion of 1 in d
0.684 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.684 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.684 * [taylor]: Taking taylor expansion of b in d
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.684 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.684 * [taylor]: Taking taylor expansion of c in d
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.684 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.684 * [taylor]: Taking taylor expansion of d in d
0.684 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.684 * [taylor]: Taking taylor expansion of a in d
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.684 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.684 * [taylor]: Taking taylor expansion of b in c
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.684 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.684 * [taylor]: Taking taylor expansion of c in c
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.684 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.684 * [taylor]: Taking taylor expansion of d in c
0.684 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.684 * [taylor]: Taking taylor expansion of a in c
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.685 * [taylor]: Taking taylor expansion of b in b
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.685 * [taylor]: Taking taylor expansion of c in b
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.685 * [taylor]: Taking taylor expansion of d in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.685 * [taylor]: Taking taylor expansion of a in b
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.685 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.685 * [taylor]: Taking taylor expansion of b in a
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.685 * [taylor]: Taking taylor expansion of c in a
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.685 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.685 * [taylor]: Taking taylor expansion of d in a
0.685 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.685 * [taylor]: Taking taylor expansion of a in a
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.685 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.686 * [taylor]: Taking taylor expansion of b in a
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.686 * [taylor]: Taking taylor expansion of c in a
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.686 * [taylor]: Taking taylor expansion of d in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of 1 in b
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.687 * [taylor]: Taking taylor expansion of d in b
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.687 * [taylor]: Taking taylor expansion of c in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.687 * [taylor]: Taking taylor expansion of b in b
0.687 * [taylor]: Taking taylor expansion of 1 in c
0.687 * [taylor]: Taking taylor expansion of 1 in c
0.689 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.689 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.689 * [taylor]: Taking taylor expansion of c in c
0.689 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.689 * [taylor]: Taking taylor expansion of d in c
0.689 * [taylor]: Taking taylor expansion of 1 in d
0.690 * [taylor]: Taking taylor expansion of 0 in c
0.690 * [taylor]: Taking taylor expansion of 1 in d
0.690 * [taylor]: Taking taylor expansion of 1 in d
0.691 * [taylor]: Taking taylor expansion of 0 in b
0.691 * [taylor]: Taking taylor expansion of 0 in c
0.692 * [taylor]: Taking taylor expansion of 0 in c
0.692 * [taylor]: Taking taylor expansion of 0 in c
0.693 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.693 * [taylor]: Taking taylor expansion of d in d
0.693 * [taylor]: Taking taylor expansion of 0 in d
0.693 * [taylor]: Taking taylor expansion of 0 in d
0.693 * [taylor]: Taking taylor expansion of 0 in d
0.695 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
0.695 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.695 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.695 * [taylor]: Taking taylor expansion of b in d
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.695 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.695 * [taylor]: Taking taylor expansion of c in d
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.695 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.695 * [taylor]: Taking taylor expansion of d in d
0.695 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.695 * [taylor]: Taking taylor expansion of a in d
0.695 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.695 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.695 * [taylor]: Taking taylor expansion of b in c
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.695 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.695 * [taylor]: Taking taylor expansion of c in c
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.696 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.696 * [taylor]: Taking taylor expansion of d in c
0.696 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.696 * [taylor]: Taking taylor expansion of a in c
0.696 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.696 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.696 * [taylor]: Taking taylor expansion of b in b
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.696 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.696 * [taylor]: Taking taylor expansion of c in b
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.696 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.696 * [taylor]: Taking taylor expansion of d in b
0.696 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.696 * [taylor]: Taking taylor expansion of a in b
0.696 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.696 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.696 * [taylor]: Taking taylor expansion of b in a
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.696 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.696 * [taylor]: Taking taylor expansion of c in a
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.697 * [taylor]: Taking taylor expansion of d in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.697 * [taylor]: Taking taylor expansion of a in a
0.697 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.697 * [taylor]: Taking taylor expansion of b in a
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.697 * [taylor]: Taking taylor expansion of c in a
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.697 * [taylor]: Taking taylor expansion of d in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.697 * [taylor]: Taking taylor expansion of a in a
0.697 * [taylor]: Taking taylor expansion of -1 in b
0.699 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.699 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.699 * [taylor]: Taking taylor expansion of d in b
0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.699 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.699 * [taylor]: Taking taylor expansion of c in b
0.699 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.699 * [taylor]: Taking taylor expansion of b in b
0.699 * [taylor]: Taking taylor expansion of -1 in c
0.699 * [taylor]: Taking taylor expansion of -1 in c
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.701 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (/ 1 d))) in c
0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.701 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.701 * [taylor]: Taking taylor expansion of c in c
0.701 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.701 * [taylor]: Taking taylor expansion of d in c
0.702 * [taylor]: Taking taylor expansion of -1 in d
0.702 * [taylor]: Taking taylor expansion of 0 in c
0.702 * [taylor]: Taking taylor expansion of -1 in d
0.702 * [taylor]: Taking taylor expansion of -1 in d
0.704 * [taylor]: Taking taylor expansion of 0 in b
0.704 * [taylor]: Taking taylor expansion of 0 in c
0.705 * [taylor]: Taking taylor expansion of 0 in c
0.705 * [taylor]: Taking taylor expansion of 0 in c
0.705 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.705 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.705 * [taylor]: Taking taylor expansion of d in d
0.705 * [taylor]: Taking taylor expansion of 0 in d
0.705 * [taylor]: Taking taylor expansion of 0 in d
0.705 * [taylor]: Taking taylor expansion of 0 in d
0.707 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.707 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
0.707 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.707 * [taylor]: Taking taylor expansion of d in d
0.707 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.707 * [taylor]: Taking taylor expansion of a in d
0.707 * [taylor]: Taking taylor expansion of (+ b c) in d
0.707 * [taylor]: Taking taylor expansion of b in d
0.707 * [taylor]: Taking taylor expansion of c in d
0.707 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.707 * [taylor]: Taking taylor expansion of d in c
0.707 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.707 * [taylor]: Taking taylor expansion of a in c
0.707 * [taylor]: Taking taylor expansion of (+ b c) in c
0.707 * [taylor]: Taking taylor expansion of b in c
0.707 * [taylor]: Taking taylor expansion of c in c
0.707 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.707 * [taylor]: Taking taylor expansion of d in b
0.707 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.707 * [taylor]: Taking taylor expansion of a in b
0.707 * [taylor]: Taking taylor expansion of (+ b c) in b
0.707 * [taylor]: Taking taylor expansion of b in b
0.707 * [taylor]: Taking taylor expansion of c in b
0.707 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.707 * [taylor]: Taking taylor expansion of d in a
0.707 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.707 * [taylor]: Taking taylor expansion of a in a
0.707 * [taylor]: Taking taylor expansion of (+ b c) in a
0.708 * [taylor]: Taking taylor expansion of b in a
0.708 * [taylor]: Taking taylor expansion of c in a
0.708 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.708 * [taylor]: Taking taylor expansion of d in a
0.708 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.708 * [taylor]: Taking taylor expansion of a in a
0.708 * [taylor]: Taking taylor expansion of (+ b c) in a
0.708 * [taylor]: Taking taylor expansion of b in a
0.708 * [taylor]: Taking taylor expansion of c in a
0.708 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.708 * [taylor]: Taking taylor expansion of d in b
0.708 * [taylor]: Taking taylor expansion of (+ b c) in b
0.708 * [taylor]: Taking taylor expansion of b in b
0.708 * [taylor]: Taking taylor expansion of c in b
0.708 * [taylor]: Taking taylor expansion of (+ d c) in c
0.708 * [taylor]: Taking taylor expansion of d in c
0.708 * [taylor]: Taking taylor expansion of c in c
0.708 * [taylor]: Taking taylor expansion of d in d
0.708 * [taylor]: Taking taylor expansion of 1 in b
0.708 * [taylor]: Taking taylor expansion of 1 in c
0.708 * [taylor]: Taking taylor expansion of 1 in d
0.709 * [taylor]: Taking taylor expansion of 1 in c
0.709 * [taylor]: Taking taylor expansion of 1 in d
0.709 * [taylor]: Taking taylor expansion of 1 in d
0.710 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.710 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.710 * [taylor]: Taking taylor expansion of b in d
0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.710 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.710 * [taylor]: Taking taylor expansion of c in d
0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.710 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.710 * [taylor]: Taking taylor expansion of d in d
0.710 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.710 * [taylor]: Taking taylor expansion of a in d
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.711 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.711 * [taylor]: Taking taylor expansion of b in c
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.711 * [taylor]: Taking taylor expansion of c in c
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.711 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.711 * [taylor]: Taking taylor expansion of d in c
0.711 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.711 * [taylor]: Taking taylor expansion of a in c
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.711 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.711 * [taylor]: Taking taylor expansion of b in b
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.711 * [taylor]: Taking taylor expansion of c in b
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.711 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.711 * [taylor]: Taking taylor expansion of d in b
0.711 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.711 * [taylor]: Taking taylor expansion of a in b
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.711 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.711 * [taylor]: Taking taylor expansion of b in a
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.712 * [taylor]: Taking taylor expansion of c in a
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.712 * [taylor]: Taking taylor expansion of d in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.712 * [taylor]: Taking taylor expansion of a in a
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.712 * [taylor]: Taking taylor expansion of b in a
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.712 * [taylor]: Taking taylor expansion of c in a
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.712 * [taylor]: Taking taylor expansion of d in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.712 * [taylor]: Taking taylor expansion of a in a
0.712 * [taylor]: Taking taylor expansion of 1 in b
0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.713 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.713 * [taylor]: Taking taylor expansion of d in b
0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.713 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.713 * [taylor]: Taking taylor expansion of c in b
0.713 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.713 * [taylor]: Taking taylor expansion of b in b
0.714 * [taylor]: Taking taylor expansion of 1 in c
0.714 * [taylor]: Taking taylor expansion of 1 in c
0.715 * [taylor]: Taking taylor expansion of 0 in b
0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
0.715 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.715 * [taylor]: Taking taylor expansion of c in c
0.715 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.715 * [taylor]: Taking taylor expansion of d in c
0.716 * [taylor]: Taking taylor expansion of 1 in d
0.716 * [taylor]: Taking taylor expansion of 0 in c
0.716 * [taylor]: Taking taylor expansion of 1 in d
0.716 * [taylor]: Taking taylor expansion of 1 in d
0.717 * [taylor]: Taking taylor expansion of 0 in b
0.717 * [taylor]: Taking taylor expansion of 0 in c
0.718 * [taylor]: Taking taylor expansion of 0 in c
0.718 * [taylor]: Taking taylor expansion of 0 in c
0.719 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.719 * [taylor]: Taking taylor expansion of d in d
0.719 * [taylor]: Taking taylor expansion of 0 in d
0.719 * [taylor]: Taking taylor expansion of 0 in d
0.719 * [taylor]: Taking taylor expansion of 0 in d
0.721 * [approximate]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
0.721 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.721 * [taylor]: Taking taylor expansion of (cbrt -1) in d
0.721 * [taylor]: Taking taylor expansion of -1 in d
0.721 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.721 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.721 * [taylor]: Taking taylor expansion of b in d
0.721 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.721 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.722 * [taylor]: Taking taylor expansion of c in d
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.722 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.722 * [taylor]: Taking taylor expansion of d in d
0.722 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.722 * [taylor]: Taking taylor expansion of a in d
0.722 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
0.722 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.722 * [taylor]: Taking taylor expansion of -1 in c
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.722 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.722 * [taylor]: Taking taylor expansion of b in c
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.722 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.722 * [taylor]: Taking taylor expansion of c in c
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.722 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.722 * [taylor]: Taking taylor expansion of d in c
0.722 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.722 * [taylor]: Taking taylor expansion of a in c
0.723 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
0.723 * [taylor]: Taking taylor expansion of (cbrt -1) in b
0.723 * [taylor]: Taking taylor expansion of -1 in b
0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.723 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.723 * [taylor]: Taking taylor expansion of b in b
0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.723 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.723 * [taylor]: Taking taylor expansion of c in b
0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.723 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.723 * [taylor]: Taking taylor expansion of d in b
0.723 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.723 * [taylor]: Taking taylor expansion of a in b
0.723 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.723 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.723 * [taylor]: Taking taylor expansion of -1 in a
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.724 * [taylor]: Taking taylor expansion of b in a
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.724 * [taylor]: Taking taylor expansion of c in a
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.724 * [taylor]: Taking taylor expansion of d in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.724 * [taylor]: Taking taylor expansion of a in a
0.724 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.724 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.724 * [taylor]: Taking taylor expansion of -1 in a
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.724 * [taylor]: Taking taylor expansion of b in a
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.724 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.724 * [taylor]: Taking taylor expansion of c in a
0.725 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.725 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.725 * [taylor]: Taking taylor expansion of d in a
0.725 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.725 * [taylor]: Taking taylor expansion of a in a
0.725 * [taylor]: Taking taylor expansion of (cbrt -1) in b
0.725 * [taylor]: Taking taylor expansion of -1 in b
0.727 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (+ (/ (cbrt -1) d) (/ (cbrt -1) b))) in b
0.727 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in b
0.727 * [taylor]: Taking taylor expansion of (cbrt -1) in b
0.727 * [taylor]: Taking taylor expansion of -1 in b
0.727 * [taylor]: Taking taylor expansion of c in b
0.727 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) d) (/ (cbrt -1) b)) in b
0.727 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in b
0.727 * [taylor]: Taking taylor expansion of (cbrt -1) in b
0.727 * [taylor]: Taking taylor expansion of -1 in b
0.728 * [taylor]: Taking taylor expansion of d in b
0.728 * [taylor]: Taking taylor expansion of (/ (cbrt -1) b) in b
0.728 * [taylor]: Taking taylor expansion of (cbrt -1) in b
0.728 * [taylor]: Taking taylor expansion of -1 in b
0.728 * [taylor]: Taking taylor expansion of b in b
0.728 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.728 * [taylor]: Taking taylor expansion of -1 in c
0.729 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.729 * [taylor]: Taking taylor expansion of -1 in c
0.731 * [taylor]: Taking taylor expansion of 0 in b
0.732 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (/ (cbrt -1) d)) in c
0.732 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in c
0.732 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.732 * [taylor]: Taking taylor expansion of -1 in c
0.733 * [taylor]: Taking taylor expansion of c in c
0.733 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in c
0.733 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.733 * [taylor]: Taking taylor expansion of -1 in c
0.733 * [taylor]: Taking taylor expansion of d in c
0.733 * [taylor]: Taking taylor expansion of (cbrt -1) in d
0.733 * [taylor]: Taking taylor expansion of -1 in d
0.734 * [taylor]: Taking taylor expansion of 0 in c
0.734 * [taylor]: Taking taylor expansion of (cbrt -1) in d
0.734 * [taylor]: Taking taylor expansion of -1 in d
0.734 * [taylor]: Taking taylor expansion of (cbrt -1) in d
0.734 * [taylor]: Taking taylor expansion of -1 in d
0.737 * [taylor]: Taking taylor expansion of 0 in b
0.737 * [taylor]: Taking taylor expansion of 0 in c
0.739 * [taylor]: Taking taylor expansion of 0 in c
0.740 * [taylor]: Taking taylor expansion of 0 in c
0.740 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in d
0.740 * [taylor]: Taking taylor expansion of (cbrt -1) in d
0.740 * [taylor]: Taking taylor expansion of -1 in d
0.741 * [taylor]: Taking taylor expansion of d in d
0.741 * [taylor]: Taking taylor expansion of 0 in d
0.741 * [taylor]: Taking taylor expansion of 0 in d
0.741 * [taylor]: Taking taylor expansion of 0 in d
0.743 * * * [progress]: simplifying candidates
0.744 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d))))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))) (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (exp.f64 (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (*.f64 (exp.f64 (+.f64 b c)) (exp.f64 d)))
  (*.f64 (exp.f64 a) (*.f64 (*.f64 (exp.f64 b) (exp.f64 c)) (exp.f64 d)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (-.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) 3))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (exp.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (log.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (neg.f64 (+.f64 (*.f64 (cbrt.f64 -1) b) (+.f64 (*.f64 (cbrt.f64 -1) c) (*.f64 d (cbrt.f64 -1)))))
0.802 * * [simplify]: iteration  0 :  5154  enodes  (cost  822 )
0.807 * [simplify]: Simplified to:
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (+.f64 (+.f64 b c) d)
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (neg.f64 (*.f64 (cbrt.f64 -1) (+.f64 (+.f64 b c) d)))
0.808 * * * [progress]: adding candidates to table
0.948 * * [progress]: iteration 4 / 4
0.948 * * * [progress]: picking best candidate
1.090 * * * * [pick]: Picked  #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 2))>
1.090 * * * [progress]: localizing error
1.110 * * * [progress]: generating rewritten candidates
1.110 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1 1)
1.119 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
1.128 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.146 * * * [progress]: generating series expansions
1.146 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1 1)
1.147 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
1.147 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
1.147 * [taylor]: Taking taylor expansion of d in d
1.147 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
1.147 * [taylor]: Taking taylor expansion of a in d
1.147 * [taylor]: Taking taylor expansion of (+ b c) in d
1.147 * [taylor]: Taking taylor expansion of b in d
1.147 * [taylor]: Taking taylor expansion of c in d
1.147 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
1.147 * [taylor]: Taking taylor expansion of d in c
1.147 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
1.147 * [taylor]: Taking taylor expansion of a in c
1.147 * [taylor]: Taking taylor expansion of (+ b c) in c
1.147 * [taylor]: Taking taylor expansion of b in c
1.147 * [taylor]: Taking taylor expansion of c in c
1.147 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
1.147 * [taylor]: Taking taylor expansion of d in b
1.147 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
1.147 * [taylor]: Taking taylor expansion of a in b
1.147 * [taylor]: Taking taylor expansion of (+ b c) in b
1.147 * [taylor]: Taking taylor expansion of b in b
1.147 * [taylor]: Taking taylor expansion of c in b
1.147 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.147 * [taylor]: Taking taylor expansion of d in a
1.147 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.147 * [taylor]: Taking taylor expansion of a in a
1.147 * [taylor]: Taking taylor expansion of (+ b c) in a
1.147 * [taylor]: Taking taylor expansion of b in a
1.147 * [taylor]: Taking taylor expansion of c in a
1.147 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.147 * [taylor]: Taking taylor expansion of d in a
1.147 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.147 * [taylor]: Taking taylor expansion of a in a
1.147 * [taylor]: Taking taylor expansion of (+ b c) in a
1.147 * [taylor]: Taking taylor expansion of b in a
1.147 * [taylor]: Taking taylor expansion of c in a
1.148 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.148 * [taylor]: Taking taylor expansion of d in b
1.148 * [taylor]: Taking taylor expansion of (+ b c) in b
1.148 * [taylor]: Taking taylor expansion of b in b
1.148 * [taylor]: Taking taylor expansion of c in b
1.148 * [taylor]: Taking taylor expansion of (+ d c) in c
1.148 * [taylor]: Taking taylor expansion of d in c
1.148 * [taylor]: Taking taylor expansion of c in c
1.148 * [taylor]: Taking taylor expansion of d in d
1.148 * [taylor]: Taking taylor expansion of 1 in b
1.148 * [taylor]: Taking taylor expansion of 1 in c
1.148 * [taylor]: Taking taylor expansion of 1 in d
1.148 * [taylor]: Taking taylor expansion of 1 in c
1.148 * [taylor]: Taking taylor expansion of 1 in d
1.149 * [taylor]: Taking taylor expansion of 1 in d
1.150 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.150 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.150 * [taylor]: Taking taylor expansion of b in d
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.150 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.150 * [taylor]: Taking taylor expansion of c in d
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.150 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.150 * [taylor]: Taking taylor expansion of d in d
1.150 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.150 * [taylor]: Taking taylor expansion of a in d
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.150 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.150 * [taylor]: Taking taylor expansion of b in c
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.151 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.151 * [taylor]: Taking taylor expansion of c in c
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.151 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.151 * [taylor]: Taking taylor expansion of d in c
1.151 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.151 * [taylor]: Taking taylor expansion of a in c
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.151 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.151 * [taylor]: Taking taylor expansion of b in b
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.151 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.151 * [taylor]: Taking taylor expansion of c in b
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.151 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.151 * [taylor]: Taking taylor expansion of d in b
1.151 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.151 * [taylor]: Taking taylor expansion of a in b
1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.151 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.151 * [taylor]: Taking taylor expansion of b in a
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.152 * [taylor]: Taking taylor expansion of c in a
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.152 * [taylor]: Taking taylor expansion of d in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.152 * [taylor]: Taking taylor expansion of a in a
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.152 * [taylor]: Taking taylor expansion of b in a
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.152 * [taylor]: Taking taylor expansion of c in a
1.152 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.152 * [taylor]: Taking taylor expansion of d in a
1.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.152 * [taylor]: Taking taylor expansion of a in a
1.153 * [taylor]: Taking taylor expansion of 1 in b
1.153 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
1.153 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.153 * [taylor]: Taking taylor expansion of d in b
1.153 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.154 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.154 * [taylor]: Taking taylor expansion of c in b
1.154 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.154 * [taylor]: Taking taylor expansion of b in b
1.154 * [taylor]: Taking taylor expansion of 1 in c
1.154 * [taylor]: Taking taylor expansion of 1 in c
1.155 * [taylor]: Taking taylor expansion of 0 in b
1.156 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.156 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.156 * [taylor]: Taking taylor expansion of c in c
1.156 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.156 * [taylor]: Taking taylor expansion of d in c
1.156 * [taylor]: Taking taylor expansion of 1 in d
1.156 * [taylor]: Taking taylor expansion of 0 in c
1.156 * [taylor]: Taking taylor expansion of 1 in d
1.156 * [taylor]: Taking taylor expansion of 1 in d
1.157 * [taylor]: Taking taylor expansion of 0 in b
1.157 * [taylor]: Taking taylor expansion of 0 in c
1.158 * [taylor]: Taking taylor expansion of 0 in c
1.158 * [taylor]: Taking taylor expansion of 0 in c
1.159 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.159 * [taylor]: Taking taylor expansion of d in d
1.159 * [taylor]: Taking taylor expansion of 0 in d
1.159 * [taylor]: Taking taylor expansion of 0 in d
1.159 * [taylor]: Taking taylor expansion of 0 in d
1.161 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
1.161 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.161 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.161 * [taylor]: Taking taylor expansion of b in d
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.161 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.161 * [taylor]: Taking taylor expansion of c in d
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.161 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.161 * [taylor]: Taking taylor expansion of d in d
1.161 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.161 * [taylor]: Taking taylor expansion of a in d
1.161 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.162 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.162 * [taylor]: Taking taylor expansion of b in c
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.162 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.162 * [taylor]: Taking taylor expansion of c in c
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.162 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.162 * [taylor]: Taking taylor expansion of d in c
1.162 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.162 * [taylor]: Taking taylor expansion of a in c
1.162 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.162 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.162 * [taylor]: Taking taylor expansion of b in b
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.162 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.162 * [taylor]: Taking taylor expansion of c in b
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.162 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.162 * [taylor]: Taking taylor expansion of d in b
1.162 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.162 * [taylor]: Taking taylor expansion of a in b
1.162 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.163 * [taylor]: Taking taylor expansion of b in a
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.163 * [taylor]: Taking taylor expansion of c in a
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.163 * [taylor]: Taking taylor expansion of d in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.163 * [taylor]: Taking taylor expansion of a in a
1.163 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.163 * [taylor]: Taking taylor expansion of b in a
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.163 * [taylor]: Taking taylor expansion of c in a
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.163 * [taylor]: Taking taylor expansion of d in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.163 * [taylor]: Taking taylor expansion of a in a
1.164 * [taylor]: Taking taylor expansion of -1 in b
1.165 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
1.165 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
1.165 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.165 * [taylor]: Taking taylor expansion of d in b
1.165 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.165 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.165 * [taylor]: Taking taylor expansion of c in b
1.165 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.165 * [taylor]: Taking taylor expansion of b in b
1.165 * [taylor]: Taking taylor expansion of -1 in c
1.165 * [taylor]: Taking taylor expansion of -1 in c
1.167 * [taylor]: Taking taylor expansion of 0 in b
1.167 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (/ 1 d))) in c
1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.168 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.168 * [taylor]: Taking taylor expansion of c in c
1.168 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.168 * [taylor]: Taking taylor expansion of d in c
1.168 * [taylor]: Taking taylor expansion of -1 in d
1.168 * [taylor]: Taking taylor expansion of 0 in c
1.168 * [taylor]: Taking taylor expansion of -1 in d
1.168 * [taylor]: Taking taylor expansion of -1 in d
1.169 * [taylor]: Taking taylor expansion of 0 in b
1.169 * [taylor]: Taking taylor expansion of 0 in c
1.170 * [taylor]: Taking taylor expansion of 0 in c
1.170 * [taylor]: Taking taylor expansion of 0 in c
1.171 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.171 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.171 * [taylor]: Taking taylor expansion of d in d
1.171 * [taylor]: Taking taylor expansion of 0 in d
1.171 * [taylor]: Taking taylor expansion of 0 in d
1.171 * [taylor]: Taking taylor expansion of 0 in d
1.173 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
1.173 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
1.174 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
1.174 * [taylor]: Taking taylor expansion of d in d
1.174 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
1.174 * [taylor]: Taking taylor expansion of a in d
1.174 * [taylor]: Taking taylor expansion of (+ b c) in d
1.174 * [taylor]: Taking taylor expansion of b in d
1.174 * [taylor]: Taking taylor expansion of c in d
1.174 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
1.174 * [taylor]: Taking taylor expansion of d in c
1.174 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
1.174 * [taylor]: Taking taylor expansion of a in c
1.174 * [taylor]: Taking taylor expansion of (+ b c) in c
1.174 * [taylor]: Taking taylor expansion of b in c
1.174 * [taylor]: Taking taylor expansion of c in c
1.174 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
1.174 * [taylor]: Taking taylor expansion of d in b
1.174 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
1.174 * [taylor]: Taking taylor expansion of a in b
1.174 * [taylor]: Taking taylor expansion of (+ b c) in b
1.174 * [taylor]: Taking taylor expansion of b in b
1.174 * [taylor]: Taking taylor expansion of c in b
1.174 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.174 * [taylor]: Taking taylor expansion of d in a
1.174 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.174 * [taylor]: Taking taylor expansion of a in a
1.174 * [taylor]: Taking taylor expansion of (+ b c) in a
1.174 * [taylor]: Taking taylor expansion of b in a
1.174 * [taylor]: Taking taylor expansion of c in a
1.174 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.174 * [taylor]: Taking taylor expansion of d in a
1.174 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.174 * [taylor]: Taking taylor expansion of a in a
1.174 * [taylor]: Taking taylor expansion of (+ b c) in a
1.174 * [taylor]: Taking taylor expansion of b in a
1.174 * [taylor]: Taking taylor expansion of c in a
1.175 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.175 * [taylor]: Taking taylor expansion of d in b
1.175 * [taylor]: Taking taylor expansion of (+ b c) in b
1.175 * [taylor]: Taking taylor expansion of b in b
1.175 * [taylor]: Taking taylor expansion of c in b
1.175 * [taylor]: Taking taylor expansion of (+ d c) in c
1.175 * [taylor]: Taking taylor expansion of d in c
1.175 * [taylor]: Taking taylor expansion of c in c
1.175 * [taylor]: Taking taylor expansion of d in d
1.175 * [taylor]: Taking taylor expansion of 1 in b
1.175 * [taylor]: Taking taylor expansion of 1 in c
1.175 * [taylor]: Taking taylor expansion of 1 in d
1.176 * [taylor]: Taking taylor expansion of 1 in c
1.176 * [taylor]: Taking taylor expansion of 1 in d
1.176 * [taylor]: Taking taylor expansion of 1 in d
1.177 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
1.177 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.177 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.177 * [taylor]: Taking taylor expansion of b in d
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.178 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.178 * [taylor]: Taking taylor expansion of c in d
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.178 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.178 * [taylor]: Taking taylor expansion of d in d
1.178 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.178 * [taylor]: Taking taylor expansion of a in d
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.178 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.178 * [taylor]: Taking taylor expansion of b in c
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.178 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.178 * [taylor]: Taking taylor expansion of c in c
1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.182 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.182 * [taylor]: Taking taylor expansion of d in c
1.182 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.182 * [taylor]: Taking taylor expansion of a in c
1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.182 * [taylor]: Taking taylor expansion of b in b
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.183 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.183 * [taylor]: Taking taylor expansion of c in b
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.183 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.183 * [taylor]: Taking taylor expansion of d in b
1.183 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.183 * [taylor]: Taking taylor expansion of a in b
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.183 * [taylor]: Taking taylor expansion of b in a
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.183 * [taylor]: Taking taylor expansion of c in a
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.183 * [taylor]: Taking taylor expansion of d in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.183 * [taylor]: Taking taylor expansion of a in a
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.183 * [taylor]: Taking taylor expansion of b in a
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.183 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.183 * [taylor]: Taking taylor expansion of c in a
1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.184 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.184 * [taylor]: Taking taylor expansion of d in a
1.184 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.184 * [taylor]: Taking taylor expansion of a in a
1.184 * [taylor]: Taking taylor expansion of 1 in b
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
1.185 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.185 * [taylor]: Taking taylor expansion of d in b
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.185 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.185 * [taylor]: Taking taylor expansion of c in b
1.185 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.185 * [taylor]: Taking taylor expansion of b in b
1.186 * [taylor]: Taking taylor expansion of 1 in c
1.186 * [taylor]: Taking taylor expansion of 1 in c
1.187 * [taylor]: Taking taylor expansion of 0 in b
1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.188 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.188 * [taylor]: Taking taylor expansion of c in c
1.188 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.188 * [taylor]: Taking taylor expansion of d in c
1.188 * [taylor]: Taking taylor expansion of 1 in d
1.188 * [taylor]: Taking taylor expansion of 0 in c
1.188 * [taylor]: Taking taylor expansion of 1 in d
1.188 * [taylor]: Taking taylor expansion of 1 in d
1.190 * [taylor]: Taking taylor expansion of 0 in b
1.190 * [taylor]: Taking taylor expansion of 0 in c
1.190 * [taylor]: Taking taylor expansion of 0 in c
1.190 * [taylor]: Taking taylor expansion of 0 in c
1.191 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.191 * [taylor]: Taking taylor expansion of d in d
1.191 * [taylor]: Taking taylor expansion of 0 in d
1.191 * [taylor]: Taking taylor expansion of 0 in d
1.191 * [taylor]: Taking taylor expansion of 0 in d
1.193 * [approximate]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
1.193 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
1.193 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.193 * [taylor]: Taking taylor expansion of -1 in d
1.193 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.194 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.194 * [taylor]: Taking taylor expansion of b in d
1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.194 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.194 * [taylor]: Taking taylor expansion of c in d
1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.194 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.194 * [taylor]: Taking taylor expansion of d in d
1.194 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.194 * [taylor]: Taking taylor expansion of a in d
1.194 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
1.194 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.194 * [taylor]: Taking taylor expansion of -1 in c
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.195 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.195 * [taylor]: Taking taylor expansion of b in c
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.195 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.195 * [taylor]: Taking taylor expansion of c in c
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.195 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.195 * [taylor]: Taking taylor expansion of d in c
1.195 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.195 * [taylor]: Taking taylor expansion of a in c
1.195 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
1.195 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.195 * [taylor]: Taking taylor expansion of -1 in b
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.195 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.195 * [taylor]: Taking taylor expansion of b in b
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.196 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.196 * [taylor]: Taking taylor expansion of c in b
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.196 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.196 * [taylor]: Taking taylor expansion of d in b
1.196 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.196 * [taylor]: Taking taylor expansion of a in b
1.196 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.196 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.196 * [taylor]: Taking taylor expansion of -1 in a
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.196 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.196 * [taylor]: Taking taylor expansion of b in a
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.196 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.196 * [taylor]: Taking taylor expansion of c in a
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.197 * [taylor]: Taking taylor expansion of d in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.197 * [taylor]: Taking taylor expansion of a in a
1.197 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.197 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.197 * [taylor]: Taking taylor expansion of -1 in a
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.197 * [taylor]: Taking taylor expansion of b in a
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.197 * [taylor]: Taking taylor expansion of c in a
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.197 * [taylor]: Taking taylor expansion of d in a
1.197 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.197 * [taylor]: Taking taylor expansion of a in a
1.198 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.198 * [taylor]: Taking taylor expansion of -1 in b
1.200 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (+ (/ (cbrt -1) d) (/ (cbrt -1) b))) in b
1.200 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in b
1.200 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.200 * [taylor]: Taking taylor expansion of -1 in b
1.200 * [taylor]: Taking taylor expansion of c in b
1.200 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) d) (/ (cbrt -1) b)) in b
1.200 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in b
1.200 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.200 * [taylor]: Taking taylor expansion of -1 in b
1.201 * [taylor]: Taking taylor expansion of d in b
1.201 * [taylor]: Taking taylor expansion of (/ (cbrt -1) b) in b
1.201 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.201 * [taylor]: Taking taylor expansion of -1 in b
1.201 * [taylor]: Taking taylor expansion of b in b
1.202 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.202 * [taylor]: Taking taylor expansion of -1 in c
1.202 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.202 * [taylor]: Taking taylor expansion of -1 in c
1.205 * [taylor]: Taking taylor expansion of 0 in b
1.206 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (/ (cbrt -1) d)) in c
1.206 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in c
1.206 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.206 * [taylor]: Taking taylor expansion of -1 in c
1.206 * [taylor]: Taking taylor expansion of c in c
1.206 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in c
1.206 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.206 * [taylor]: Taking taylor expansion of -1 in c
1.206 * [taylor]: Taking taylor expansion of d in c
1.207 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.207 * [taylor]: Taking taylor expansion of -1 in d
1.207 * [taylor]: Taking taylor expansion of 0 in c
1.207 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.207 * [taylor]: Taking taylor expansion of -1 in d
1.208 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.208 * [taylor]: Taking taylor expansion of -1 in d
1.210 * [taylor]: Taking taylor expansion of 0 in b
1.210 * [taylor]: Taking taylor expansion of 0 in c
1.212 * [taylor]: Taking taylor expansion of 0 in c
1.213 * [taylor]: Taking taylor expansion of 0 in c
1.214 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in d
1.214 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.214 * [taylor]: Taking taylor expansion of -1 in d
1.214 * [taylor]: Taking taylor expansion of d in d
1.214 * [taylor]: Taking taylor expansion of 0 in d
1.214 * [taylor]: Taking taylor expansion of 0 in d
1.214 * [taylor]: Taking taylor expansion of 0 in d
1.217 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.217 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0
1.217 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
1.217 * [taylor]: Taking taylor expansion of d in d
1.218 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
1.218 * [taylor]: Taking taylor expansion of a in d
1.218 * [taylor]: Taking taylor expansion of (+ b c) in d
1.218 * [taylor]: Taking taylor expansion of b in d
1.218 * [taylor]: Taking taylor expansion of c in d
1.218 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
1.218 * [taylor]: Taking taylor expansion of d in c
1.218 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
1.218 * [taylor]: Taking taylor expansion of a in c
1.218 * [taylor]: Taking taylor expansion of (+ b c) in c
1.218 * [taylor]: Taking taylor expansion of b in c
1.218 * [taylor]: Taking taylor expansion of c in c
1.218 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
1.218 * [taylor]: Taking taylor expansion of d in b
1.218 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
1.218 * [taylor]: Taking taylor expansion of a in b
1.218 * [taylor]: Taking taylor expansion of (+ b c) in b
1.218 * [taylor]: Taking taylor expansion of b in b
1.218 * [taylor]: Taking taylor expansion of c in b
1.218 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.218 * [taylor]: Taking taylor expansion of d in a
1.218 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.218 * [taylor]: Taking taylor expansion of a in a
1.218 * [taylor]: Taking taylor expansion of (+ b c) in a
1.218 * [taylor]: Taking taylor expansion of b in a
1.218 * [taylor]: Taking taylor expansion of c in a
1.218 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
1.218 * [taylor]: Taking taylor expansion of d in a
1.218 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
1.218 * [taylor]: Taking taylor expansion of a in a
1.218 * [taylor]: Taking taylor expansion of (+ b c) in a
1.218 * [taylor]: Taking taylor expansion of b in a
1.218 * [taylor]: Taking taylor expansion of c in a
1.218 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
1.218 * [taylor]: Taking taylor expansion of d in b
1.218 * [taylor]: Taking taylor expansion of (+ b c) in b
1.218 * [taylor]: Taking taylor expansion of b in b
1.218 * [taylor]: Taking taylor expansion of c in b
1.219 * [taylor]: Taking taylor expansion of (+ d c) in c
1.219 * [taylor]: Taking taylor expansion of d in c
1.219 * [taylor]: Taking taylor expansion of c in c
1.219 * [taylor]: Taking taylor expansion of d in d
1.219 * [taylor]: Taking taylor expansion of 1 in b
1.219 * [taylor]: Taking taylor expansion of 1 in c
1.219 * [taylor]: Taking taylor expansion of 1 in d
1.219 * [taylor]: Taking taylor expansion of 1 in c
1.219 * [taylor]: Taking taylor expansion of 1 in d
1.219 * [taylor]: Taking taylor expansion of 1 in d
1.221 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (a b c d) around 0
1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.221 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.221 * [taylor]: Taking taylor expansion of b in d
1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.221 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.221 * [taylor]: Taking taylor expansion of c in d
1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.221 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.221 * [taylor]: Taking taylor expansion of d in d
1.221 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.221 * [taylor]: Taking taylor expansion of a in d
1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.222 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.222 * [taylor]: Taking taylor expansion of b in c
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.222 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.222 * [taylor]: Taking taylor expansion of c in c
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.222 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.222 * [taylor]: Taking taylor expansion of d in c
1.222 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.222 * [taylor]: Taking taylor expansion of a in c
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.222 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.222 * [taylor]: Taking taylor expansion of b in b
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.222 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.222 * [taylor]: Taking taylor expansion of c in b
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.222 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.222 * [taylor]: Taking taylor expansion of d in b
1.222 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.222 * [taylor]: Taking taylor expansion of a in b
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.222 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.222 * [taylor]: Taking taylor expansion of b in a
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.223 * [taylor]: Taking taylor expansion of c in a
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.223 * [taylor]: Taking taylor expansion of d in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.223 * [taylor]: Taking taylor expansion of a in a
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.223 * [taylor]: Taking taylor expansion of b in a
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.223 * [taylor]: Taking taylor expansion of c in a
1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.223 * [taylor]: Taking taylor expansion of d in a
1.223 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.223 * [taylor]: Taking taylor expansion of a in a
1.224 * [taylor]: Taking taylor expansion of 1 in b
1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
1.224 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.224 * [taylor]: Taking taylor expansion of d in b
1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
1.224 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.225 * [taylor]: Taking taylor expansion of c in b
1.225 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.225 * [taylor]: Taking taylor expansion of b in b
1.225 * [taylor]: Taking taylor expansion of 1 in c
1.225 * [taylor]: Taking taylor expansion of 1 in c
1.226 * [taylor]: Taking taylor expansion of 0 in b
1.227 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
1.227 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.227 * [taylor]: Taking taylor expansion of c in c
1.227 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.227 * [taylor]: Taking taylor expansion of d in c
1.227 * [taylor]: Taking taylor expansion of 1 in d
1.227 * [taylor]: Taking taylor expansion of 0 in c
1.227 * [taylor]: Taking taylor expansion of 1 in d
1.227 * [taylor]: Taking taylor expansion of 1 in d
1.229 * [taylor]: Taking taylor expansion of 0 in b
1.229 * [taylor]: Taking taylor expansion of 0 in c
1.230 * [taylor]: Taking taylor expansion of 0 in c
1.230 * [taylor]: Taking taylor expansion of 0 in c
1.230 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.230 * [taylor]: Taking taylor expansion of d in d
1.230 * [taylor]: Taking taylor expansion of 0 in d
1.230 * [taylor]: Taking taylor expansion of 0 in d
1.230 * [taylor]: Taking taylor expansion of 0 in d
1.233 * [approximate]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (a b c d) around 0
1.233 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
1.233 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.233 * [taylor]: Taking taylor expansion of -1 in d
1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
1.233 * [taylor]: Taking taylor expansion of (/ 1 b) in d
1.233 * [taylor]: Taking taylor expansion of b in d
1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
1.233 * [taylor]: Taking taylor expansion of (/ 1 c) in d
1.233 * [taylor]: Taking taylor expansion of c in d
1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
1.233 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.233 * [taylor]: Taking taylor expansion of d in d
1.233 * [taylor]: Taking taylor expansion of (/ 1 a) in d
1.234 * [taylor]: Taking taylor expansion of a in d
1.234 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
1.234 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.234 * [taylor]: Taking taylor expansion of -1 in c
1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
1.234 * [taylor]: Taking taylor expansion of (/ 1 b) in c
1.234 * [taylor]: Taking taylor expansion of b in c
1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
1.234 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.234 * [taylor]: Taking taylor expansion of c in c
1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
1.234 * [taylor]: Taking taylor expansion of (/ 1 d) in c
1.234 * [taylor]: Taking taylor expansion of d in c
1.234 * [taylor]: Taking taylor expansion of (/ 1 a) in c
1.234 * [taylor]: Taking taylor expansion of a in c
1.234 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
1.234 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.234 * [taylor]: Taking taylor expansion of -1 in b
1.235 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
1.235 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.235 * [taylor]: Taking taylor expansion of b in b
1.235 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
1.235 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.235 * [taylor]: Taking taylor expansion of c in b
1.235 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
1.235 * [taylor]: Taking taylor expansion of (/ 1 d) in b
1.235 * [taylor]: Taking taylor expansion of d in b
1.235 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.235 * [taylor]: Taking taylor expansion of a in b
1.235 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.235 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.235 * [taylor]: Taking taylor expansion of -1 in a
1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.236 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.236 * [taylor]: Taking taylor expansion of b in a
1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.236 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.236 * [taylor]: Taking taylor expansion of c in a
1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.236 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.236 * [taylor]: Taking taylor expansion of d in a
1.236 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.236 * [taylor]: Taking taylor expansion of a in a
1.236 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
1.236 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.236 * [taylor]: Taking taylor expansion of -1 in a
1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
1.236 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.236 * [taylor]: Taking taylor expansion of b in a
1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
1.237 * [taylor]: Taking taylor expansion of (/ 1 c) in a
1.237 * [taylor]: Taking taylor expansion of c in a
1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
1.237 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.237 * [taylor]: Taking taylor expansion of d in a
1.237 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.237 * [taylor]: Taking taylor expansion of a in a
1.237 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.237 * [taylor]: Taking taylor expansion of -1 in b
1.239 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (+ (/ (cbrt -1) d) (/ (cbrt -1) b))) in b
1.239 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in b
1.239 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.239 * [taylor]: Taking taylor expansion of -1 in b
1.239 * [taylor]: Taking taylor expansion of c in b
1.239 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) d) (/ (cbrt -1) b)) in b
1.240 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in b
1.240 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.240 * [taylor]: Taking taylor expansion of -1 in b
1.240 * [taylor]: Taking taylor expansion of d in b
1.240 * [taylor]: Taking taylor expansion of (/ (cbrt -1) b) in b
1.240 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.240 * [taylor]: Taking taylor expansion of -1 in b
1.240 * [taylor]: Taking taylor expansion of b in b
1.241 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.241 * [taylor]: Taking taylor expansion of -1 in c
1.241 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.241 * [taylor]: Taking taylor expansion of -1 in c
1.244 * [taylor]: Taking taylor expansion of 0 in b
1.245 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) c) (/ (cbrt -1) d)) in c
1.245 * [taylor]: Taking taylor expansion of (/ (cbrt -1) c) in c
1.245 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.245 * [taylor]: Taking taylor expansion of -1 in c
1.245 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in c
1.246 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.246 * [taylor]: Taking taylor expansion of -1 in c
1.246 * [taylor]: Taking taylor expansion of d in c
1.246 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.246 * [taylor]: Taking taylor expansion of -1 in d
1.246 * [taylor]: Taking taylor expansion of 0 in c
1.246 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.246 * [taylor]: Taking taylor expansion of -1 in d
1.247 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.247 * [taylor]: Taking taylor expansion of -1 in d
1.250 * [taylor]: Taking taylor expansion of 0 in b
1.250 * [taylor]: Taking taylor expansion of 0 in c
1.252 * [taylor]: Taking taylor expansion of 0 in c
1.252 * [taylor]: Taking taylor expansion of 0 in c
1.253 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d) in d
1.253 * [taylor]: Taking taylor expansion of (cbrt -1) in d
1.253 * [taylor]: Taking taylor expansion of -1 in d
1.253 * [taylor]: Taking taylor expansion of d in d
1.253 * [taylor]: Taking taylor expansion of 0 in d
1.253 * [taylor]: Taking taylor expansion of 0 in d
1.253 * [taylor]: Taking taylor expansion of 0 in d
1.255 * * * [progress]: simplifying candidates
1.257 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d))))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))) (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (exp.f64 (+.f64 (+.f64 b c) d)))
  (*.f64 (exp.f64 a) (*.f64 (exp.f64 (+.f64 b c)) (exp.f64 d)))
  (*.f64 (exp.f64 a) (*.f64 (*.f64 (exp.f64 b) (exp.f64 c)) (exp.f64 d)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (-.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) 3))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d))))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (exp.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (log.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)) (*.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (/.f64 3 2)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 1) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (/.f64 3 2))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 1) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) (+.f64 a (+.f64 (+.f64 b c) d)))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 3)) 3))
  (exp.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (neg.f64 (+.f64 (*.f64 (cbrt.f64 -1) b) (+.f64 (*.f64 (cbrt.f64 -1) c) (*.f64 d (cbrt.f64 -1)))))
  (+.f64 a (+.f64 b c))
  (+.f64 d (+.f64 b c))
  (neg.f64 (+.f64 (*.f64 (cbrt.f64 -1) b) (+.f64 (*.f64 (cbrt.f64 -1) c) (*.f64 d (cbrt.f64 -1)))))
1.319 * * [simplify]: iteration  0 :  5285  enodes  (cost  2057 )
1.331 * [simplify]: Simplified to:
   (+.f64 a (+.f64 b c))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 a (+.f64 (+.f64 b c) d))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d)))
  (-.f64 a (+.f64 (+.f64 b c) d))
  (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3))
  (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (cbrt.f64 1)
  (+.f64 a (+.f64 (+.f64 b c) d))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (sqrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6))
  (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (+.f64 (+.f64 b c) d)
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (neg.f64 (*.f64 (cbrt.f64 -1) (+.f64 (+.f64 b c) d)))
  (+.f64 a (+.f64 b c))
  (+.f64 (+.f64 b c) d)
  (neg.f64 (*.f64 (cbrt.f64 -1) (+.f64 (+.f64 b c) d)))
1.332 * * * [progress]: adding candidates to table
1.539 * [progress]: [Phase 3 of 3] Extracting.
1.539 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
1.546 * * * [regime-changes]: Trying 7 branch expressions: ((+.f64 c d) (+.f64 b (+.f64 c d)) (+.f64 a (+.f64 b (+.f64 c d))) d c b a)
1.546 * * * * [regimes]: Trying to branch on (+.f64 c d) from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
1.779 * * * * [regimes]: Trying to branch on (+.f64 c d) from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))>)
1.858 * * * * [regimes]: Trying to branch on (+.f64 b (+.f64 c d)) from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
2.095 * * * * [regimes]: Trying to branch on (+.f64 b (+.f64 c d)) from (#<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))>)
2.165 * * * * [regimes]: Trying to branch on (+.f64 a (+.f64 b (+.f64 c d))) from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
2.395 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
2.627 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
2.856 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
3.087 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 c d) (-.f64 a b))))) 2))> #<alt (λ (a b c d) (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) 2))> #<alt (λ (a b c d) (*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3) 1/3) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 d (-.f64 a (+.f64 b c)))))) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 (+.f64 b c) d) 3)) (+.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (-.f64 (+.f64 (+.f64 b c) d) a)))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (log.f64 (exp.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (log.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2)) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3/2))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 a (+.f64 b c)) d) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 3)))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (-.f64 a (+.f64 b (+.f64 c d)))) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 (+.f64 b c) d) (+.f64 (+.f64 b c) d))) (-.f64 a (+.f64 (+.f64 b c) d))) 3)) 3)) 2))> #<alt (λ (a b c d) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d))) 6)) (cbrt.f64 (+.f64 a (+.f64 (+.f64 b c) d)))) 3)) 3)) 2))>)
3.321 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
3.321 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2)
3.324 * * [simplify]: iteration  0 :  14  enodes  (cost  13 )
3.324 * * [simplify]: iteration  1 :  14  enodes  (cost  13 )
3.324 * [simplify]: Simplified to:
   (*.f64 (+.f64 a (+.f64 (+.f64 b c) d)) 2)
9.686 * [regime-testing]: End program error score: 2.761549094487583
9.961 * [regime-testing]: Target error score: 3.8565858137049847