21.999 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.078 * * [simplify]: iteration  0 :  15  enodes  (cost  16 )
0.080 * * [simplify]: iteration  1 :  30  enodes  (cost  16 )
0.084 * * [simplify]: iteration  2 :  83  enodes  (cost  16 )
0.102 * * [simplify]: iteration  3 :  224  enodes  (cost  16 )
0.206 * * [simplify]: iteration  4 :  618  enodes  (cost  16 )
0.739 * * [simplify]: iteration  5 :  1608  enodes  (cost  16 )
3.749 * * [simplify]: iteration  6 :  3229  enodes  (cost  16 )
6.049 * * [simplify]: iteration  done :  5001  enodes  (cost  16 )
6.049 * [simplify]: Simplified to:
   (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
6.050 * * [progress]: iteration 1 / 4
6.050 * * * [progress]: picking best candidate
6.054 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))>
6.054 * * * [progress]: localizing error
6.071 * * * [progress]: generating rewritten candidates
6.071 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
6.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
6.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.092 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
6.108 * * * [progress]: generating series expansions
6.108 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
6.108 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0
6.108 * [taylor]: Taking taylor expansion of (* (log t) z) in t
6.108 * [taylor]: Taking taylor expansion of (log t) in t
6.109 * [taylor]: Taking taylor expansion of t in t
6.109 * [taylor]: Taking taylor expansion of z in t
6.109 * [taylor]: Taking taylor expansion of (* (log t) z) in z
6.109 * [taylor]: Taking taylor expansion of (log t) in z
6.109 * [taylor]: Taking taylor expansion of t in z
6.109 * [taylor]: Taking taylor expansion of z in z
6.109 * [taylor]: Taking taylor expansion of (* (log t) z) in z
6.109 * [taylor]: Taking taylor expansion of (log t) in z
6.109 * [taylor]: Taking taylor expansion of t in z
6.109 * [taylor]: Taking taylor expansion of z in z
6.109 * [taylor]: Taking taylor expansion of 0 in t
6.109 * [taylor]: Taking taylor expansion of (log t) in t
6.109 * [taylor]: Taking taylor expansion of t in t
6.109 * [taylor]: Taking taylor expansion of 0 in t
6.110 * [taylor]: Taking taylor expansion of 0 in t
6.110 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0
6.110 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
6.110 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.110 * [taylor]: Taking taylor expansion of t in t
6.110 * [taylor]: Taking taylor expansion of z in t
6.110 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.110 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.110 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.110 * [taylor]: Taking taylor expansion of t in z
6.111 * [taylor]: Taking taylor expansion of z in z
6.111 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.111 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.111 * [taylor]: Taking taylor expansion of t in z
6.111 * [taylor]: Taking taylor expansion of z in z
6.111 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.111 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.111 * [taylor]: Taking taylor expansion of t in t
6.111 * [taylor]: Taking taylor expansion of 0 in t
6.112 * [taylor]: Taking taylor expansion of 0 in t
6.112 * [taylor]: Taking taylor expansion of 0 in t
6.113 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0
6.113 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t
6.113 * [taylor]: Taking taylor expansion of -1 in t
6.113 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
6.113 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.113 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.113 * [taylor]: Taking taylor expansion of -1 in t
6.113 * [taylor]: Taking taylor expansion of t in t
6.113 * [taylor]: Taking taylor expansion of z in t
6.113 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
6.113 * [taylor]: Taking taylor expansion of -1 in z
6.113 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.113 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.113 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.113 * [taylor]: Taking taylor expansion of -1 in z
6.113 * [taylor]: Taking taylor expansion of t in z
6.113 * [taylor]: Taking taylor expansion of z in z
6.113 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
6.113 * [taylor]: Taking taylor expansion of -1 in z
6.113 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.113 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.113 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.113 * [taylor]: Taking taylor expansion of -1 in z
6.113 * [taylor]: Taking taylor expansion of t in z
6.113 * [taylor]: Taking taylor expansion of z in z
6.113 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
6.113 * [taylor]: Taking taylor expansion of -1 in t
6.113 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.113 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.114 * [taylor]: Taking taylor expansion of -1 in t
6.114 * [taylor]: Taking taylor expansion of t in t
6.114 * [taylor]: Taking taylor expansion of 0 in t
6.115 * [taylor]: Taking taylor expansion of 0 in t
6.116 * [taylor]: Taking taylor expansion of 0 in t
6.116 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
6.116 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in (x y z t) around 0
6.116 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in t
6.116 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
6.116 * [taylor]: Taking taylor expansion of x in t
6.116 * [taylor]: Taking taylor expansion of (+ z y) in t
6.116 * [taylor]: Taking taylor expansion of z in t
6.116 * [taylor]: Taking taylor expansion of y in t
6.116 * [taylor]: Taking taylor expansion of (* z (log t)) in t
6.116 * [taylor]: Taking taylor expansion of z in t
6.116 * [taylor]: Taking taylor expansion of (log t) in t
6.116 * [taylor]: Taking taylor expansion of t in t
6.116 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in z
6.116 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
6.116 * [taylor]: Taking taylor expansion of x in z
6.116 * [taylor]: Taking taylor expansion of (+ z y) in z
6.116 * [taylor]: Taking taylor expansion of z in z
6.116 * [taylor]: Taking taylor expansion of y in z
6.116 * [taylor]: Taking taylor expansion of (* z (log t)) in z
6.116 * [taylor]: Taking taylor expansion of z in z
6.116 * [taylor]: Taking taylor expansion of (log t) in z
6.116 * [taylor]: Taking taylor expansion of t in z
6.116 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in y
6.116 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
6.116 * [taylor]: Taking taylor expansion of x in y
6.116 * [taylor]: Taking taylor expansion of (+ z y) in y
6.116 * [taylor]: Taking taylor expansion of z in y
6.116 * [taylor]: Taking taylor expansion of y in y
6.116 * [taylor]: Taking taylor expansion of (* z (log t)) in y
6.116 * [taylor]: Taking taylor expansion of z in y
6.116 * [taylor]: Taking taylor expansion of (log t) in y
6.116 * [taylor]: Taking taylor expansion of t in y
6.116 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in x
6.116 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
6.116 * [taylor]: Taking taylor expansion of x in x
6.117 * [taylor]: Taking taylor expansion of (+ z y) in x
6.117 * [taylor]: Taking taylor expansion of z in x
6.117 * [taylor]: Taking taylor expansion of y in x
6.117 * [taylor]: Taking taylor expansion of (* z (log t)) in x
6.117 * [taylor]: Taking taylor expansion of z in x
6.117 * [taylor]: Taking taylor expansion of (log t) in x
6.117 * [taylor]: Taking taylor expansion of t in x
6.117 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* z (log t))) in x
6.117 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
6.117 * [taylor]: Taking taylor expansion of x in x
6.117 * [taylor]: Taking taylor expansion of (+ z y) in x
6.117 * [taylor]: Taking taylor expansion of z in x
6.117 * [taylor]: Taking taylor expansion of y in x
6.117 * [taylor]: Taking taylor expansion of (* z (log t)) in x
6.117 * [taylor]: Taking taylor expansion of z in x
6.117 * [taylor]: Taking taylor expansion of (log t) in x
6.117 * [taylor]: Taking taylor expansion of t in x
6.117 * [taylor]: Taking taylor expansion of (- (+ z y) (* z (log t))) in y
6.117 * [taylor]: Taking taylor expansion of (+ z y) in y
6.117 * [taylor]: Taking taylor expansion of z in y
6.117 * [taylor]: Taking taylor expansion of y in y
6.117 * [taylor]: Taking taylor expansion of (* z (log t)) in y
6.117 * [taylor]: Taking taylor expansion of z in y
6.117 * [taylor]: Taking taylor expansion of (log t) in y
6.117 * [taylor]: Taking taylor expansion of t in y
6.117 * [taylor]: Taking taylor expansion of (- z (* z (log t))) in z
6.117 * [taylor]: Taking taylor expansion of z in z
6.117 * [taylor]: Taking taylor expansion of (* z (log t)) in z
6.117 * [taylor]: Taking taylor expansion of z in z
6.117 * [taylor]: Taking taylor expansion of (log t) in z
6.117 * [taylor]: Taking taylor expansion of t in z
6.117 * [taylor]: Taking taylor expansion of 0 in t
6.118 * [taylor]: Taking taylor expansion of 1 in y
6.118 * [taylor]: Taking taylor expansion of 1 in z
6.118 * [taylor]: Taking taylor expansion of 1 in t
6.118 * [taylor]: Taking taylor expansion of 1 in z
6.118 * [taylor]: Taking taylor expansion of 1 in t
6.118 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
6.118 * [taylor]: Taking taylor expansion of 1 in t
6.118 * [taylor]: Taking taylor expansion of (log t) in t
6.118 * [taylor]: Taking taylor expansion of t in t
6.119 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in (x y z t) around 0
6.119 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in t
6.119 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in t
6.119 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.119 * [taylor]: Taking taylor expansion of x in t
6.119 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
6.119 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.119 * [taylor]: Taking taylor expansion of y in t
6.119 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.119 * [taylor]: Taking taylor expansion of z in t
6.119 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
6.119 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.119 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.119 * [taylor]: Taking taylor expansion of t in t
6.119 * [taylor]: Taking taylor expansion of z in t
6.119 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in z
6.119 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in z
6.119 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.119 * [taylor]: Taking taylor expansion of x in z
6.119 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
6.119 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.119 * [taylor]: Taking taylor expansion of y in z
6.119 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.120 * [taylor]: Taking taylor expansion of z in z
6.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.120 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.120 * [taylor]: Taking taylor expansion of t in z
6.120 * [taylor]: Taking taylor expansion of z in z
6.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in y
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in y
6.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.120 * [taylor]: Taking taylor expansion of x in y
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
6.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.120 * [taylor]: Taking taylor expansion of y in y
6.120 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.120 * [taylor]: Taking taylor expansion of z in y
6.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
6.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
6.120 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.120 * [taylor]: Taking taylor expansion of t in y
6.120 * [taylor]: Taking taylor expansion of z in y
6.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in x
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in x
6.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.120 * [taylor]: Taking taylor expansion of x in x
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
6.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.120 * [taylor]: Taking taylor expansion of y in x
6.120 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.120 * [taylor]: Taking taylor expansion of z in x
6.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
6.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
6.120 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.120 * [taylor]: Taking taylor expansion of t in x
6.120 * [taylor]: Taking taylor expansion of z in x
6.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ (log (/ 1 t)) z)) in x
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in x
6.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.120 * [taylor]: Taking taylor expansion of x in x
6.121 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
6.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.121 * [taylor]: Taking taylor expansion of y in x
6.121 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.121 * [taylor]: Taking taylor expansion of z in x
6.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
6.121 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
6.121 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.121 * [taylor]: Taking taylor expansion of t in x
6.121 * [taylor]: Taking taylor expansion of z in x
6.121 * [taylor]: Taking taylor expansion of 1 in y
6.121 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ 1 t)) z)) in y
6.121 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
6.121 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.121 * [taylor]: Taking taylor expansion of z in y
6.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.121 * [taylor]: Taking taylor expansion of y in y
6.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
6.121 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
6.121 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.121 * [taylor]: Taking taylor expansion of t in y
6.121 * [taylor]: Taking taylor expansion of z in y
6.121 * [taylor]: Taking taylor expansion of 1 in z
6.122 * [taylor]: Taking taylor expansion of 1 in z
6.122 * [taylor]: Taking taylor expansion of 0 in y
6.122 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
6.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.122 * [taylor]: Taking taylor expansion of z in z
6.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.122 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.122 * [taylor]: Taking taylor expansion of t in z
6.122 * [taylor]: Taking taylor expansion of z in z
6.122 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
6.122 * [taylor]: Taking taylor expansion of 1 in t
6.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.123 * [taylor]: Taking taylor expansion of t in t
6.123 * [taylor]: Taking taylor expansion of 0 in z
6.123 * [taylor]: Taking taylor expansion of 1 in t
6.123 * [taylor]: Taking taylor expansion of 1 in t
6.123 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in (x y z t) around 0
6.123 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in t
6.123 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
6.123 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.123 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.123 * [taylor]: Taking taylor expansion of -1 in t
6.123 * [taylor]: Taking taylor expansion of t in t
6.123 * [taylor]: Taking taylor expansion of z in t
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in t
6.124 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.124 * [taylor]: Taking taylor expansion of x in t
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
6.124 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.124 * [taylor]: Taking taylor expansion of y in t
6.124 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.124 * [taylor]: Taking taylor expansion of z in t
6.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in z
6.124 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.124 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.124 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.124 * [taylor]: Taking taylor expansion of -1 in z
6.124 * [taylor]: Taking taylor expansion of t in z
6.124 * [taylor]: Taking taylor expansion of z in z
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in z
6.124 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.124 * [taylor]: Taking taylor expansion of x in z
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
6.124 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.124 * [taylor]: Taking taylor expansion of y in z
6.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.124 * [taylor]: Taking taylor expansion of z in z
6.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in y
6.124 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
6.124 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
6.124 * [taylor]: Taking taylor expansion of (/ -1 t) in y
6.124 * [taylor]: Taking taylor expansion of -1 in y
6.124 * [taylor]: Taking taylor expansion of t in y
6.124 * [taylor]: Taking taylor expansion of z in y
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in y
6.124 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.124 * [taylor]: Taking taylor expansion of x in y
6.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
6.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.125 * [taylor]: Taking taylor expansion of y in y
6.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.125 * [taylor]: Taking taylor expansion of z in y
6.125 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in x
6.125 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
6.125 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
6.125 * [taylor]: Taking taylor expansion of (/ -1 t) in x
6.125 * [taylor]: Taking taylor expansion of -1 in x
6.125 * [taylor]: Taking taylor expansion of t in x
6.125 * [taylor]: Taking taylor expansion of z in x
6.125 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.125 * [taylor]: Taking taylor expansion of x in x
6.125 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.125 * [taylor]: Taking taylor expansion of y in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.125 * [taylor]: Taking taylor expansion of z in x
6.125 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 y) (/ 1 z)))) in x
6.125 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
6.125 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
6.125 * [taylor]: Taking taylor expansion of (/ -1 t) in x
6.125 * [taylor]: Taking taylor expansion of -1 in x
6.125 * [taylor]: Taking taylor expansion of t in x
6.125 * [taylor]: Taking taylor expansion of z in x
6.125 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.125 * [taylor]: Taking taylor expansion of x in x
6.125 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.125 * [taylor]: Taking taylor expansion of y in x
6.125 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.125 * [taylor]: Taking taylor expansion of z in x
6.125 * [taylor]: Taking taylor expansion of (neg 1) in y
6.125 * [taylor]: Taking taylor expansion of 1 in y
6.126 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (/ 1 z))) in y
6.126 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
6.126 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
6.126 * [taylor]: Taking taylor expansion of (/ -1 t) in y
6.126 * [taylor]: Taking taylor expansion of -1 in y
6.126 * [taylor]: Taking taylor expansion of t in y
6.126 * [taylor]: Taking taylor expansion of z in y
6.126 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
6.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.126 * [taylor]: Taking taylor expansion of y in y
6.126 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.126 * [taylor]: Taking taylor expansion of z in y
6.126 * [taylor]: Taking taylor expansion of (neg 1) in z
6.126 * [taylor]: Taking taylor expansion of 1 in z
6.126 * [taylor]: Taking taylor expansion of (neg 1) in z
6.126 * [taylor]: Taking taylor expansion of 1 in z
6.127 * [taylor]: Taking taylor expansion of 0 in y
6.127 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
6.127 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.127 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.127 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.127 * [taylor]: Taking taylor expansion of -1 in z
6.127 * [taylor]: Taking taylor expansion of t in z
6.127 * [taylor]: Taking taylor expansion of z in z
6.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.127 * [taylor]: Taking taylor expansion of z in z
6.127 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
6.127 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.127 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.127 * [taylor]: Taking taylor expansion of -1 in t
6.127 * [taylor]: Taking taylor expansion of t in t
6.127 * [taylor]: Taking taylor expansion of 1 in t
6.127 * [taylor]: Taking taylor expansion of 0 in z
6.127 * [taylor]: Taking taylor expansion of (neg 1) in t
6.127 * [taylor]: Taking taylor expansion of 1 in t
6.128 * [taylor]: Taking taylor expansion of (neg 1) in t
6.128 * [taylor]: Taking taylor expansion of 1 in t
6.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.128 * [approximate]: Taking taylor expansion of (* (- a 0.5) b) in (a b) around 0
6.128 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b
6.128 * [taylor]: Taking taylor expansion of (- a 0.5) in b
6.128 * [taylor]: Taking taylor expansion of a in b
6.128 * [taylor]: Taking taylor expansion of 0.5 in b
6.128 * [taylor]: Taking taylor expansion of b in b
6.128 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
6.128 * [taylor]: Taking taylor expansion of (- a 0.5) in a
6.128 * [taylor]: Taking taylor expansion of a in a
6.128 * [taylor]: Taking taylor expansion of 0.5 in a
6.128 * [taylor]: Taking taylor expansion of b in a
6.128 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
6.128 * [taylor]: Taking taylor expansion of (- a 0.5) in a
6.128 * [taylor]: Taking taylor expansion of a in a
6.128 * [taylor]: Taking taylor expansion of 0.5 in a
6.128 * [taylor]: Taking taylor expansion of b in a
6.128 * [taylor]: Taking taylor expansion of (* -0.5 b) in b
6.128 * [taylor]: Taking taylor expansion of -0.5 in b
6.128 * [taylor]: Taking taylor expansion of b in b
6.129 * [taylor]: Taking taylor expansion of b in b
6.129 * [taylor]: Taking taylor expansion of 0 in b
6.129 * [taylor]: Taking taylor expansion of 0 in b
6.129 * [taylor]: Taking taylor expansion of 0 in b
6.129 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in (a b) around 0
6.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in b
6.129 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
6.129 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.129 * [taylor]: Taking taylor expansion of a in b
6.129 * [taylor]: Taking taylor expansion of 0.5 in b
6.129 * [taylor]: Taking taylor expansion of b in b
6.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
6.129 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
6.129 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.129 * [taylor]: Taking taylor expansion of a in a
6.129 * [taylor]: Taking taylor expansion of 0.5 in a
6.129 * [taylor]: Taking taylor expansion of b in a
6.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
6.130 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
6.130 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.130 * [taylor]: Taking taylor expansion of a in a
6.130 * [taylor]: Taking taylor expansion of 0.5 in a
6.130 * [taylor]: Taking taylor expansion of b in a
6.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.130 * [taylor]: Taking taylor expansion of b in b
6.130 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
6.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.130 * [taylor]: Taking taylor expansion of 0.5 in b
6.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.130 * [taylor]: Taking taylor expansion of b in b
6.130 * [taylor]: Taking taylor expansion of 0 in b
6.130 * [taylor]: Taking taylor expansion of 0 in b
6.131 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in (a b) around 0
6.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in b
6.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b
6.131 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.131 * [taylor]: Taking taylor expansion of a in b
6.131 * [taylor]: Taking taylor expansion of 0.5 in b
6.131 * [taylor]: Taking taylor expansion of b in b
6.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
6.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
6.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.131 * [taylor]: Taking taylor expansion of a in a
6.131 * [taylor]: Taking taylor expansion of 0.5 in a
6.131 * [taylor]: Taking taylor expansion of b in a
6.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
6.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
6.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.131 * [taylor]: Taking taylor expansion of a in a
6.131 * [taylor]: Taking taylor expansion of 0.5 in a
6.131 * [taylor]: Taking taylor expansion of b in a
6.131 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.131 * [taylor]: Taking taylor expansion of b in b
6.132 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.132 * [taylor]: Taking taylor expansion of 0.5 in b
6.132 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.132 * [taylor]: Taking taylor expansion of b in b
6.132 * [taylor]: Taking taylor expansion of 0 in b
6.132 * [taylor]: Taking taylor expansion of 0 in b
6.132 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.133 * [approximate]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in (x y z t a b) around 0
6.133 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in b
6.133 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in b
6.133 * [taylor]: Taking taylor expansion of x in b
6.133 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in b
6.133 * [taylor]: Taking taylor expansion of z in b
6.133 * [taylor]: Taking taylor expansion of (+ y (* a b)) in b
6.133 * [taylor]: Taking taylor expansion of y in b
6.133 * [taylor]: Taking taylor expansion of (* a b) in b
6.133 * [taylor]: Taking taylor expansion of a in b
6.133 * [taylor]: Taking taylor expansion of b in b
6.133 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in b
6.133 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
6.133 * [taylor]: Taking taylor expansion of 0.5 in b
6.133 * [taylor]: Taking taylor expansion of b in b
6.133 * [taylor]: Taking taylor expansion of (* (log t) z) in b
6.133 * [taylor]: Taking taylor expansion of (log t) in b
6.133 * [taylor]: Taking taylor expansion of t in b
6.133 * [taylor]: Taking taylor expansion of z in b
6.133 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in a
6.133 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in a
6.133 * [taylor]: Taking taylor expansion of x in a
6.133 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in a
6.133 * [taylor]: Taking taylor expansion of z in a
6.133 * [taylor]: Taking taylor expansion of (+ y (* a b)) in a
6.133 * [taylor]: Taking taylor expansion of y in a
6.133 * [taylor]: Taking taylor expansion of (* a b) in a
6.133 * [taylor]: Taking taylor expansion of a in a
6.133 * [taylor]: Taking taylor expansion of b in a
6.133 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in a
6.133 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
6.133 * [taylor]: Taking taylor expansion of 0.5 in a
6.133 * [taylor]: Taking taylor expansion of b in a
6.133 * [taylor]: Taking taylor expansion of (* (log t) z) in a
6.133 * [taylor]: Taking taylor expansion of (log t) in a
6.133 * [taylor]: Taking taylor expansion of t in a
6.133 * [taylor]: Taking taylor expansion of z in a
6.133 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in t
6.133 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in t
6.133 * [taylor]: Taking taylor expansion of x in t
6.133 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in t
6.133 * [taylor]: Taking taylor expansion of z in t
6.133 * [taylor]: Taking taylor expansion of (+ y (* a b)) in t
6.133 * [taylor]: Taking taylor expansion of y in t
6.133 * [taylor]: Taking taylor expansion of (* a b) in t
6.133 * [taylor]: Taking taylor expansion of a in t
6.133 * [taylor]: Taking taylor expansion of b in t
6.133 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in t
6.133 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
6.134 * [taylor]: Taking taylor expansion of 0.5 in t
6.134 * [taylor]: Taking taylor expansion of b in t
6.134 * [taylor]: Taking taylor expansion of (* (log t) z) in t
6.134 * [taylor]: Taking taylor expansion of (log t) in t
6.134 * [taylor]: Taking taylor expansion of t in t
6.134 * [taylor]: Taking taylor expansion of z in t
6.134 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in z
6.134 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in z
6.134 * [taylor]: Taking taylor expansion of x in z
6.134 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in z
6.134 * [taylor]: Taking taylor expansion of z in z
6.134 * [taylor]: Taking taylor expansion of (+ y (* a b)) in z
6.134 * [taylor]: Taking taylor expansion of y in z
6.134 * [taylor]: Taking taylor expansion of (* a b) in z
6.134 * [taylor]: Taking taylor expansion of a in z
6.134 * [taylor]: Taking taylor expansion of b in z
6.134 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in z
6.134 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
6.134 * [taylor]: Taking taylor expansion of 0.5 in z
6.134 * [taylor]: Taking taylor expansion of b in z
6.134 * [taylor]: Taking taylor expansion of (* (log t) z) in z
6.134 * [taylor]: Taking taylor expansion of (log t) in z
6.134 * [taylor]: Taking taylor expansion of t in z
6.134 * [taylor]: Taking taylor expansion of z in z
6.134 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in y
6.134 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in y
6.134 * [taylor]: Taking taylor expansion of x in y
6.134 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in y
6.134 * [taylor]: Taking taylor expansion of z in y
6.134 * [taylor]: Taking taylor expansion of (+ y (* a b)) in y
6.134 * [taylor]: Taking taylor expansion of y in y
6.134 * [taylor]: Taking taylor expansion of (* a b) in y
6.134 * [taylor]: Taking taylor expansion of a in y
6.134 * [taylor]: Taking taylor expansion of b in y
6.134 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in y
6.134 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
6.134 * [taylor]: Taking taylor expansion of 0.5 in y
6.134 * [taylor]: Taking taylor expansion of b in y
6.134 * [taylor]: Taking taylor expansion of (* (log t) z) in y
6.134 * [taylor]: Taking taylor expansion of (log t) in y
6.134 * [taylor]: Taking taylor expansion of t in y
6.134 * [taylor]: Taking taylor expansion of z in y
6.134 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in x
6.134 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in x
6.134 * [taylor]: Taking taylor expansion of x in x
6.134 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in x
6.134 * [taylor]: Taking taylor expansion of z in x
6.134 * [taylor]: Taking taylor expansion of (+ y (* a b)) in x
6.134 * [taylor]: Taking taylor expansion of y in x
6.134 * [taylor]: Taking taylor expansion of (* a b) in x
6.134 * [taylor]: Taking taylor expansion of a in x
6.134 * [taylor]: Taking taylor expansion of b in x
6.134 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in x
6.134 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
6.134 * [taylor]: Taking taylor expansion of 0.5 in x
6.135 * [taylor]: Taking taylor expansion of b in x
6.135 * [taylor]: Taking taylor expansion of (* (log t) z) in x
6.135 * [taylor]: Taking taylor expansion of (log t) in x
6.135 * [taylor]: Taking taylor expansion of t in x
6.135 * [taylor]: Taking taylor expansion of z in x
6.135 * [taylor]: Taking taylor expansion of (- (+ x (+ z (+ y (* a b)))) (+ (* 0.5 b) (* (log t) z))) in x
6.135 * [taylor]: Taking taylor expansion of (+ x (+ z (+ y (* a b)))) in x
6.135 * [taylor]: Taking taylor expansion of x in x
6.135 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in x
6.135 * [taylor]: Taking taylor expansion of z in x
6.135 * [taylor]: Taking taylor expansion of (+ y (* a b)) in x
6.135 * [taylor]: Taking taylor expansion of y in x
6.135 * [taylor]: Taking taylor expansion of (* a b) in x
6.135 * [taylor]: Taking taylor expansion of a in x
6.135 * [taylor]: Taking taylor expansion of b in x
6.135 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in x
6.135 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
6.135 * [taylor]: Taking taylor expansion of 0.5 in x
6.135 * [taylor]: Taking taylor expansion of b in x
6.135 * [taylor]: Taking taylor expansion of (* (log t) z) in x
6.135 * [taylor]: Taking taylor expansion of (log t) in x
6.135 * [taylor]: Taking taylor expansion of t in x
6.135 * [taylor]: Taking taylor expansion of z in x
6.135 * [taylor]: Taking taylor expansion of (- (+ z (+ y (* a b))) (+ (* 0.5 b) (* (log t) z))) in y
6.135 * [taylor]: Taking taylor expansion of (+ z (+ y (* a b))) in y
6.135 * [taylor]: Taking taylor expansion of z in y
6.135 * [taylor]: Taking taylor expansion of (+ y (* a b)) in y
6.135 * [taylor]: Taking taylor expansion of y in y
6.135 * [taylor]: Taking taylor expansion of (* a b) in y
6.135 * [taylor]: Taking taylor expansion of a in y
6.135 * [taylor]: Taking taylor expansion of b in y
6.136 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in y
6.136 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
6.136 * [taylor]: Taking taylor expansion of 0.5 in y
6.136 * [taylor]: Taking taylor expansion of b in y
6.136 * [taylor]: Taking taylor expansion of (* (log t) z) in y
6.136 * [taylor]: Taking taylor expansion of (log t) in y
6.136 * [taylor]: Taking taylor expansion of t in y
6.136 * [taylor]: Taking taylor expansion of z in y
6.136 * [taylor]: Taking taylor expansion of (- (+ z (* a b)) (+ (* 0.5 b) (* (log t) z))) in z
6.136 * [taylor]: Taking taylor expansion of (+ z (* a b)) in z
6.136 * [taylor]: Taking taylor expansion of z in z
6.136 * [taylor]: Taking taylor expansion of (* a b) in z
6.136 * [taylor]: Taking taylor expansion of a in z
6.136 * [taylor]: Taking taylor expansion of b in z
6.136 * [taylor]: Taking taylor expansion of (+ (* 0.5 b) (* (log t) z)) in z
6.136 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
6.136 * [taylor]: Taking taylor expansion of 0.5 in z
6.136 * [taylor]: Taking taylor expansion of b in z
6.136 * [taylor]: Taking taylor expansion of (* (log t) z) in z
6.136 * [taylor]: Taking taylor expansion of (log t) in z
6.136 * [taylor]: Taking taylor expansion of t in z
6.136 * [taylor]: Taking taylor expansion of z in z
6.136 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in t
6.136 * [taylor]: Taking taylor expansion of (* a b) in t
6.136 * [taylor]: Taking taylor expansion of a in t
6.136 * [taylor]: Taking taylor expansion of b in t
6.136 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
6.137 * [taylor]: Taking taylor expansion of 0.5 in t
6.137 * [taylor]: Taking taylor expansion of b in t
6.137 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in a
6.137 * [taylor]: Taking taylor expansion of (* a b) in a
6.137 * [taylor]: Taking taylor expansion of a in a
6.137 * [taylor]: Taking taylor expansion of b in a
6.137 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
6.137 * [taylor]: Taking taylor expansion of 0.5 in a
6.137 * [taylor]: Taking taylor expansion of b in a
6.137 * [taylor]: Taking taylor expansion of (neg (* 0.5 b)) in b
6.137 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
6.137 * [taylor]: Taking taylor expansion of 0.5 in b
6.137 * [taylor]: Taking taylor expansion of b in b
6.137 * [taylor]: Taking taylor expansion of 1 in y
6.137 * [taylor]: Taking taylor expansion of 1 in z
6.137 * [taylor]: Taking taylor expansion of 1 in t
6.137 * [taylor]: Taking taylor expansion of 1 in a
6.137 * [taylor]: Taking taylor expansion of 1 in b
6.138 * [taylor]: Taking taylor expansion of 1 in z
6.138 * [taylor]: Taking taylor expansion of 1 in t
6.138 * [taylor]: Taking taylor expansion of 1 in a
6.138 * [taylor]: Taking taylor expansion of 1 in b
6.138 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
6.138 * [taylor]: Taking taylor expansion of 1 in t
6.138 * [taylor]: Taking taylor expansion of (log t) in t
6.138 * [taylor]: Taking taylor expansion of t in t
6.138 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in a
6.138 * [taylor]: Taking taylor expansion of 1 in a
6.138 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in a
6.138 * [taylor]: Taking taylor expansion of (log t) in a
6.138 * [taylor]: Taking taylor expansion of t in a
6.138 * [taylor]: Taking taylor expansion of (log 1) in a
6.138 * [taylor]: Taking taylor expansion of 1 in a
6.139 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in b
6.139 * [taylor]: Taking taylor expansion of 1 in b
6.139 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in b
6.139 * [taylor]: Taking taylor expansion of (log t) in b
6.139 * [taylor]: Taking taylor expansion of t in b
6.139 * [taylor]: Taking taylor expansion of (log 1) in b
6.139 * [taylor]: Taking taylor expansion of 1 in b
6.139 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in (x y z t a b) around 0
6.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in b
6.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in b
6.139 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
6.139 * [taylor]: Taking taylor expansion of (* a b) in b
6.139 * [taylor]: Taking taylor expansion of a in b
6.139 * [taylor]: Taking taylor expansion of b in b
6.140 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in b
6.140 * [taylor]: Taking taylor expansion of (/ 1 x) in b
6.140 * [taylor]: Taking taylor expansion of x in b
6.140 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in b
6.140 * [taylor]: Taking taylor expansion of (/ 1 z) in b
6.140 * [taylor]: Taking taylor expansion of z in b
6.140 * [taylor]: Taking taylor expansion of (/ 1 y) in b
6.140 * [taylor]: Taking taylor expansion of y in b
6.140 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in b
6.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.140 * [taylor]: Taking taylor expansion of 0.5 in b
6.140 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.140 * [taylor]: Taking taylor expansion of b in b
6.140 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b
6.140 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
6.140 * [taylor]: Taking taylor expansion of (/ 1 t) in b
6.140 * [taylor]: Taking taylor expansion of t in b
6.140 * [taylor]: Taking taylor expansion of z in b
6.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in a
6.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.140 * [taylor]: Taking taylor expansion of (* a b) in a
6.140 * [taylor]: Taking taylor expansion of a in a
6.140 * [taylor]: Taking taylor expansion of b in a
6.140 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.140 * [taylor]: Taking taylor expansion of x in a
6.140 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 z) in a
6.140 * [taylor]: Taking taylor expansion of z in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 y) in a
6.140 * [taylor]: Taking taylor expansion of y in a
6.140 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in a
6.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
6.140 * [taylor]: Taking taylor expansion of 0.5 in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.140 * [taylor]: Taking taylor expansion of b in a
6.140 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a
6.140 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
6.140 * [taylor]: Taking taylor expansion of (/ 1 t) in a
6.141 * [taylor]: Taking taylor expansion of t in a
6.141 * [taylor]: Taking taylor expansion of z in a
6.141 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in t
6.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
6.141 * [taylor]: Taking taylor expansion of (* a b) in t
6.141 * [taylor]: Taking taylor expansion of a in t
6.141 * [taylor]: Taking taylor expansion of b in t
6.141 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.141 * [taylor]: Taking taylor expansion of x in t
6.141 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.141 * [taylor]: Taking taylor expansion of z in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.141 * [taylor]: Taking taylor expansion of y in t
6.141 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in t
6.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
6.141 * [taylor]: Taking taylor expansion of 0.5 in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 b) in t
6.141 * [taylor]: Taking taylor expansion of b in t
6.141 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
6.141 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.141 * [taylor]: Taking taylor expansion of t in t
6.141 * [taylor]: Taking taylor expansion of z in t
6.141 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
6.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in z
6.141 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
6.141 * [taylor]: Taking taylor expansion of (* a b) in z
6.141 * [taylor]: Taking taylor expansion of a in z
6.141 * [taylor]: Taking taylor expansion of b in z
6.141 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in z
6.141 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.142 * [taylor]: Taking taylor expansion of x in z
6.142 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
6.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.142 * [taylor]: Taking taylor expansion of z in z
6.142 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.142 * [taylor]: Taking taylor expansion of y in z
6.142 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
6.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
6.142 * [taylor]: Taking taylor expansion of 0.5 in z
6.142 * [taylor]: Taking taylor expansion of (/ 1 b) in z
6.142 * [taylor]: Taking taylor expansion of b in z
6.142 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.142 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.142 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.142 * [taylor]: Taking taylor expansion of t in z
6.142 * [taylor]: Taking taylor expansion of z in z
6.142 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
6.142 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
6.142 * [taylor]: Taking taylor expansion of (* a b) in y
6.142 * [taylor]: Taking taylor expansion of a in y
6.142 * [taylor]: Taking taylor expansion of b in y
6.142 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.142 * [taylor]: Taking taylor expansion of x in y
6.142 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.142 * [taylor]: Taking taylor expansion of z in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.142 * [taylor]: Taking taylor expansion of y in y
6.142 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
6.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
6.142 * [taylor]: Taking taylor expansion of 0.5 in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 b) in y
6.142 * [taylor]: Taking taylor expansion of b in y
6.142 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
6.142 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
6.142 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.142 * [taylor]: Taking taylor expansion of t in y
6.142 * [taylor]: Taking taylor expansion of z in y
6.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.143 * [taylor]: Taking taylor expansion of (* a b) in x
6.143 * [taylor]: Taking taylor expansion of a in x
6.143 * [taylor]: Taking taylor expansion of b in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.143 * [taylor]: Taking taylor expansion of x in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.143 * [taylor]: Taking taylor expansion of z in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.143 * [taylor]: Taking taylor expansion of y in x
6.143 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
6.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
6.143 * [taylor]: Taking taylor expansion of 0.5 in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 b) in x
6.143 * [taylor]: Taking taylor expansion of b in x
6.143 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
6.143 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.143 * [taylor]: Taking taylor expansion of t in x
6.143 * [taylor]: Taking taylor expansion of z in x
6.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.143 * [taylor]: Taking taylor expansion of (* a b) in x
6.143 * [taylor]: Taking taylor expansion of a in x
6.143 * [taylor]: Taking taylor expansion of b in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.143 * [taylor]: Taking taylor expansion of x in x
6.143 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.143 * [taylor]: Taking taylor expansion of z in x
6.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.143 * [taylor]: Taking taylor expansion of y in x
6.143 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
6.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
6.144 * [taylor]: Taking taylor expansion of 0.5 in x
6.144 * [taylor]: Taking taylor expansion of (/ 1 b) in x
6.144 * [taylor]: Taking taylor expansion of b in x
6.144 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
6.144 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
6.144 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.144 * [taylor]: Taking taylor expansion of t in x
6.144 * [taylor]: Taking taylor expansion of z in x
6.144 * [taylor]: Taking taylor expansion of 1 in y
6.144 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
6.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
6.145 * [taylor]: Taking taylor expansion of (* a b) in y
6.145 * [taylor]: Taking taylor expansion of a in y
6.145 * [taylor]: Taking taylor expansion of b in y
6.145 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.145 * [taylor]: Taking taylor expansion of z in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.145 * [taylor]: Taking taylor expansion of y in y
6.145 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
6.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
6.145 * [taylor]: Taking taylor expansion of 0.5 in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 b) in y
6.145 * [taylor]: Taking taylor expansion of b in y
6.145 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
6.145 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.145 * [taylor]: Taking taylor expansion of t in y
6.145 * [taylor]: Taking taylor expansion of z in y
6.145 * [taylor]: Taking taylor expansion of 1 in z
6.145 * [taylor]: Taking taylor expansion of 1 in z
6.146 * [taylor]: Taking taylor expansion of 0 in y
6.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (/ 1 z)) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
6.146 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 z)) in z
6.146 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
6.146 * [taylor]: Taking taylor expansion of (* a b) in z
6.146 * [taylor]: Taking taylor expansion of a in z
6.146 * [taylor]: Taking taylor expansion of b in z
6.146 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.146 * [taylor]: Taking taylor expansion of z in z
6.146 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
6.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
6.146 * [taylor]: Taking taylor expansion of 0.5 in z
6.146 * [taylor]: Taking taylor expansion of (/ 1 b) in z
6.146 * [taylor]: Taking taylor expansion of b in z
6.147 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
6.147 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
6.147 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.147 * [taylor]: Taking taylor expansion of t in z
6.147 * [taylor]: Taking taylor expansion of z in z
6.147 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
6.147 * [taylor]: Taking taylor expansion of 1 in t
6.147 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.147 * [taylor]: Taking taylor expansion of t in t
6.147 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in a
6.147 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
6.147 * [taylor]: Taking taylor expansion of (log t) in a
6.147 * [taylor]: Taking taylor expansion of t in a
6.147 * [taylor]: Taking taylor expansion of 1 in a
6.147 * [taylor]: Taking taylor expansion of (log 1) in a
6.147 * [taylor]: Taking taylor expansion of 1 in a
6.147 * [taylor]: Taking taylor expansion of 0 in z
6.147 * [taylor]: Taking taylor expansion of 1 in t
6.147 * [taylor]: Taking taylor expansion of 1 in a
6.147 * [taylor]: Taking taylor expansion of 1 in t
6.147 * [taylor]: Taking taylor expansion of 1 in a
6.148 * [taylor]: Taking taylor expansion of 0 in y
6.148 * [taylor]: Taking taylor expansion of 0 in z
6.149 * [taylor]: Taking taylor expansion of 0 in z
6.149 * [taylor]: Taking taylor expansion of 0 in z
6.149 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t
6.149 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
6.149 * [taylor]: Taking taylor expansion of (* a b) in t
6.149 * [taylor]: Taking taylor expansion of a in t
6.149 * [taylor]: Taking taylor expansion of b in t
6.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
6.149 * [taylor]: Taking taylor expansion of 0.5 in t
6.149 * [taylor]: Taking taylor expansion of (/ 1 b) in t
6.149 * [taylor]: Taking taylor expansion of b in t
6.150 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a
6.150 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.150 * [taylor]: Taking taylor expansion of (* a b) in a
6.150 * [taylor]: Taking taylor expansion of a in a
6.150 * [taylor]: Taking taylor expansion of b in a
6.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
6.150 * [taylor]: Taking taylor expansion of 0.5 in a
6.150 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.150 * [taylor]: Taking taylor expansion of b in a
6.150 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.150 * [taylor]: Taking taylor expansion of b in b
6.150 * [taylor]: Taking taylor expansion of 0 in t
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.150 * [taylor]: Taking taylor expansion of 0 in t
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.150 * [taylor]: Taking taylor expansion of 0 in t
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.150 * [taylor]: Taking taylor expansion of 0 in a
6.151 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in b
6.151 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
6.151 * [taylor]: Taking taylor expansion of (log t) in b
6.151 * [taylor]: Taking taylor expansion of t in b
6.151 * [taylor]: Taking taylor expansion of 1 in b
6.151 * [taylor]: Taking taylor expansion of (log 1) in b
6.151 * [taylor]: Taking taylor expansion of 1 in b
6.151 * [taylor]: Taking taylor expansion of 1 in b
6.151 * [taylor]: Taking taylor expansion of 1 in b
6.152 * [taylor]: Taking taylor expansion of 0 in y
6.152 * [taylor]: Taking taylor expansion of 0 in z
6.152 * [taylor]: Taking taylor expansion of 0 in z
6.153 * [taylor]: Taking taylor expansion of 0 in z
6.153 * [taylor]: Taking taylor expansion of 0 in z
6.153 * [taylor]: Taking taylor expansion of 0 in t
6.153 * [taylor]: Taking taylor expansion of 0 in a
6.153 * [taylor]: Taking taylor expansion of 0 in t
6.153 * [taylor]: Taking taylor expansion of 0 in a
6.153 * [taylor]: Taking taylor expansion of 0 in t
6.153 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in t
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in t
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in t
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in t
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.154 * [taylor]: Taking taylor expansion of 0 in a
6.155 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
6.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.155 * [taylor]: Taking taylor expansion of 0.5 in b
6.155 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.155 * [taylor]: Taking taylor expansion of b in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.155 * [taylor]: Taking taylor expansion of 0 in b
6.156 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in (x y z t a b) around 0
6.156 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in b
6.157 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in b
6.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.157 * [taylor]: Taking taylor expansion of 0.5 in b
6.157 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.157 * [taylor]: Taking taylor expansion of b in b
6.157 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in b
6.157 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
6.157 * [taylor]: Taking taylor expansion of (* a b) in b
6.157 * [taylor]: Taking taylor expansion of a in b
6.157 * [taylor]: Taking taylor expansion of b in b
6.157 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b
6.157 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b
6.157 * [taylor]: Taking taylor expansion of (/ -1 t) in b
6.157 * [taylor]: Taking taylor expansion of -1 in b
6.157 * [taylor]: Taking taylor expansion of t in b
6.157 * [taylor]: Taking taylor expansion of z in b
6.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in b
6.157 * [taylor]: Taking taylor expansion of (/ 1 x) in b
6.157 * [taylor]: Taking taylor expansion of x in b
6.157 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in b
6.157 * [taylor]: Taking taylor expansion of (/ 1 z) in b
6.157 * [taylor]: Taking taylor expansion of z in b
6.157 * [taylor]: Taking taylor expansion of (/ 1 y) in b
6.157 * [taylor]: Taking taylor expansion of y in b
6.157 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in a
6.157 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in a
6.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
6.157 * [taylor]: Taking taylor expansion of 0.5 in a
6.157 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.157 * [taylor]: Taking taylor expansion of b in a
6.157 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in a
6.157 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.157 * [taylor]: Taking taylor expansion of (* a b) in a
6.157 * [taylor]: Taking taylor expansion of a in a
6.157 * [taylor]: Taking taylor expansion of b in a
6.157 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a
6.157 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
6.157 * [taylor]: Taking taylor expansion of (/ -1 t) in a
6.157 * [taylor]: Taking taylor expansion of -1 in a
6.157 * [taylor]: Taking taylor expansion of t in a
6.158 * [taylor]: Taking taylor expansion of z in a
6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in a
6.158 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.158 * [taylor]: Taking taylor expansion of x in a
6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in a
6.158 * [taylor]: Taking taylor expansion of (/ 1 z) in a
6.158 * [taylor]: Taking taylor expansion of z in a
6.158 * [taylor]: Taking taylor expansion of (/ 1 y) in a
6.158 * [taylor]: Taking taylor expansion of y in a
6.158 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in t
6.158 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in t
6.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
6.158 * [taylor]: Taking taylor expansion of 0.5 in t
6.158 * [taylor]: Taking taylor expansion of (/ 1 b) in t
6.158 * [taylor]: Taking taylor expansion of b in t
6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in t
6.158 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
6.158 * [taylor]: Taking taylor expansion of (* a b) in t
6.158 * [taylor]: Taking taylor expansion of a in t
6.158 * [taylor]: Taking taylor expansion of b in t
6.158 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
6.158 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.158 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.158 * [taylor]: Taking taylor expansion of -1 in t
6.158 * [taylor]: Taking taylor expansion of t in t
6.158 * [taylor]: Taking taylor expansion of z in t
6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in t
6.158 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.158 * [taylor]: Taking taylor expansion of x in t
6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t
6.159 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.159 * [taylor]: Taking taylor expansion of z in t
6.159 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.159 * [taylor]: Taking taylor expansion of y in t
6.159 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in z
6.159 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in z
6.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
6.159 * [taylor]: Taking taylor expansion of 0.5 in z
6.159 * [taylor]: Taking taylor expansion of (/ 1 b) in z
6.159 * [taylor]: Taking taylor expansion of b in z
6.159 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in z
6.159 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
6.159 * [taylor]: Taking taylor expansion of (* a b) in z
6.159 * [taylor]: Taking taylor expansion of a in z
6.159 * [taylor]: Taking taylor expansion of b in z
6.159 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.159 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.159 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.159 * [taylor]: Taking taylor expansion of -1 in z
6.159 * [taylor]: Taking taylor expansion of t in z
6.159 * [taylor]: Taking taylor expansion of z in z
6.159 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in z
6.159 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.159 * [taylor]: Taking taylor expansion of x in z
6.159 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
6.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.159 * [taylor]: Taking taylor expansion of z in z
6.159 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.159 * [taylor]: Taking taylor expansion of y in z
6.159 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in y
6.159 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in y
6.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
6.159 * [taylor]: Taking taylor expansion of 0.5 in y
6.159 * [taylor]: Taking taylor expansion of (/ 1 b) in y
6.159 * [taylor]: Taking taylor expansion of b in y
6.159 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in y
6.159 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
6.159 * [taylor]: Taking taylor expansion of (* a b) in y
6.159 * [taylor]: Taking taylor expansion of a in y
6.159 * [taylor]: Taking taylor expansion of b in y
6.160 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
6.160 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
6.160 * [taylor]: Taking taylor expansion of (/ -1 t) in y
6.160 * [taylor]: Taking taylor expansion of -1 in y
6.160 * [taylor]: Taking taylor expansion of t in y
6.160 * [taylor]: Taking taylor expansion of z in y
6.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in y
6.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.160 * [taylor]: Taking taylor expansion of x in y
6.160 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
6.160 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.160 * [taylor]: Taking taylor expansion of z in y
6.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.160 * [taylor]: Taking taylor expansion of y in y
6.160 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
6.160 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in x
6.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
6.160 * [taylor]: Taking taylor expansion of 0.5 in x
6.160 * [taylor]: Taking taylor expansion of (/ 1 b) in x
6.160 * [taylor]: Taking taylor expansion of b in x
6.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in x
6.160 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.160 * [taylor]: Taking taylor expansion of (* a b) in x
6.160 * [taylor]: Taking taylor expansion of a in x
6.160 * [taylor]: Taking taylor expansion of b in x
6.160 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
6.160 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
6.160 * [taylor]: Taking taylor expansion of (/ -1 t) in x
6.160 * [taylor]: Taking taylor expansion of -1 in x
6.160 * [taylor]: Taking taylor expansion of t in x
6.160 * [taylor]: Taking taylor expansion of z in x
6.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
6.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.160 * [taylor]: Taking taylor expansion of x in x
6.160 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
6.160 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.160 * [taylor]: Taking taylor expansion of z in x
6.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.160 * [taylor]: Taking taylor expansion of y in x
6.161 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
6.161 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z))) in x
6.161 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
6.161 * [taylor]: Taking taylor expansion of 0.5 in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 b) in x
6.161 * [taylor]: Taking taylor expansion of b in x
6.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (/ -1 t)) z)) in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.161 * [taylor]: Taking taylor expansion of (* a b) in x
6.161 * [taylor]: Taking taylor expansion of a in x
6.161 * [taylor]: Taking taylor expansion of b in x
6.161 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
6.161 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
6.161 * [taylor]: Taking taylor expansion of (/ -1 t) in x
6.161 * [taylor]: Taking taylor expansion of -1 in x
6.161 * [taylor]: Taking taylor expansion of t in x
6.161 * [taylor]: Taking taylor expansion of z in x
6.161 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.161 * [taylor]: Taking taylor expansion of x in x
6.161 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.161 * [taylor]: Taking taylor expansion of z in x
6.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.161 * [taylor]: Taking taylor expansion of y in x
6.161 * [taylor]: Taking taylor expansion of (neg 1) in y
6.161 * [taylor]: Taking taylor expansion of 1 in y
6.162 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ (log (/ -1 t)) z) (/ 1 (* a b)))) (+ (/ 1 z) (/ 1 y))) in y
6.162 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ (log (/ -1 t)) z) (/ 1 (* a b)))) in y
6.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
6.162 * [taylor]: Taking taylor expansion of 0.5 in y
6.162 * [taylor]: Taking taylor expansion of (/ 1 b) in y
6.162 * [taylor]: Taking taylor expansion of b in y
6.162 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (/ 1 (* a b))) in y
6.162 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
6.162 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
6.162 * [taylor]: Taking taylor expansion of (/ -1 t) in y
6.162 * [taylor]: Taking taylor expansion of -1 in y
6.162 * [taylor]: Taking taylor expansion of t in y
6.162 * [taylor]: Taking taylor expansion of z in y
6.162 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
6.162 * [taylor]: Taking taylor expansion of (* a b) in y
6.162 * [taylor]: Taking taylor expansion of a in y
6.162 * [taylor]: Taking taylor expansion of b in y
6.162 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
6.162 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.162 * [taylor]: Taking taylor expansion of z in y
6.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.162 * [taylor]: Taking taylor expansion of y in y
6.162 * [taylor]: Taking taylor expansion of (neg 1) in z
6.162 * [taylor]: Taking taylor expansion of 1 in z
6.163 * [taylor]: Taking taylor expansion of (neg 1) in z
6.163 * [taylor]: Taking taylor expansion of 1 in z
6.163 * [taylor]: Taking taylor expansion of 0 in y
6.164 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 b)) (+ (/ (log (/ -1 t)) z) (/ 1 (* a b)))) (/ 1 z)) in z
6.164 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (+ (/ (log (/ -1 t)) z) (/ 1 (* a b)))) in z
6.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
6.164 * [taylor]: Taking taylor expansion of 0.5 in z
6.164 * [taylor]: Taking taylor expansion of (/ 1 b) in z
6.164 * [taylor]: Taking taylor expansion of b in z
6.164 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (/ 1 (* a b))) in z
6.164 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
6.164 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
6.164 * [taylor]: Taking taylor expansion of (/ -1 t) in z
6.164 * [taylor]: Taking taylor expansion of -1 in z
6.164 * [taylor]: Taking taylor expansion of t in z
6.164 * [taylor]: Taking taylor expansion of z in z
6.164 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
6.164 * [taylor]: Taking taylor expansion of (* a b) in z
6.164 * [taylor]: Taking taylor expansion of a in z
6.164 * [taylor]: Taking taylor expansion of b in z
6.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.164 * [taylor]: Taking taylor expansion of z in z
6.164 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
6.164 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
6.164 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.164 * [taylor]: Taking taylor expansion of -1 in t
6.164 * [taylor]: Taking taylor expansion of t in t
6.165 * [taylor]: Taking taylor expansion of 1 in t
6.165 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in a
6.165 * [taylor]: Taking taylor expansion of (log -1) in a
6.165 * [taylor]: Taking taylor expansion of -1 in a
6.165 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
6.165 * [taylor]: Taking taylor expansion of (log t) in a
6.165 * [taylor]: Taking taylor expansion of t in a
6.165 * [taylor]: Taking taylor expansion of 1 in a
6.165 * [taylor]: Taking taylor expansion of 0 in z
6.165 * [taylor]: Taking taylor expansion of (neg 1) in t
6.165 * [taylor]: Taking taylor expansion of 1 in t
6.165 * [taylor]: Taking taylor expansion of (neg 1) in a
6.165 * [taylor]: Taking taylor expansion of 1 in a
6.165 * [taylor]: Taking taylor expansion of (neg 1) in t
6.165 * [taylor]: Taking taylor expansion of 1 in t
6.165 * [taylor]: Taking taylor expansion of (neg 1) in a
6.165 * [taylor]: Taking taylor expansion of 1 in a
6.166 * [taylor]: Taking taylor expansion of 0 in y
6.166 * [taylor]: Taking taylor expansion of 0 in z
6.167 * [taylor]: Taking taylor expansion of 0 in z
6.167 * [taylor]: Taking taylor expansion of 0 in z
6.167 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ 1 (* a b))) in t
6.167 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
6.167 * [taylor]: Taking taylor expansion of 0.5 in t
6.167 * [taylor]: Taking taylor expansion of (/ 1 b) in t
6.167 * [taylor]: Taking taylor expansion of b in t
6.168 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
6.168 * [taylor]: Taking taylor expansion of (* a b) in t
6.168 * [taylor]: Taking taylor expansion of a in t
6.168 * [taylor]: Taking taylor expansion of b in t
6.168 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ 1 (* a b))) in a
6.168 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
6.168 * [taylor]: Taking taylor expansion of 0.5 in a
6.168 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.168 * [taylor]: Taking taylor expansion of b in a
6.168 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.168 * [taylor]: Taking taylor expansion of (* a b) in a
6.168 * [taylor]: Taking taylor expansion of a in a
6.168 * [taylor]: Taking taylor expansion of b in a
6.168 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.168 * [taylor]: Taking taylor expansion of b in b
6.168 * [taylor]: Taking taylor expansion of 0 in t
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [taylor]: Taking taylor expansion of 0 in t
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [taylor]: Taking taylor expansion of 0 in t
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.168 * [taylor]: Taking taylor expansion of 0 in a
6.169 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in b
6.169 * [taylor]: Taking taylor expansion of (log -1) in b
6.169 * [taylor]: Taking taylor expansion of -1 in b
6.169 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
6.169 * [taylor]: Taking taylor expansion of (log t) in b
6.169 * [taylor]: Taking taylor expansion of t in b
6.169 * [taylor]: Taking taylor expansion of 1 in b
6.169 * [taylor]: Taking taylor expansion of (neg 1) in b
6.169 * [taylor]: Taking taylor expansion of 1 in b
6.169 * [taylor]: Taking taylor expansion of (neg 1) in b
6.169 * [taylor]: Taking taylor expansion of 1 in b
6.170 * [taylor]: Taking taylor expansion of 0 in y
6.170 * [taylor]: Taking taylor expansion of 0 in z
6.170 * [taylor]: Taking taylor expansion of 0 in z
6.171 * [taylor]: Taking taylor expansion of 0 in z
6.171 * [taylor]: Taking taylor expansion of 0 in z
6.171 * [taylor]: Taking taylor expansion of 0 in t
6.171 * [taylor]: Taking taylor expansion of 0 in a
6.171 * [taylor]: Taking taylor expansion of 0 in t
6.171 * [taylor]: Taking taylor expansion of 0 in a
6.171 * [taylor]: Taking taylor expansion of 0 in t
6.171 * [taylor]: Taking taylor expansion of 0 in a
6.172 * [taylor]: Taking taylor expansion of 0 in t
6.172 * [taylor]: Taking taylor expansion of 0 in a
6.172 * [taylor]: Taking taylor expansion of 0 in t
6.172 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in t
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in t
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.175 * [taylor]: Taking taylor expansion of 0 in a
6.176 * [taylor]: Taking taylor expansion of 0 in a
6.176 * [taylor]: Taking taylor expansion of 0 in a
6.176 * [taylor]: Taking taylor expansion of 0 in a
6.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
6.176 * [taylor]: Taking taylor expansion of 0.5 in b
6.176 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.176 * [taylor]: Taking taylor expansion of b in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.176 * [taylor]: Taking taylor expansion of 0 in b
6.177 * [taylor]: Taking taylor expansion of 0 in b
6.177 * [taylor]: Taking taylor expansion of 0 in b
6.177 * [taylor]: Taking taylor expansion of 0 in b
6.178 * * * [progress]: simplifying candidates
6.179 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (log t))
  (+ (log z) (log (log t)))
  (log (* z (log t)))
  (exp (* z (log t)))
  (* (* (* z z) z) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (* (* (* z (log t)) (* z (log t))) (* z (log t)))
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (log (* (cbrt t) (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  (* z (log 1))
  (* z (log t))
  (* (log (* (cbrt t) (cbrt t))) z)
  (* (log (cbrt t)) z)
  (* (log (sqrt t)) z)
  (* (log (sqrt t)) z)
  (* (log 1) z)
  (* (log t) z)
  (* z 1)
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  (* z 1)
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t))))
  (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t))))
  (/ (exp (+ (+ x y) z)) (exp (* z (log t))))
  (log (- (+ (+ x y) z) (* z (log t))))
  (exp (- (+ (+ x y) z) (* z (log t))))
  (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t)))))
  (cbrt (- (+ (+ x y) z) (* z (log t))))
  (* (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t)))))
  (neg (* z (log t)))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))
  (+ (+ (+ x y) z) (* z (log t)))
  (- (+ (+ x y) z) (* z (log (* (cbrt t) (cbrt t)))))
  (- (+ (+ x y) z) (* z (log (sqrt t))))
  (- (+ (+ x y) z) (* z (log 1)))
  (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z))
  (- (+ (+ x y) z) (* (log (sqrt t)) z))
  (- (+ (+ x y) z) (* (log 1) z))
  (- z (* z (log t)))
  (neg (* z (log t)))
  (* (- a 0.5) b)
  (+ (log (- a 0.5)) (log b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* b b) b))
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (* (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (* (- a 0.5) 1)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* (- a 0.5) b)
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* (- a 0.5) b)
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (* (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (/ (exp (+ (+ x y) z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (exp (- (+ (+ x y) z) (* z (log t)))) (exp (* (- a 0.5) b)))
  (log (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (exp (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (* (* (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5)) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ a 0.5))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ a 0.5)) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ a 0.5))
  (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (- (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
  (+ (neg (* z (log t))) (* (- a 0.5) b))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (+ (neg (* z (log t))) (* (- a 0.5) b))
  (- (* z (log t)) (* (- a 0.5) b))
  (* z (+ (log t) (log 1)))
  (* (- (log 1) (log (/ 1 t))) z)
  (* (- (log -1) (log (/ -1 t))) z)
  (- (+ x (+ z y)) (+ (* (log t) z) (* z (log 1))))
  (- (+ (* (log (/ 1 t)) z) (+ x (+ z y))) (* z (log 1)))
  (- (+ x (+ z (+ (* (log (/ -1 t)) z) y))) (* z (log -1)))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
  (- (+ x (+ z y)) (+ (* (log t) z) (* z (log 1))))
  (- (+ (* (log (/ 1 t)) z) (+ z (* a b))) (+ (* 0.5 b) (* z (log 1))))
  (- (+ z (+ (* (log (/ -1 t)) z) (* a b))) (+ (* 0.5 b) (* z (log -1))))
6.184 * * [simplify]: iteration  0 :  210  enodes  (cost  1573 )
6.233 * * [simplify]: iteration  1 :  546  enodes  (cost  1446 )
6.401 * * [simplify]: iteration  2 :  2167  enodes  (cost  1353 )
6.914 * * [simplify]: iteration  done :  5000  enodes  (cost  1353 )
6.915 * [simplify]: Simplified to:
   (* (log t) z)
  (log (* z (log t)))
  (log (* z (log t)))
  (pow t z)
  (pow (* z (log t)) 3)
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (pow (* z (log t)) 3)
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (* 2 (log (cbrt t))) z)
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* (log t) z)
  (* (* 2 (log (cbrt t))) z)
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* (log t) z)
  z
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  z
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* (log t) z)
  (/ (exp (+ (+ x y) z)) (pow t z))
  (/ (exp (+ (+ x y) z)) (pow t z))
  (/ (exp (+ (+ x y) z)) (pow t z))
  (log (- (+ (+ x y) z) (* z (log t))))
  (/ (exp (+ (+ x y) z)) (pow t z))
  (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t)))))
  (cbrt (- (+ (+ x y) z) (* z (log t))))
  (pow (- (+ (+ x y) z) (* z (log t))) 3)
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (+ (* (* z (log t)) (+ (+ (+ x y) z) (* z (log t)))) (* (+ (+ x y) z) (+ (+ x y) z)))
  (neg (* (log t) z))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))
  (+ (+ (+ x y) z) (* z (log t)))
  (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z)))
  (- (+ (+ x y) z) (* z (log (sqrt t))))
  (+ (+ x (+ z y)) 0)
  (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z)))
  (- (+ (+ x y) z) (* z (log (sqrt t))))
  (+ (+ x (+ z y)) 0)
  (- z (* z (log t)))
  (neg (* (log t) z))
  (* (- a 0.5) b)
  (log (* (- a 0.5) b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (- a 0.5)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* (- a 0.5) b)
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* (- a 0.5) b)
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (/ (exp (+ (+ x (+ z y)) (* (- a 0.5) b))) (pow t z))
  (/ (exp (+ (+ x (+ z y)) (* (- a 0.5) b))) (pow t z))
  (/ (exp (+ (+ x (+ z y)) (* (- a 0.5) b))) (pow t z))
  (/ (exp (+ (+ x (+ z y)) (* (- a 0.5) b))) (pow t z))
  (log (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (/ (exp (+ (+ x (+ z y)) (* (- a 0.5) b))) (pow t z))
  (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (pow (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) 3)
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ (* a a) (* 0.5 (+ a 0.5)))) (* (+ (* (* z (log t)) (+ (+ (+ x y) z) (* z (log t)))) (* (+ (+ x y) z) (+ (+ x y) z))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* a a) (* 0.5 (+ a 0.5))) (+ (* (* z (log t)) (+ (+ (+ x y) z) (* z (log t)))) (* (+ (+ x y) z) (+ (+ x y) z))))
  (+ (* (+ (* (* z (log t)) (+ (+ (+ x y) z) (* z (log t)))) (* (+ (+ x y) z) (+ (+ x y) z))) (* (- (* a a) (* 0.5 0.5)) b)) (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5)))
  (* (+ a 0.5) (+ (* (* z (log t)) (+ (+ (+ x y) z) (* z (log t)))) (* (+ (+ x y) z) (+ (+ x y) z))))
  (+ (* (+ (+ (+ x y) z) (* z (log t))) (* (- (pow a 3) (pow 0.5 3)) b)) (* (+ (* a a) (* 0.5 (+ a 0.5))) (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))))
  (* (+ (* a a) (* 0.5 (+ a 0.5))) (+ (+ (+ x y) z) (* z (log t))))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ a 0.5)) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ a 0.5))
  (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (* (- a 0.5) b) (- (* (- a 0.5) b) (- (+ (+ x y) z) (* z (log t))))) (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))))
  (- (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
  (- (* (- a 0.5) b) (* (log t) z))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (- (* (- a 0.5) b) (* (log t) z))
  (- (* z (log t)) (* (- a 0.5) b))
  (* (log t) z)
  (* (log t) z)
  (* (- (log -1) (log (/ -1 t))) z)
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (- (+ x (+ z (+ (* (log (/ -1 t)) z) y))) (* z (log -1)))
  (* (- a 0.5) b)
  (* (- a 0.5) b)
  (* (- a 0.5) b)
  (+ (+ x y) (- z (* z (log t))))
  (- (+ (* (- a 0.5) b) (- z (* z (log t)))) 0)
  (- (+ (+ z (* (log (/ -1 t)) z)) (* (- a 0.5) b)) (* z (log -1)))
6.916 * * * [progress]: adding candidates to table
7.037 * * [progress]: iteration 2 / 4
7.037 * * * [progress]: picking best candidate
7.075 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>
7.075 * * * [progress]: localizing error
7.088 * * * [progress]: generating rewritten candidates
7.088 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
7.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.116 * * * [progress]: generating series expansions
7.116 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
7.116 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0
7.116 * [taylor]: Taking taylor expansion of (* (log t) z) in t
7.116 * [taylor]: Taking taylor expansion of (log t) in t
7.116 * [taylor]: Taking taylor expansion of t in t
7.116 * [taylor]: Taking taylor expansion of z in t
7.116 * [taylor]: Taking taylor expansion of (* (log t) z) in z
7.116 * [taylor]: Taking taylor expansion of (log t) in z
7.116 * [taylor]: Taking taylor expansion of t in z
7.117 * [taylor]: Taking taylor expansion of z in z
7.117 * [taylor]: Taking taylor expansion of (* (log t) z) in z
7.117 * [taylor]: Taking taylor expansion of (log t) in z
7.117 * [taylor]: Taking taylor expansion of t in z
7.117 * [taylor]: Taking taylor expansion of z in z
7.117 * [taylor]: Taking taylor expansion of 0 in t
7.117 * [taylor]: Taking taylor expansion of (log t) in t
7.117 * [taylor]: Taking taylor expansion of t in t
7.117 * [taylor]: Taking taylor expansion of 0 in t
7.118 * [taylor]: Taking taylor expansion of 0 in t
7.118 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0
7.118 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
7.118 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.118 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.118 * [taylor]: Taking taylor expansion of t in t
7.118 * [taylor]: Taking taylor expansion of z in t
7.118 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.118 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.118 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.118 * [taylor]: Taking taylor expansion of t in z
7.118 * [taylor]: Taking taylor expansion of z in z
7.118 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.118 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.118 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.118 * [taylor]: Taking taylor expansion of t in z
7.119 * [taylor]: Taking taylor expansion of z in z
7.119 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.119 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.119 * [taylor]: Taking taylor expansion of t in t
7.119 * [taylor]: Taking taylor expansion of 0 in t
7.120 * [taylor]: Taking taylor expansion of 0 in t
7.120 * [taylor]: Taking taylor expansion of 0 in t
7.120 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0
7.121 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t
7.121 * [taylor]: Taking taylor expansion of -1 in t
7.121 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
7.121 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.121 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.121 * [taylor]: Taking taylor expansion of -1 in t
7.121 * [taylor]: Taking taylor expansion of t in t
7.121 * [taylor]: Taking taylor expansion of z in t
7.121 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
7.121 * [taylor]: Taking taylor expansion of -1 in z
7.121 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.121 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.121 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.121 * [taylor]: Taking taylor expansion of -1 in z
7.121 * [taylor]: Taking taylor expansion of t in z
7.121 * [taylor]: Taking taylor expansion of z in z
7.121 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
7.121 * [taylor]: Taking taylor expansion of -1 in z
7.121 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.121 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.121 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.121 * [taylor]: Taking taylor expansion of -1 in z
7.121 * [taylor]: Taking taylor expansion of t in z
7.121 * [taylor]: Taking taylor expansion of z in z
7.121 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
7.121 * [taylor]: Taking taylor expansion of -1 in t
7.121 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.121 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.121 * [taylor]: Taking taylor expansion of -1 in t
7.121 * [taylor]: Taking taylor expansion of t in t
7.122 * [taylor]: Taking taylor expansion of 0 in t
7.123 * [taylor]: Taking taylor expansion of 0 in t
7.123 * [taylor]: Taking taylor expansion of 0 in t
7.124 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
7.124 * [approximate]: Taking taylor expansion of (- z (* z (log t))) in (z t) around 0
7.124 * [taylor]: Taking taylor expansion of (- z (* z (log t))) in t
7.124 * [taylor]: Taking taylor expansion of z in t
7.124 * [taylor]: Taking taylor expansion of (* z (log t)) in t
7.124 * [taylor]: Taking taylor expansion of z in t
7.124 * [taylor]: Taking taylor expansion of (log t) in t
7.124 * [taylor]: Taking taylor expansion of t in t
7.124 * [taylor]: Taking taylor expansion of (- z (* z (log t))) in z
7.124 * [taylor]: Taking taylor expansion of z in z
7.124 * [taylor]: Taking taylor expansion of (* z (log t)) in z
7.124 * [taylor]: Taking taylor expansion of z in z
7.124 * [taylor]: Taking taylor expansion of (log t) in z
7.124 * [taylor]: Taking taylor expansion of t in z
7.124 * [taylor]: Taking taylor expansion of (- z (* z (log t))) in z
7.124 * [taylor]: Taking taylor expansion of z in z
7.124 * [taylor]: Taking taylor expansion of (* z (log t)) in z
7.124 * [taylor]: Taking taylor expansion of z in z
7.124 * [taylor]: Taking taylor expansion of (log t) in z
7.124 * [taylor]: Taking taylor expansion of t in z
7.124 * [taylor]: Taking taylor expansion of 0 in t
7.124 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
7.124 * [taylor]: Taking taylor expansion of 1 in t
7.124 * [taylor]: Taking taylor expansion of (log t) in t
7.124 * [taylor]: Taking taylor expansion of t in t
7.125 * [taylor]: Taking taylor expansion of 0 in t
7.125 * [taylor]: Taking taylor expansion of 0 in t
7.126 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in (z t) around 0
7.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in t
7.126 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.126 * [taylor]: Taking taylor expansion of z in t
7.126 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
7.126 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.126 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.126 * [taylor]: Taking taylor expansion of t in t
7.126 * [taylor]: Taking taylor expansion of z in t
7.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
7.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.126 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.126 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.126 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.126 * [taylor]: Taking taylor expansion of t in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
7.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.126 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.126 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.126 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.126 * [taylor]: Taking taylor expansion of t in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.127 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
7.127 * [taylor]: Taking taylor expansion of 1 in t
7.127 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.127 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.127 * [taylor]: Taking taylor expansion of t in t
7.127 * [taylor]: Taking taylor expansion of 0 in t
7.128 * [taylor]: Taking taylor expansion of 0 in t
7.128 * [taylor]: Taking taylor expansion of 0 in t
7.129 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in (z t) around 0
7.129 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in t
7.129 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
7.129 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.129 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.129 * [taylor]: Taking taylor expansion of -1 in t
7.129 * [taylor]: Taking taylor expansion of t in t
7.129 * [taylor]: Taking taylor expansion of z in t
7.129 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.129 * [taylor]: Taking taylor expansion of z in t
7.129 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
7.129 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.129 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.129 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.129 * [taylor]: Taking taylor expansion of -1 in z
7.129 * [taylor]: Taking taylor expansion of t in z
7.129 * [taylor]: Taking taylor expansion of z in z
7.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.129 * [taylor]: Taking taylor expansion of z in z
7.129 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
7.129 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.129 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.129 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.129 * [taylor]: Taking taylor expansion of -1 in z
7.129 * [taylor]: Taking taylor expansion of t in z
7.129 * [taylor]: Taking taylor expansion of z in z
7.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.130 * [taylor]: Taking taylor expansion of z in z
7.130 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
7.130 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.130 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.130 * [taylor]: Taking taylor expansion of -1 in t
7.130 * [taylor]: Taking taylor expansion of t in t
7.130 * [taylor]: Taking taylor expansion of 1 in t
7.130 * [taylor]: Taking taylor expansion of 0 in t
7.131 * [taylor]: Taking taylor expansion of 0 in t
7.132 * [taylor]: Taking taylor expansion of 0 in t
7.132 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.132 * [approximate]: Taking taylor expansion of (* (- a 0.5) b) in (a b) around 0
7.132 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b
7.132 * [taylor]: Taking taylor expansion of (- a 0.5) in b
7.132 * [taylor]: Taking taylor expansion of a in b
7.132 * [taylor]: Taking taylor expansion of 0.5 in b
7.132 * [taylor]: Taking taylor expansion of b in b
7.132 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
7.132 * [taylor]: Taking taylor expansion of (- a 0.5) in a
7.132 * [taylor]: Taking taylor expansion of a in a
7.132 * [taylor]: Taking taylor expansion of 0.5 in a
7.132 * [taylor]: Taking taylor expansion of b in a
7.132 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a
7.132 * [taylor]: Taking taylor expansion of (- a 0.5) in a
7.132 * [taylor]: Taking taylor expansion of a in a
7.132 * [taylor]: Taking taylor expansion of 0.5 in a
7.132 * [taylor]: Taking taylor expansion of b in a
7.132 * [taylor]: Taking taylor expansion of (* -0.5 b) in b
7.132 * [taylor]: Taking taylor expansion of -0.5 in b
7.132 * [taylor]: Taking taylor expansion of b in b
7.132 * [taylor]: Taking taylor expansion of b in b
7.132 * [taylor]: Taking taylor expansion of 0 in b
7.133 * [taylor]: Taking taylor expansion of 0 in b
7.133 * [taylor]: Taking taylor expansion of 0 in b
7.133 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in (a b) around 0
7.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in b
7.133 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
7.133 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.133 * [taylor]: Taking taylor expansion of a in b
7.133 * [taylor]: Taking taylor expansion of 0.5 in b
7.133 * [taylor]: Taking taylor expansion of b in b
7.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
7.133 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
7.133 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.133 * [taylor]: Taking taylor expansion of a in a
7.133 * [taylor]: Taking taylor expansion of 0.5 in a
7.133 * [taylor]: Taking taylor expansion of b in a
7.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
7.133 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
7.133 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.133 * [taylor]: Taking taylor expansion of a in a
7.133 * [taylor]: Taking taylor expansion of 0.5 in a
7.133 * [taylor]: Taking taylor expansion of b in a
7.133 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.133 * [taylor]: Taking taylor expansion of b in b
7.134 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
7.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
7.134 * [taylor]: Taking taylor expansion of 0.5 in b
7.134 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.134 * [taylor]: Taking taylor expansion of b in b
7.134 * [taylor]: Taking taylor expansion of 0 in b
7.134 * [taylor]: Taking taylor expansion of 0 in b
7.135 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in (a b) around 0
7.135 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in b
7.135 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b
7.135 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.135 * [taylor]: Taking taylor expansion of a in b
7.135 * [taylor]: Taking taylor expansion of 0.5 in b
7.135 * [taylor]: Taking taylor expansion of b in b
7.135 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
7.135 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
7.135 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.135 * [taylor]: Taking taylor expansion of a in a
7.135 * [taylor]: Taking taylor expansion of 0.5 in a
7.135 * [taylor]: Taking taylor expansion of b in a
7.135 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
7.135 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
7.135 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.135 * [taylor]: Taking taylor expansion of a in a
7.135 * [taylor]: Taking taylor expansion of 0.5 in a
7.135 * [taylor]: Taking taylor expansion of b in a
7.135 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.135 * [taylor]: Taking taylor expansion of b in b
7.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
7.135 * [taylor]: Taking taylor expansion of 0.5 in b
7.135 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.135 * [taylor]: Taking taylor expansion of b in b
7.136 * [taylor]: Taking taylor expansion of 0 in b
7.136 * [taylor]: Taking taylor expansion of 0 in b
7.136 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.136 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in (x y z t) around 0
7.136 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t
7.136 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
7.136 * [taylor]: Taking taylor expansion of x in t
7.136 * [taylor]: Taking taylor expansion of (+ z y) in t
7.136 * [taylor]: Taking taylor expansion of z in t
7.136 * [taylor]: Taking taylor expansion of y in t
7.136 * [taylor]: Taking taylor expansion of (* (log t) z) in t
7.137 * [taylor]: Taking taylor expansion of (log t) in t
7.137 * [taylor]: Taking taylor expansion of t in t
7.137 * [taylor]: Taking taylor expansion of z in t
7.137 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z
7.137 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.137 * [taylor]: Taking taylor expansion of x in z
7.137 * [taylor]: Taking taylor expansion of (+ z y) in z
7.137 * [taylor]: Taking taylor expansion of z in z
7.137 * [taylor]: Taking taylor expansion of y in z
7.137 * [taylor]: Taking taylor expansion of (* (log t) z) in z
7.137 * [taylor]: Taking taylor expansion of (log t) in z
7.137 * [taylor]: Taking taylor expansion of t in z
7.137 * [taylor]: Taking taylor expansion of z in z
7.137 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y
7.137 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.137 * [taylor]: Taking taylor expansion of x in y
7.137 * [taylor]: Taking taylor expansion of (+ z y) in y
7.137 * [taylor]: Taking taylor expansion of z in y
7.137 * [taylor]: Taking taylor expansion of y in y
7.137 * [taylor]: Taking taylor expansion of (* (log t) z) in y
7.137 * [taylor]: Taking taylor expansion of (log t) in y
7.137 * [taylor]: Taking taylor expansion of t in y
7.137 * [taylor]: Taking taylor expansion of z in y
7.137 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
7.137 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.137 * [taylor]: Taking taylor expansion of x in x
7.137 * [taylor]: Taking taylor expansion of (+ z y) in x
7.137 * [taylor]: Taking taylor expansion of z in x
7.137 * [taylor]: Taking taylor expansion of y in x
7.137 * [taylor]: Taking taylor expansion of (* (log t) z) in x
7.137 * [taylor]: Taking taylor expansion of (log t) in x
7.137 * [taylor]: Taking taylor expansion of t in x
7.137 * [taylor]: Taking taylor expansion of z in x
7.137 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
7.137 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.137 * [taylor]: Taking taylor expansion of x in x
7.137 * [taylor]: Taking taylor expansion of (+ z y) in x
7.137 * [taylor]: Taking taylor expansion of z in x
7.137 * [taylor]: Taking taylor expansion of y in x
7.137 * [taylor]: Taking taylor expansion of (* (log t) z) in x
7.137 * [taylor]: Taking taylor expansion of (log t) in x
7.137 * [taylor]: Taking taylor expansion of t in x
7.137 * [taylor]: Taking taylor expansion of z in x
7.137 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y
7.137 * [taylor]: Taking taylor expansion of (+ z y) in y
7.138 * [taylor]: Taking taylor expansion of z in y
7.138 * [taylor]: Taking taylor expansion of y in y
7.138 * [taylor]: Taking taylor expansion of (* (log t) z) in y
7.138 * [taylor]: Taking taylor expansion of (log t) in y
7.138 * [taylor]: Taking taylor expansion of t in y
7.138 * [taylor]: Taking taylor expansion of z in y
7.138 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
7.138 * [taylor]: Taking taylor expansion of z in z
7.138 * [taylor]: Taking taylor expansion of (* (log t) z) in z
7.138 * [taylor]: Taking taylor expansion of (log t) in z
7.138 * [taylor]: Taking taylor expansion of t in z
7.138 * [taylor]: Taking taylor expansion of z in z
7.138 * [taylor]: Taking taylor expansion of 0 in t
7.138 * [taylor]: Taking taylor expansion of 1 in y
7.138 * [taylor]: Taking taylor expansion of 1 in z
7.138 * [taylor]: Taking taylor expansion of 1 in t
7.138 * [taylor]: Taking taylor expansion of 1 in z
7.138 * [taylor]: Taking taylor expansion of 1 in t
7.139 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
7.139 * [taylor]: Taking taylor expansion of 1 in t
7.139 * [taylor]: Taking taylor expansion of (log t) in t
7.139 * [taylor]: Taking taylor expansion of t in t
7.139 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in (x y z t) around 0
7.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in t
7.139 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in t
7.139 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.139 * [taylor]: Taking taylor expansion of x in t
7.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t
7.139 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.139 * [taylor]: Taking taylor expansion of z in t
7.139 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.139 * [taylor]: Taking taylor expansion of y in t
7.139 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
7.139 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.139 * [taylor]: Taking taylor expansion of t in t
7.140 * [taylor]: Taking taylor expansion of z in t
7.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in z
7.140 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in z
7.140 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.140 * [taylor]: Taking taylor expansion of x in z
7.140 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
7.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.140 * [taylor]: Taking taylor expansion of z in z
7.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.140 * [taylor]: Taking taylor expansion of y in z
7.140 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.140 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.140 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.140 * [taylor]: Taking taylor expansion of t in z
7.140 * [taylor]: Taking taylor expansion of z in z
7.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in y
7.140 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in y
7.140 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.140 * [taylor]: Taking taylor expansion of x in y
7.140 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.140 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.140 * [taylor]: Taking taylor expansion of z in y
7.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.140 * [taylor]: Taking taylor expansion of y in y
7.140 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
7.140 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
7.140 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.140 * [taylor]: Taking taylor expansion of t in y
7.140 * [taylor]: Taking taylor expansion of z in y
7.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in x
7.140 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
7.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.140 * [taylor]: Taking taylor expansion of x in x
7.141 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.141 * [taylor]: Taking taylor expansion of z in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.141 * [taylor]: Taking taylor expansion of y in x
7.141 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
7.141 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.141 * [taylor]: Taking taylor expansion of t in x
7.141 * [taylor]: Taking taylor expansion of z in x
7.141 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) (/ (log (/ 1 t)) z)) in x
7.141 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.141 * [taylor]: Taking taylor expansion of x in x
7.141 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.141 * [taylor]: Taking taylor expansion of z in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.141 * [taylor]: Taking taylor expansion of y in x
7.141 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
7.141 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.141 * [taylor]: Taking taylor expansion of t in x
7.141 * [taylor]: Taking taylor expansion of z in x
7.141 * [taylor]: Taking taylor expansion of 1 in y
7.142 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ 1 t)) z)) in y
7.142 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.142 * [taylor]: Taking taylor expansion of y in y
7.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.142 * [taylor]: Taking taylor expansion of z in y
7.142 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
7.142 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
7.142 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.142 * [taylor]: Taking taylor expansion of t in y
7.142 * [taylor]: Taking taylor expansion of z in y
7.142 * [taylor]: Taking taylor expansion of 1 in z
7.142 * [taylor]: Taking taylor expansion of 1 in z
7.142 * [taylor]: Taking taylor expansion of 0 in y
7.143 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
7.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.143 * [taylor]: Taking taylor expansion of z in z
7.143 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
7.143 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
7.143 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.143 * [taylor]: Taking taylor expansion of t in z
7.143 * [taylor]: Taking taylor expansion of z in z
7.143 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
7.143 * [taylor]: Taking taylor expansion of 1 in t
7.143 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.143 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.143 * [taylor]: Taking taylor expansion of t in t
7.143 * [taylor]: Taking taylor expansion of 0 in z
7.143 * [taylor]: Taking taylor expansion of 1 in t
7.143 * [taylor]: Taking taylor expansion of 1 in t
7.144 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in (x y z t) around 0
7.144 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in t
7.144 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
7.144 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.144 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.144 * [taylor]: Taking taylor expansion of -1 in t
7.144 * [taylor]: Taking taylor expansion of t in t
7.144 * [taylor]: Taking taylor expansion of z in t
7.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in t
7.144 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.144 * [taylor]: Taking taylor expansion of x in t
7.144 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t
7.144 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.144 * [taylor]: Taking taylor expansion of z in t
7.144 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.144 * [taylor]: Taking taylor expansion of y in t
7.144 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in z
7.144 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.144 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.144 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.144 * [taylor]: Taking taylor expansion of -1 in z
7.144 * [taylor]: Taking taylor expansion of t in z
7.144 * [taylor]: Taking taylor expansion of z in z
7.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in z
7.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.144 * [taylor]: Taking taylor expansion of x in z
7.144 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
7.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.144 * [taylor]: Taking taylor expansion of z in z
7.145 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.145 * [taylor]: Taking taylor expansion of y in z
7.145 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in y
7.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
7.145 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
7.145 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.145 * [taylor]: Taking taylor expansion of -1 in y
7.145 * [taylor]: Taking taylor expansion of t in y
7.145 * [taylor]: Taking taylor expansion of z in y
7.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in y
7.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.145 * [taylor]: Taking taylor expansion of x in y
7.145 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.145 * [taylor]: Taking taylor expansion of z in y
7.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.145 * [taylor]: Taking taylor expansion of y in y
7.145 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
7.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
7.145 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
7.145 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.145 * [taylor]: Taking taylor expansion of -1 in x
7.145 * [taylor]: Taking taylor expansion of t in x
7.145 * [taylor]: Taking taylor expansion of z in x
7.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
7.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.145 * [taylor]: Taking taylor expansion of x in x
7.145 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
7.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.145 * [taylor]: Taking taylor expansion of z in x
7.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.145 * [taylor]: Taking taylor expansion of y in x
7.145 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 x) (+ (/ 1 z) (/ 1 y)))) in x
7.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
7.145 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
7.145 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.145 * [taylor]: Taking taylor expansion of -1 in x
7.145 * [taylor]: Taking taylor expansion of t in x
7.145 * [taylor]: Taking taylor expansion of z in x
7.146 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 z) (/ 1 y))) in x
7.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.146 * [taylor]: Taking taylor expansion of x in x
7.146 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
7.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.146 * [taylor]: Taking taylor expansion of z in x
7.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.146 * [taylor]: Taking taylor expansion of y in x
7.146 * [taylor]: Taking taylor expansion of (neg 1) in y
7.146 * [taylor]: Taking taylor expansion of 1 in y
7.146 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (/ 1 y))) in y
7.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
7.146 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
7.146 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.146 * [taylor]: Taking taylor expansion of -1 in y
7.146 * [taylor]: Taking taylor expansion of t in y
7.146 * [taylor]: Taking taylor expansion of z in y
7.146 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.146 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.146 * [taylor]: Taking taylor expansion of z in y
7.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.146 * [taylor]: Taking taylor expansion of y in y
7.146 * [taylor]: Taking taylor expansion of (neg 1) in z
7.146 * [taylor]: Taking taylor expansion of 1 in z
7.147 * [taylor]: Taking taylor expansion of (neg 1) in z
7.147 * [taylor]: Taking taylor expansion of 1 in z
7.147 * [taylor]: Taking taylor expansion of 0 in y
7.147 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
7.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
7.147 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
7.147 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.147 * [taylor]: Taking taylor expansion of -1 in z
7.147 * [taylor]: Taking taylor expansion of t in z
7.147 * [taylor]: Taking taylor expansion of z in z
7.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.147 * [taylor]: Taking taylor expansion of z in z
7.147 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
7.147 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
7.147 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.147 * [taylor]: Taking taylor expansion of -1 in t
7.148 * [taylor]: Taking taylor expansion of t in t
7.148 * [taylor]: Taking taylor expansion of 1 in t
7.148 * [taylor]: Taking taylor expansion of 0 in z
7.148 * [taylor]: Taking taylor expansion of (neg 1) in t
7.148 * [taylor]: Taking taylor expansion of 1 in t
7.148 * [taylor]: Taking taylor expansion of (neg 1) in t
7.148 * [taylor]: Taking taylor expansion of 1 in t
7.148 * * * [progress]: simplifying candidates
7.149 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (log t))
  (+ (log z) (log (log t)))
  (log (* z (log t)))
  (exp (* z (log t)))
  (* (* (* z z) z) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (* (* (* z (log t)) (* z (log t))) (* z (log t)))
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (log (* (cbrt t) (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  (* z (log 1))
  (* z (log t))
  (* (log (* (cbrt t) (cbrt t))) z)
  (* (log (cbrt t)) z)
  (* (log (sqrt t)) z)
  (* (log (sqrt t)) z)
  (* (log 1) z)
  (* (log t) z)
  (* z 1)
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  (* z 1)
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (exp z) (exp (* z (log t))))
  (log (- z (* z (log t))))
  (exp (- z (* z (log t))))
  (* (cbrt (- z (* z (log t)))) (cbrt (- z (* z (log t)))))
  (cbrt (- z (* z (log t))))
  (* (* (- z (* z (log t))) (- z (* z (log t)))) (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (- (pow z 3) (pow (* z (log t)) 3))
  (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))
  (neg (* z (log t)))
  (- (* z z) (* (* z (log t)) (* z (log t))))
  (+ z (* z (log t)))
  (- z (* z (log (* (cbrt t) (cbrt t)))))
  (- z (* z (log (sqrt t))))
  (- z (* z (log 1)))
  (- z (* (log (* (cbrt t) (cbrt t))) z))
  (- z (* (log (sqrt t)) z))
  (- z (* (log 1) z))
  (neg (* z (log t)))
  (* (- a 0.5) b)
  (+ (log (- a 0.5)) (log b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* b b) b))
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (* (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (* (- a 0.5) 1)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* (- a 0.5) b)
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* (- a 0.5) b)
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (* (* (exp x) (exp y)) (/ (exp z) (exp (* z (log t)))))
  (* (* (exp x) (exp y)) (exp (- z (* z (log t)))))
  (* (exp (+ x y)) (/ (exp z) (exp (* z (log t)))))
  (* (exp (+ x y)) (exp (- z (* z (log t)))))
  (log (+ (+ x y) (- z (* z (log t)))))
  (exp (+ (+ x y) (- z (* z (log t)))))
  (* (cbrt (+ (+ x y) (- z (* z (log t))))) (cbrt (+ (+ x y) (- z (* z (log t))))))
  (cbrt (+ (+ x y) (- z (* z (log t)))))
  (* (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))) (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t))))))
  (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t))))
  (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t))))))
  (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (- x y) (+ z (* z (log t))))
  (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3))
  (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t))))))
  (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t)))))
  (- (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y (- z (* z (log t))))
  (+ (+ x y) z)
  (* z (+ (log t) (log 1)))
  (* (- (log 1) (log (/ 1 t))) z)
  (* (- (log -1) (log (/ -1 t))) z)
  (* z (- 1 (+ (log t) (log 1))))
  (* (- (+ (log (/ 1 t)) 1) (log 1)) z)
  (* -1 (* (- (log -1) (+ (log (/ -1 t)) 1)) z))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
  (- (+ x (+ z y)) (+ (* (log t) z) (* z (log 1))))
  (- (+ (* (log (/ 1 t)) z) (+ x (+ z y))) (* z (log 1)))
  (- (+ x (+ z (+ (* (log (/ -1 t)) z) y))) (* z (log -1)))
7.154 * * [simplify]: iteration  0 :  209  enodes  (cost  1195 )
7.205 * * [simplify]: iteration  1 :  531  enodes  (cost  1094 )
7.450 * * [simplify]: iteration  2 :  1702  enodes  (cost  1004 )
7.980 * * [simplify]: iteration  done :  5000  enodes  (cost  980 )
7.981 * [simplify]: Simplified to:
   (* z (log t))
  (log (* z (log t)))
  (log (* z (log t)))
  (pow t z)
  (pow (* z (log t)) 3)
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (pow (* z (log t)) 3)
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (* 2 (log (cbrt t))) z)
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  (* (* 2 (log (cbrt t))) z)
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  z
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  z
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (exp z) (pow t z))
  (log (- z (* z (log t))))
  (/ (exp z) (pow t z))
  (* (cbrt (- z (* z (log t)))) (cbrt (- z (* z (log t)))))
  (cbrt (- z (* z (log t))))
  (pow (- z (* z (log t))) 3)
  (sqrt (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (- (pow z 3) (pow (* z (log t)) 3))
  (* z (+ z (* (+ (log t) 1) (* z (log t)))))
  (* z (neg (log t)))
  (* z (- z (* (log t) (* z (log t)))))
  (+ z (* z (log t)))
  (- z (* (* 2 (log (cbrt t))) z))
  (- z (* z (log (sqrt t))))
  (- z 0)
  (- z (* (* 2 (log (cbrt t))) z))
  (- z (* z (log (sqrt t))))
  (- z 0)
  (* z (neg (log t)))
  (* (- a 0.5) b)
  (log (* (- a 0.5) b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (- a 0.5)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* (- a 0.5) b)
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* (- a 0.5) b)
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (log (+ (+ x y) (- z (* z (log t)))))
  (/ (exp (+ x (+ z y))) (pow t z))
  (* (cbrt (+ (+ x y) (- z (* z (log t))))) (cbrt (+ (+ x y) (- z (* z (log t))))))
  (cbrt (+ (+ x y) (- z (* z (log t)))))
  (pow (- (+ x (+ z y)) (* z (log t))) 3)
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (+ (* (* z (+ z (* (+ (log t) 1) (* z (log t))))) (+ (pow x 3) (pow y 3))) (* (- (pow z 3) (pow (* z (log t)) 3)) (+ (* y (- y x)) (* x x))))
  (* (* z (+ z (* (+ (log t) 1) (* z (log t))))) (+ (* y (- y x)) (* x x)))
  (* (+ z (* z (log t))) (+ (* (- z (* z (log t))) (+ (* y (- y x)) (* x x))) (+ (pow x 3) (pow y 3))))
  (* (+ (* y (- y x)) (* x x)) (+ z (* z (log t))))
  (* (- x y) (+ (- (pow z 3) (pow (* z (log t)) 3)) (* (* z (+ z (* (+ (log t) 1) (* z (log t))))) (+ x y))))
  (* (* z (+ z (* (+ (log t) 1) (* z (log t))))) (- x y))
  (* (+ z (* z (log t))) (+ (- (* x x) (* y y)) (* (- z (* z (log t))) (- x y))))
  (* (- x y) (+ z (* z (log t))))
  (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3))
  (+ (* (- z (* z (log t))) (- (- z (* z (log t))) (+ x y))) (* (+ x y) (+ x y)))
  (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t)))))
  (- (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ y (- z (* z (log t))))
  (+ x (+ z y))
  (* z (log t))
  (* z (log t))
  (* (- (log -1) (log (/ -1 t))) z)
  (- z (* z (log t)))
  (- z (* z (log t)))
  (neg (* (- (log -1) (+ (log (/ -1 t)) 1)) z))
  (* (- a 0.5) b)
  (* (- a 0.5) b)
  (* (- a 0.5) b)
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (- (+ x (+ z (+ (* (log (/ -1 t)) z) y))) (* z (log -1)))
7.982 * * * [progress]: adding candidates to table
8.080 * * [progress]: iteration 3 / 4
8.081 * * * [progress]: picking best candidate
8.115 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))>
8.115 * * * [progress]: localizing error
8.134 * * * [progress]: generating rewritten candidates
8.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1)
8.135 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 2 1)
8.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
8.143 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
8.151 * * * [progress]: generating series expansions
8.151 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1)
8.151 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
8.151 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.151 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.151 * [taylor]: Taking taylor expansion of 1/3 in t
8.151 * [taylor]: Taking taylor expansion of (log t) in t
8.151 * [taylor]: Taking taylor expansion of t in t
8.151 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.151 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.151 * [taylor]: Taking taylor expansion of 1/3 in t
8.151 * [taylor]: Taking taylor expansion of (log t) in t
8.151 * [taylor]: Taking taylor expansion of t in t
8.157 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
8.158 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.158 * [taylor]: Taking taylor expansion of 1/3 in t
8.158 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.158 * [taylor]: Taking taylor expansion of t in t
8.158 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.158 * [taylor]: Taking taylor expansion of 1/3 in t
8.158 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.158 * [taylor]: Taking taylor expansion of t in t
8.165 * [approximate]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in (t) around 0
8.165 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.165 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.165 * [taylor]: Taking taylor expansion of 1/3 in t
8.165 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.165 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.165 * [taylor]: Taking taylor expansion of t in t
8.165 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.165 * [taylor]: Taking taylor expansion of -1 in t
8.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.166 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.166 * [taylor]: Taking taylor expansion of 1/3 in t
8.166 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.166 * [taylor]: Taking taylor expansion of t in t
8.166 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.166 * [taylor]: Taking taylor expansion of -1 in t
8.175 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 2 1)
8.175 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
8.175 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.175 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.175 * [taylor]: Taking taylor expansion of 1/3 in t
8.175 * [taylor]: Taking taylor expansion of (log t) in t
8.175 * [taylor]: Taking taylor expansion of t in t
8.175 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.175 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.175 * [taylor]: Taking taylor expansion of 1/3 in t
8.175 * [taylor]: Taking taylor expansion of (log t) in t
8.175 * [taylor]: Taking taylor expansion of t in t
8.182 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
8.182 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.182 * [taylor]: Taking taylor expansion of 1/3 in t
8.182 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.182 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.182 * [taylor]: Taking taylor expansion of t in t
8.182 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.182 * [taylor]: Taking taylor expansion of 1/3 in t
8.182 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.182 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.182 * [taylor]: Taking taylor expansion of t in t
8.189 * [approximate]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in (t) around 0
8.189 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.189 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.189 * [taylor]: Taking taylor expansion of 1/3 in t
8.189 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.189 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.189 * [taylor]: Taking taylor expansion of t in t
8.189 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.189 * [taylor]: Taking taylor expansion of -1 in t
8.189 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.189 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.190 * [taylor]: Taking taylor expansion of 1/3 in t
8.190 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.190 * [taylor]: Taking taylor expansion of t in t
8.190 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.190 * [taylor]: Taking taylor expansion of -1 in t
8.201 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
8.201 * [approximate]: Taking taylor expansion of (* (log (pow t 1/3)) z) in (z t) around 0
8.201 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t
8.201 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
8.201 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.201 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.201 * [taylor]: Taking taylor expansion of 1/3 in t
8.201 * [taylor]: Taking taylor expansion of (log t) in t
8.201 * [taylor]: Taking taylor expansion of t in t
8.201 * [taylor]: Taking taylor expansion of z in t
8.202 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z
8.202 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z
8.202 * [taylor]: Taking taylor expansion of (pow t 1/3) in z
8.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z
8.202 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z
8.202 * [taylor]: Taking taylor expansion of 1/3 in z
8.202 * [taylor]: Taking taylor expansion of (log t) in z
8.202 * [taylor]: Taking taylor expansion of t in z
8.202 * [taylor]: Taking taylor expansion of z in z
8.202 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z
8.202 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z
8.202 * [taylor]: Taking taylor expansion of (pow t 1/3) in z
8.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z
8.202 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z
8.202 * [taylor]: Taking taylor expansion of 1/3 in z
8.202 * [taylor]: Taking taylor expansion of (log t) in z
8.202 * [taylor]: Taking taylor expansion of t in z
8.202 * [taylor]: Taking taylor expansion of z in z
8.202 * [taylor]: Taking taylor expansion of 0 in t
8.203 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
8.203 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.203 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.203 * [taylor]: Taking taylor expansion of 1/3 in t
8.203 * [taylor]: Taking taylor expansion of (log t) in t
8.203 * [taylor]: Taking taylor expansion of t in t
8.204 * [taylor]: Taking taylor expansion of 0 in t
8.205 * [taylor]: Taking taylor expansion of 0 in t
8.205 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in (z t) around 0
8.205 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t
8.205 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
8.205 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.206 * [taylor]: Taking taylor expansion of 1/3 in t
8.206 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.206 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.206 * [taylor]: Taking taylor expansion of t in t
8.206 * [taylor]: Taking taylor expansion of z in t
8.206 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z
8.206 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z
8.206 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.206 * [taylor]: Taking taylor expansion of 1/3 in z
8.206 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.206 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.206 * [taylor]: Taking taylor expansion of t in z
8.206 * [taylor]: Taking taylor expansion of z in z
8.206 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z
8.206 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z
8.206 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.206 * [taylor]: Taking taylor expansion of 1/3 in z
8.206 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.206 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.206 * [taylor]: Taking taylor expansion of t in z
8.207 * [taylor]: Taking taylor expansion of z in z
8.207 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
8.207 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.207 * [taylor]: Taking taylor expansion of 1/3 in t
8.207 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.207 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.207 * [taylor]: Taking taylor expansion of t in t
8.208 * [taylor]: Taking taylor expansion of 0 in t
8.209 * [taylor]: Taking taylor expansion of 0 in t
8.211 * [taylor]: Taking taylor expansion of 0 in t
8.211 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in (z t) around 0
8.211 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in t
8.211 * [taylor]: Taking taylor expansion of -1 in t
8.211 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in t
8.211 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
8.212 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.212 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.212 * [taylor]: Taking taylor expansion of 1/3 in t
8.212 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.212 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.212 * [taylor]: Taking taylor expansion of t in t
8.212 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.212 * [taylor]: Taking taylor expansion of -1 in t
8.212 * [taylor]: Taking taylor expansion of z in t
8.212 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in z
8.212 * [taylor]: Taking taylor expansion of -1 in z
8.212 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in z
8.212 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in z
8.212 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in z
8.212 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.212 * [taylor]: Taking taylor expansion of 1/3 in z
8.212 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.212 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.212 * [taylor]: Taking taylor expansion of t in z
8.213 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.213 * [taylor]: Taking taylor expansion of -1 in z
8.213 * [taylor]: Taking taylor expansion of z in z
8.213 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in z
8.213 * [taylor]: Taking taylor expansion of -1 in z
8.213 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in z
8.213 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in z
8.213 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in z
8.213 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.213 * [taylor]: Taking taylor expansion of 1/3 in z
8.213 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.213 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.213 * [taylor]: Taking taylor expansion of t in z
8.213 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.213 * [taylor]: Taking taylor expansion of -1 in z
8.214 * [taylor]: Taking taylor expansion of z in z
8.214 * [taylor]: Taking taylor expansion of (* -1 (log (* (pow (/ 1 t) 1/3) (cbrt -1)))) in t
8.214 * [taylor]: Taking taylor expansion of -1 in t
8.214 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
8.214 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.214 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.214 * [taylor]: Taking taylor expansion of 1/3 in t
8.214 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.214 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.214 * [taylor]: Taking taylor expansion of t in t
8.214 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.214 * [taylor]: Taking taylor expansion of -1 in t
8.216 * [taylor]: Taking taylor expansion of 0 in t
8.218 * [taylor]: Taking taylor expansion of 0 in t
8.221 * [taylor]: Taking taylor expansion of 0 in t
8.222 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
8.222 * [approximate]: Taking taylor expansion of (* 2 (* (log (pow t 1/3)) z)) in (t z) around 0
8.222 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow t 1/3)) z)) in z
8.222 * [taylor]: Taking taylor expansion of 2 in z
8.222 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z
8.222 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z
8.222 * [taylor]: Taking taylor expansion of (pow t 1/3) in z
8.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z
8.222 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z
8.222 * [taylor]: Taking taylor expansion of 1/3 in z
8.222 * [taylor]: Taking taylor expansion of (log t) in z
8.222 * [taylor]: Taking taylor expansion of t in z
8.222 * [taylor]: Taking taylor expansion of z in z
8.222 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow t 1/3)) z)) in t
8.222 * [taylor]: Taking taylor expansion of 2 in t
8.222 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t
8.222 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
8.222 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.222 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.222 * [taylor]: Taking taylor expansion of 1/3 in t
8.222 * [taylor]: Taking taylor expansion of (log t) in t
8.222 * [taylor]: Taking taylor expansion of t in t
8.222 * [taylor]: Taking taylor expansion of z in t
8.223 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow t 1/3)) z)) in t
8.223 * [taylor]: Taking taylor expansion of 2 in t
8.223 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t
8.223 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
8.223 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
8.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
8.223 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
8.223 * [taylor]: Taking taylor expansion of 1/3 in t
8.223 * [taylor]: Taking taylor expansion of (log t) in t
8.223 * [taylor]: Taking taylor expansion of t in t
8.223 * [taylor]: Taking taylor expansion of z in t
8.223 * [taylor]: Taking taylor expansion of (* 2/3 (* z (+ (log t) (log 1)))) in z
8.223 * [taylor]: Taking taylor expansion of 2/3 in z
8.223 * [taylor]: Taking taylor expansion of (* z (+ (log t) (log 1))) in z
8.223 * [taylor]: Taking taylor expansion of z in z
8.223 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in z
8.223 * [taylor]: Taking taylor expansion of (log t) in z
8.223 * [taylor]: Taking taylor expansion of t in z
8.223 * [taylor]: Taking taylor expansion of (log 1) in z
8.223 * [taylor]: Taking taylor expansion of 1 in z
8.224 * [taylor]: Taking taylor expansion of 0 in z
8.225 * [taylor]: Taking taylor expansion of 0 in z
8.227 * [taylor]: Taking taylor expansion of 0 in z
8.227 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 t) 1/3)) z)) in (t z) around 0
8.227 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 t) 1/3)) z)) in z
8.227 * [taylor]: Taking taylor expansion of 2 in z
8.227 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z
8.227 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z
8.227 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.227 * [taylor]: Taking taylor expansion of 1/3 in z
8.227 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.227 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.227 * [taylor]: Taking taylor expansion of t in z
8.228 * [taylor]: Taking taylor expansion of z in z
8.228 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 t) 1/3)) z)) in t
8.228 * [taylor]: Taking taylor expansion of 2 in t
8.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t
8.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
8.228 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.228 * [taylor]: Taking taylor expansion of 1/3 in t
8.228 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.228 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.228 * [taylor]: Taking taylor expansion of t in t
8.228 * [taylor]: Taking taylor expansion of z in t
8.228 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 t) 1/3)) z)) in t
8.228 * [taylor]: Taking taylor expansion of 2 in t
8.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t
8.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
8.228 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.228 * [taylor]: Taking taylor expansion of 1/3 in t
8.228 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.228 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.228 * [taylor]: Taking taylor expansion of t in t
8.229 * [taylor]: Taking taylor expansion of z in t
8.229 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log t)) z)) in z
8.229 * [taylor]: Taking taylor expansion of 2/3 in z
8.229 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log t)) z) in z
8.229 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in z
8.229 * [taylor]: Taking taylor expansion of (log 1) in z
8.229 * [taylor]: Taking taylor expansion of 1 in z
8.229 * [taylor]: Taking taylor expansion of (log t) in z
8.229 * [taylor]: Taking taylor expansion of t in z
8.229 * [taylor]: Taking taylor expansion of z in z
8.230 * [taylor]: Taking taylor expansion of 0 in z
8.231 * [taylor]: Taking taylor expansion of 0 in z
8.233 * [taylor]: Taking taylor expansion of 0 in z
8.234 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in (t z) around 0
8.234 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in z
8.234 * [taylor]: Taking taylor expansion of -2 in z
8.234 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in z
8.234 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in z
8.234 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in z
8.234 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
8.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
8.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
8.234 * [taylor]: Taking taylor expansion of 1/3 in z
8.234 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
8.234 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.235 * [taylor]: Taking taylor expansion of t in z
8.235 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.235 * [taylor]: Taking taylor expansion of -1 in z
8.235 * [taylor]: Taking taylor expansion of z in z
8.235 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in t
8.235 * [taylor]: Taking taylor expansion of -2 in t
8.235 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in t
8.235 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
8.235 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.235 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.235 * [taylor]: Taking taylor expansion of 1/3 in t
8.235 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.235 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.235 * [taylor]: Taking taylor expansion of t in t
8.236 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.236 * [taylor]: Taking taylor expansion of -1 in t
8.236 * [taylor]: Taking taylor expansion of z in t
8.236 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in t
8.236 * [taylor]: Taking taylor expansion of -2 in t
8.236 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in t
8.236 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
8.236 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
8.236 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
8.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
8.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
8.236 * [taylor]: Taking taylor expansion of 1/3 in t
8.236 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
8.236 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.236 * [taylor]: Taking taylor expansion of t in t
8.237 * [taylor]: Taking taylor expansion of (cbrt -1) in t
8.237 * [taylor]: Taking taylor expansion of -1 in t
8.237 * [taylor]: Taking taylor expansion of z in t
8.237 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (exp (* 1/3 (- (log 1) (log t)))) (cbrt -1))) z)) in z
8.237 * [taylor]: Taking taylor expansion of -2 in z
8.237 * [taylor]: Taking taylor expansion of (/ (log (* (exp (* 1/3 (- (log 1) (log t)))) (cbrt -1))) z) in z
8.237 * [taylor]: Taking taylor expansion of (log (* (exp (* 1/3 (- (log 1) (log t)))) (cbrt -1))) in z
8.237 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log t)))) (cbrt -1)) in z
8.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in z
8.238 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in z
8.238 * [taylor]: Taking taylor expansion of 1/3 in z
8.238 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in z
8.238 * [taylor]: Taking taylor expansion of (log 1) in z
8.238 * [taylor]: Taking taylor expansion of 1 in z
8.238 * [taylor]: Taking taylor expansion of (log t) in z
8.238 * [taylor]: Taking taylor expansion of t in z
8.238 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.238 * [taylor]: Taking taylor expansion of -1 in z
8.238 * [taylor]: Taking taylor expansion of z in z
8.240 * [taylor]: Taking taylor expansion of 0 in z
8.243 * [taylor]: Taking taylor expansion of 0 in z
8.246 * [taylor]: Taking taylor expansion of 0 in z
8.248 * * * [progress]: simplifying candidates
8.250 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* z (log (cbrt t)))
  (+ (log z) (log (log (cbrt t))))
  (log (* z (log (cbrt t))))
  (exp (* z (log (cbrt t))))
  (* (* (* z z) z) (* (* (log (cbrt t)) (log (cbrt t))) (log (cbrt t))))
  (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t)))))
  (cbrt (* z (log (cbrt t))))
  (* (* (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* z (log (cbrt (* (cbrt t) (cbrt t)))))
  (* z (log (cbrt (cbrt t))))
  (* z (log (cbrt (sqrt t))))
  (* z (log (cbrt (sqrt t))))
  (* z (log (cbrt 1)))
  (* z (log (cbrt t)))
  (* z (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* z (log (cbrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  (* z (log 1))
  (* z (log (cbrt t)))
  (* (log (cbrt (* (cbrt t) (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt 1)) z)
  (* (log (cbrt t)) z)
  (* (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (sqrt (cbrt t))) z)
  (* (log (sqrt (cbrt t))) z)
  (* (log 1) z)
  (* (log (cbrt t)) z)
  (* z 1/3)
  (* z 1)
  (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t)))))
  (* z (sqrt (log (cbrt t))))
  (* z 1)
  (* (cbrt z) (log (cbrt t)))
  (* (sqrt z) (log (cbrt t)))
  (* z (log (cbrt t)))
  (* (* 2 (log (cbrt t))) z)
  (* (* 2 (log (cbrt t))) z)
  (+ (+ (log 2) (log (log (cbrt t)))) (log z))
  (+ (log (* 2 (log (cbrt t)))) (log z))
  (log (* (* 2 (log (cbrt t))) z))
  (exp (* (* 2 (log (cbrt t))) z))
  (* (* (* (* 2 2) 2) (* (* (log (cbrt t)) (log (cbrt t))) (log (cbrt t)))) (* (* z z) z))
  (* (* (* (* 2 (log (cbrt t))) (* 2 (log (cbrt t)))) (* 2 (log (cbrt t)))) (* (* z z) z))
  (* (cbrt (* (* 2 (log (cbrt t))) z)) (cbrt (* (* 2 (log (cbrt t))) z)))
  (cbrt (* (* 2 (log (cbrt t))) z))
  (* (* (* (* 2 (log (cbrt t))) z) (* (* 2 (log (cbrt t))) z)) (* (* 2 (log (cbrt t))) z))
  (sqrt (* (* 2 (log (cbrt t))) z))
  (sqrt (* (* 2 (log (cbrt t))) z))
  (* (* 2 (log (cbrt t))) (* (cbrt z) (cbrt z)))
  (* (* 2 (log (cbrt t))) (sqrt z))
  (* (* 2 (log (cbrt t))) 1)
  (* (log (cbrt t)) z)
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (* 1/3 (* z (+ (log t) (log 1))))
  (* 1/3 (* (- (log 1) (log (/ 1 t))) z))
  (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))) z)
  (* z (+ (* 2/3 (log t)) (* 2/3 (log 1))))
  (* 2/3 (* (- (log 1) (log (/ 1 t))) z))
  (* 2 (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))) z))
8.253 * * [simplify]: iteration  0 :  122  enodes  (cost  720 )
8.283 * * [simplify]: iteration  1 :  259  enodes  (cost  676 )
8.361 * * [simplify]: iteration  2 :  683  enodes  (cost  572 )
8.807 * * [simplify]: iteration  3 :  1728  enodes  (cost  548 )
11.173 * * [simplify]: iteration  4 :  3415  enodes  (cost  537 )
13.270 * * [simplify]: iteration  done :  5000  enodes  (cost  537 )
13.271 * [simplify]: Simplified to:
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* z (log (cbrt t)))
  (log (* z (log (cbrt t))))
  (log (* z (log (cbrt t))))
  (pow (cbrt t) z)
  (pow (* z (log (cbrt t))) 3)
  (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t)))))
  (cbrt (* z (log (cbrt t))))
  (pow (* z (log (cbrt t))) 3)
  (sqrt (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* (log (cbrt (pow t 2/3))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  0
  (* z (log (cbrt t)))
  (* (* 2 (log (cbrt (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  0
  (* z (log (cbrt t)))
  (* (log (cbrt (pow t 2/3))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  0
  (* z (log (cbrt t)))
  (* (* 2 (log (cbrt (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  0
  (* z (log (cbrt t)))
  (* z 1/3)
  z
  (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t)))))
  (* z (sqrt (log (cbrt t))))
  z
  (* (cbrt z) (log (cbrt t)))
  (* (sqrt z) (log (cbrt t)))
  (* z (log (cbrt t)))
  (* (* 2 (log (cbrt t))) z)
  (* (* 2 (log (cbrt t))) z)
  (log (* (* 2 (log (cbrt t))) z))
  (log (* (* 2 (log (cbrt t))) z))
  (log (* (* 2 (log (cbrt t))) z))
  (pow (pow t 2/3) z)
  (* (pow (* z (log (cbrt t))) 3) 8)
  (* (pow (* z (log (cbrt t))) 3) 8)
  (* (cbrt (* (* 2 (log (cbrt t))) z)) (cbrt (* (* 2 (log (cbrt t))) z)))
  (cbrt (* (* 2 (log (cbrt t))) z))
  (* (pow (* z (log (cbrt t))) 3) 8)
  (sqrt (* (* 2 (log (cbrt t))) z))
  (sqrt (* (* 2 (log (cbrt t))) z))
  (* (* 2 (log (cbrt t))) (* (cbrt z) (cbrt z)))
  (* (* 2 (log (cbrt t))) (sqrt z))
  (* 2 (log (cbrt t)))
  (* z (log (cbrt t)))
  (cbrt t)
  (cbrt t)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 t))))
  (cbrt t)
  (cbrt t)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 t))))
  (* z (log (cbrt t)))
  (* z (log (cbrt t)))
  (* z (- (log (cbrt -1)) (* 1/3 (log (/ -1 t)))))
  (* (* 2/3 (log t)) z)
  (* (* 2/3 (log t)) z)
  (* (* 2 z) (- (log (cbrt -1)) (* 1/3 (log (/ -1 t)))))
13.271 * * * [progress]: adding candidates to table
13.362 * * [progress]: iteration 4 / 4
13.362 * * * [progress]: picking best candidate
13.394 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2/3 (log t)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))>
13.394 * * * [progress]: localizing error
13.414 * * * [progress]: generating rewritten candidates
13.414 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1)
13.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1)
13.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
13.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
13.434 * * * [progress]: generating series expansions
13.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1)
13.435 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
13.435 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
13.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
13.435 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
13.435 * [taylor]: Taking taylor expansion of 1/3 in t
13.435 * [taylor]: Taking taylor expansion of (log t) in t
13.435 * [taylor]: Taking taylor expansion of t in t
13.435 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
13.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
13.435 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
13.435 * [taylor]: Taking taylor expansion of 1/3 in t
13.435 * [taylor]: Taking taylor expansion of (log t) in t
13.435 * [taylor]: Taking taylor expansion of t in t
13.442 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
13.442 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.442 * [taylor]: Taking taylor expansion of 1/3 in t
13.442 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.442 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.442 * [taylor]: Taking taylor expansion of t in t
13.442 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.443 * [taylor]: Taking taylor expansion of 1/3 in t
13.443 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.443 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.443 * [taylor]: Taking taylor expansion of t in t
13.449 * [approximate]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in (t) around 0
13.449 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
13.449 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.449 * [taylor]: Taking taylor expansion of 1/3 in t
13.449 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.450 * [taylor]: Taking taylor expansion of t in t
13.450 * [taylor]: Taking taylor expansion of (cbrt -1) in t
13.450 * [taylor]: Taking taylor expansion of -1 in t
13.450 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
13.450 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.450 * [taylor]: Taking taylor expansion of 1/3 in t
13.450 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.450 * [taylor]: Taking taylor expansion of t in t
13.450 * [taylor]: Taking taylor expansion of (cbrt -1) in t
13.450 * [taylor]: Taking taylor expansion of -1 in t
13.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1)
13.462 * [approximate]: Taking taylor expansion of (* 2/3 (log t)) in (t) around 0
13.462 * [taylor]: Taking taylor expansion of (* 2/3 (log t)) in t
13.462 * [taylor]: Taking taylor expansion of 2/3 in t
13.462 * [taylor]: Taking taylor expansion of (log t) in t
13.462 * [taylor]: Taking taylor expansion of t in t
13.462 * [taylor]: Taking taylor expansion of (* 2/3 (log t)) in t
13.462 * [taylor]: Taking taylor expansion of 2/3 in t
13.462 * [taylor]: Taking taylor expansion of (log t) in t
13.462 * [taylor]: Taking taylor expansion of t in t
13.466 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ 1 t))) in (t) around 0
13.466 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 t))) in t
13.466 * [taylor]: Taking taylor expansion of 2/3 in t
13.466 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.466 * [taylor]: Taking taylor expansion of t in t
13.466 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 t))) in t
13.466 * [taylor]: Taking taylor expansion of 2/3 in t
13.466 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.466 * [taylor]: Taking taylor expansion of t in t
13.471 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ -1 t))) in (t) around 0
13.471 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 t))) in t
13.471 * [taylor]: Taking taylor expansion of 2/3 in t
13.471 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
13.471 * [taylor]: Taking taylor expansion of (/ -1 t) in t
13.471 * [taylor]: Taking taylor expansion of -1 in t
13.471 * [taylor]: Taking taylor expansion of t in t
13.471 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 t))) in t
13.471 * [taylor]: Taking taylor expansion of 2/3 in t
13.471 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
13.471 * [taylor]: Taking taylor expansion of (/ -1 t) in t
13.471 * [taylor]: Taking taylor expansion of -1 in t
13.471 * [taylor]: Taking taylor expansion of t in t
13.476 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
13.476 * [approximate]: Taking taylor expansion of (* 2/3 (* z (log t))) in (t z) around 0
13.476 * [taylor]: Taking taylor expansion of (* 2/3 (* z (log t))) in z
13.476 * [taylor]: Taking taylor expansion of 2/3 in z
13.476 * [taylor]: Taking taylor expansion of (* z (log t)) in z
13.476 * [taylor]: Taking taylor expansion of z in z
13.476 * [taylor]: Taking taylor expansion of (log t) in z
13.476 * [taylor]: Taking taylor expansion of t in z
13.476 * [taylor]: Taking taylor expansion of (* 2/3 (* z (log t))) in t
13.476 * [taylor]: Taking taylor expansion of 2/3 in t
13.476 * [taylor]: Taking taylor expansion of (* z (log t)) in t
13.476 * [taylor]: Taking taylor expansion of z in t
13.476 * [taylor]: Taking taylor expansion of (log t) in t
13.476 * [taylor]: Taking taylor expansion of t in t
13.476 * [taylor]: Taking taylor expansion of (* 2/3 (* z (log t))) in t
13.476 * [taylor]: Taking taylor expansion of 2/3 in t
13.476 * [taylor]: Taking taylor expansion of (* z (log t)) in t
13.476 * [taylor]: Taking taylor expansion of z in t
13.476 * [taylor]: Taking taylor expansion of (log t) in t
13.476 * [taylor]: Taking taylor expansion of t in t
13.476 * [taylor]: Taking taylor expansion of (* 2/3 (* z (+ (log t) (log 1)))) in z
13.476 * [taylor]: Taking taylor expansion of 2/3 in z
13.476 * [taylor]: Taking taylor expansion of (* z (+ (log t) (log 1))) in z
13.476 * [taylor]: Taking taylor expansion of z in z
13.476 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in z
13.476 * [taylor]: Taking taylor expansion of (log t) in z
13.476 * [taylor]: Taking taylor expansion of t in z
13.476 * [taylor]: Taking taylor expansion of (log 1) in z
13.476 * [taylor]: Taking taylor expansion of 1 in z
13.477 * [taylor]: Taking taylor expansion of 0 in z
13.477 * [taylor]: Taking taylor expansion of 0 in z
13.478 * [taylor]: Taking taylor expansion of 0 in z
13.479 * [approximate]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 t)) z)) in (t z) around 0
13.479 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 t)) z)) in z
13.479 * [taylor]: Taking taylor expansion of 2/3 in z
13.479 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
13.479 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
13.479 * [taylor]: Taking taylor expansion of (/ 1 t) in z
13.479 * [taylor]: Taking taylor expansion of t in z
13.479 * [taylor]: Taking taylor expansion of z in z
13.479 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 t)) z)) in t
13.479 * [taylor]: Taking taylor expansion of 2/3 in t
13.479 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
13.479 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.479 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.479 * [taylor]: Taking taylor expansion of t in t
13.479 * [taylor]: Taking taylor expansion of z in t
13.479 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 t)) z)) in t
13.479 * [taylor]: Taking taylor expansion of 2/3 in t
13.479 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
13.479 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.479 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.479 * [taylor]: Taking taylor expansion of t in t
13.479 * [taylor]: Taking taylor expansion of z in t
13.480 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log t)) z)) in z
13.480 * [taylor]: Taking taylor expansion of 2/3 in z
13.480 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log t)) z) in z
13.480 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in z
13.480 * [taylor]: Taking taylor expansion of (log 1) in z
13.480 * [taylor]: Taking taylor expansion of 1 in z
13.480 * [taylor]: Taking taylor expansion of (log t) in z
13.480 * [taylor]: Taking taylor expansion of t in z
13.480 * [taylor]: Taking taylor expansion of z in z
13.480 * [taylor]: Taking taylor expansion of 0 in z
13.481 * [taylor]: Taking taylor expansion of 0 in z
13.482 * [taylor]: Taking taylor expansion of 0 in z
13.483 * [approximate]: Taking taylor expansion of (* -2/3 (/ (log (/ -1 t)) z)) in (t z) around 0
13.483 * [taylor]: Taking taylor expansion of (* -2/3 (/ (log (/ -1 t)) z)) in z
13.483 * [taylor]: Taking taylor expansion of -2/3 in z
13.483 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
13.483 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
13.483 * [taylor]: Taking taylor expansion of (/ -1 t) in z
13.483 * [taylor]: Taking taylor expansion of -1 in z
13.483 * [taylor]: Taking taylor expansion of t in z
13.483 * [taylor]: Taking taylor expansion of z in z
13.483 * [taylor]: Taking taylor expansion of (* -2/3 (/ (log (/ -1 t)) z)) in t
13.483 * [taylor]: Taking taylor expansion of -2/3 in t
13.483 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
13.483 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
13.483 * [taylor]: Taking taylor expansion of (/ -1 t) in t
13.483 * [taylor]: Taking taylor expansion of -1 in t
13.483 * [taylor]: Taking taylor expansion of t in t
13.483 * [taylor]: Taking taylor expansion of z in t
13.484 * [taylor]: Taking taylor expansion of (* -2/3 (/ (log (/ -1 t)) z)) in t
13.484 * [taylor]: Taking taylor expansion of -2/3 in t
13.484 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
13.484 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
13.484 * [taylor]: Taking taylor expansion of (/ -1 t) in t
13.484 * [taylor]: Taking taylor expansion of -1 in t
13.484 * [taylor]: Taking taylor expansion of t in t
13.484 * [taylor]: Taking taylor expansion of z in t
13.484 * [taylor]: Taking taylor expansion of (* -2/3 (/ (- (log -1) (log t)) z)) in z
13.484 * [taylor]: Taking taylor expansion of -2/3 in z
13.484 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log t)) z) in z
13.484 * [taylor]: Taking taylor expansion of (- (log -1) (log t)) in z
13.484 * [taylor]: Taking taylor expansion of (log -1) in z
13.484 * [taylor]: Taking taylor expansion of -1 in z
13.484 * [taylor]: Taking taylor expansion of (log t) in z
13.484 * [taylor]: Taking taylor expansion of t in z
13.484 * [taylor]: Taking taylor expansion of z in z
13.485 * [taylor]: Taking taylor expansion of 0 in z
13.485 * [taylor]: Taking taylor expansion of 0 in z
13.487 * [taylor]: Taking taylor expansion of 0 in z
13.487 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
13.488 * [approximate]: Taking taylor expansion of (* (log (pow t 1/3)) z) in (z t) around 0
13.488 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t
13.488 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
13.488 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
13.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
13.488 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
13.488 * [taylor]: Taking taylor expansion of 1/3 in t
13.488 * [taylor]: Taking taylor expansion of (log t) in t
13.488 * [taylor]: Taking taylor expansion of t in t
13.488 * [taylor]: Taking taylor expansion of z in t
13.488 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z
13.488 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z
13.488 * [taylor]: Taking taylor expansion of (pow t 1/3) in z
13.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z
13.488 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z
13.488 * [taylor]: Taking taylor expansion of 1/3 in z
13.488 * [taylor]: Taking taylor expansion of (log t) in z
13.488 * [taylor]: Taking taylor expansion of t in z
13.488 * [taylor]: Taking taylor expansion of z in z
13.488 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z
13.488 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z
13.488 * [taylor]: Taking taylor expansion of (pow t 1/3) in z
13.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z
13.488 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z
13.488 * [taylor]: Taking taylor expansion of 1/3 in z
13.488 * [taylor]: Taking taylor expansion of (log t) in z
13.488 * [taylor]: Taking taylor expansion of t in z
13.489 * [taylor]: Taking taylor expansion of z in z
13.489 * [taylor]: Taking taylor expansion of 0 in t
13.489 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
13.489 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
13.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
13.489 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
13.489 * [taylor]: Taking taylor expansion of 1/3 in t
13.489 * [taylor]: Taking taylor expansion of (log t) in t
13.489 * [taylor]: Taking taylor expansion of t in t
13.491 * [taylor]: Taking taylor expansion of 0 in t
13.492 * [taylor]: Taking taylor expansion of 0 in t
13.492 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in (z t) around 0
13.493 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t
13.493 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
13.493 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.493 * [taylor]: Taking taylor expansion of 1/3 in t
13.493 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.493 * [taylor]: Taking taylor expansion of t in t
13.493 * [taylor]: Taking taylor expansion of z in t
13.493 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z
13.493 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z
13.493 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
13.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
13.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
13.493 * [taylor]: Taking taylor expansion of 1/3 in z
13.493 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
13.493 * [taylor]: Taking taylor expansion of (/ 1 t) in z
13.493 * [taylor]: Taking taylor expansion of t in z
13.493 * [taylor]: Taking taylor expansion of z in z
13.493 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z
13.493 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z
13.493 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
13.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
13.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
13.494 * [taylor]: Taking taylor expansion of 1/3 in z
13.494 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
13.494 * [taylor]: Taking taylor expansion of (/ 1 t) in z
13.494 * [taylor]: Taking taylor expansion of t in z
13.494 * [taylor]: Taking taylor expansion of z in z
13.494 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
13.494 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.494 * [taylor]: Taking taylor expansion of 1/3 in t
13.494 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.494 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.494 * [taylor]: Taking taylor expansion of t in t
13.495 * [taylor]: Taking taylor expansion of 0 in t
13.496 * [taylor]: Taking taylor expansion of 0 in t
13.498 * [taylor]: Taking taylor expansion of 0 in t
13.498 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in (z t) around 0
13.498 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in t
13.499 * [taylor]: Taking taylor expansion of -1 in t
13.499 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in t
13.499 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
13.499 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
13.499 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.499 * [taylor]: Taking taylor expansion of 1/3 in t
13.499 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.499 * [taylor]: Taking taylor expansion of t in t
13.499 * [taylor]: Taking taylor expansion of (cbrt -1) in t
13.499 * [taylor]: Taking taylor expansion of -1 in t
13.499 * [taylor]: Taking taylor expansion of z in t
13.499 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in z
13.499 * [taylor]: Taking taylor expansion of -1 in z
13.499 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in z
13.499 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in z
13.499 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in z
13.499 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
13.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
13.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
13.499 * [taylor]: Taking taylor expansion of 1/3 in z
13.500 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
13.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z
13.500 * [taylor]: Taking taylor expansion of t in z
13.500 * [taylor]: Taking taylor expansion of (cbrt -1) in z
13.500 * [taylor]: Taking taylor expansion of -1 in z
13.500 * [taylor]: Taking taylor expansion of z in z
13.500 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z)) in z
13.500 * [taylor]: Taking taylor expansion of -1 in z
13.500 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 t) 1/3) (cbrt -1))) z) in z
13.500 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in z
13.500 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in z
13.500 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z
13.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z
13.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z
13.500 * [taylor]: Taking taylor expansion of 1/3 in z
13.500 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
13.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z
13.500 * [taylor]: Taking taylor expansion of t in z
13.500 * [taylor]: Taking taylor expansion of (cbrt -1) in z
13.501 * [taylor]: Taking taylor expansion of -1 in z
13.501 * [taylor]: Taking taylor expansion of z in z
13.501 * [taylor]: Taking taylor expansion of (* -1 (log (* (pow (/ 1 t) 1/3) (cbrt -1)))) in t
13.501 * [taylor]: Taking taylor expansion of -1 in t
13.501 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 t) 1/3) (cbrt -1))) in t
13.501 * [taylor]: Taking taylor expansion of (* (pow (/ 1 t) 1/3) (cbrt -1)) in t
13.501 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
13.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
13.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
13.501 * [taylor]: Taking taylor expansion of 1/3 in t
13.501 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
13.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t
13.501 * [taylor]: Taking taylor expansion of t in t
13.502 * [taylor]: Taking taylor expansion of (cbrt -1) in t
13.502 * [taylor]: Taking taylor expansion of -1 in t
13.503 * [taylor]: Taking taylor expansion of 0 in t
13.505 * [taylor]: Taking taylor expansion of 0 in t
13.509 * [taylor]: Taking taylor expansion of 0 in t
13.509 * * * [progress]: simplifying candidates
13.510 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* 2/3 (log t))
  (+ (log 2/3) (log (log t)))
  (log (* 2/3 (log t)))
  (exp (* 2/3 (log t)))
  (* (* (* 2/3 2/3) 2/3) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* 2/3 (log t))) (cbrt (* 2/3 (log t))))
  (cbrt (* 2/3 (log t)))
  (* (* (* 2/3 (log t)) (* 2/3 (log t))) (* 2/3 (log t)))
  (sqrt (* 2/3 (log t)))
  (sqrt (* 2/3 (log t)))
  (* (sqrt 2/3) (sqrt (log t)))
  (* (sqrt 2/3) (sqrt (log t)))
  (* 2/3 (log (* (cbrt t) (cbrt t))))
  (* 2/3 (log (cbrt t)))
  (* 2/3 (log (sqrt t)))
  (* 2/3 (log (sqrt t)))
  (* 2/3 (log 1))
  (* 2/3 (log t))
  (* (log (* (cbrt t) (cbrt t))) 2/3)
  (* (log (cbrt t)) 2/3)
  (* (log (sqrt t)) 2/3)
  (* (log (sqrt t)) 2/3)
  (* (log 1) 2/3)
  (* (log t) 2/3)
  (* 2/3 1)
  (* 2/3 (* (cbrt (log t)) (cbrt (log t))))
  (* 2/3 (sqrt (log t)))
  (* 2/3 1)
  (* (cbrt 2/3) (log t))
  (* (sqrt 2/3) (log t))
  (* 2/3 (log t))
  (* (* 2/3 (log t)) z)
  (* (* 2/3 (log t)) z)
  (+ (+ (log 2/3) (log (log t))) (log z))
  (+ (log (* 2/3 (log t))) (log z))
  (log (* (* 2/3 (log t)) z))
  (exp (* (* 2/3 (log t)) z))
  (* (* (* (* 2/3 2/3) 2/3) (* (* (log t) (log t)) (log t))) (* (* z z) z))
  (* (* (* (* 2/3 (log t)) (* 2/3 (log t))) (* 2/3 (log t))) (* (* z z) z))
  (* (cbrt (* (* 2/3 (log t)) z)) (cbrt (* (* 2/3 (log t)) z)))
  (cbrt (* (* 2/3 (log t)) z))
  (* (* (* (* 2/3 (log t)) z) (* (* 2/3 (log t)) z)) (* (* 2/3 (log t)) z))
  (sqrt (* (* 2/3 (log t)) z))
  (sqrt (* (* 2/3 (log t)) z))
  (* (* 2/3 (log t)) (* (cbrt z) (cbrt z)))
  (* (* 2/3 (log t)) (sqrt z))
  (* (* 2/3 (log t)) 1)
  (* (log t) z)
  (* z (log (cbrt t)))
  (+ (log z) (log (log (cbrt t))))
  (log (* z (log (cbrt t))))
  (exp (* z (log (cbrt t))))
  (* (* (* z z) z) (* (* (log (cbrt t)) (log (cbrt t))) (log (cbrt t))))
  (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t)))))
  (cbrt (* z (log (cbrt t))))
  (* (* (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* z (log (cbrt (* (cbrt t) (cbrt t)))))
  (* z (log (cbrt (cbrt t))))
  (* z (log (cbrt (sqrt t))))
  (* z (log (cbrt (sqrt t))))
  (* z (log (cbrt 1)))
  (* z (log (cbrt t)))
  (* z (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* z (log (cbrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  (* z (log 1))
  (* z (log (cbrt t)))
  (* (log (cbrt (* (cbrt t) (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt 1)) z)
  (* (log (cbrt t)) z)
  (* (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))) z)
  (* (log (cbrt (cbrt t))) z)
  (* (log (sqrt (cbrt t))) z)
  (* (log (sqrt (cbrt t))) z)
  (* (log 1) z)
  (* (log (cbrt t)) z)
  (* z 1/3)
  (* z 1)
  (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t)))))
  (* z (sqrt (log (cbrt t))))
  (* z 1)
  (* (cbrt z) (log (cbrt t)))
  (* (sqrt z) (log (cbrt t)))
  (* z (log (cbrt t)))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (* 2/3 (+ (log t) (log 1)))
  (* 2/3 (- (log 1) (log (/ 1 t))))
  (* 2/3 (- (log -1) (log (/ -1 t))))
  (* z (+ (* 2/3 (log t)) (* 2/3 (log 1))))
  (* 2/3 (* (- (log 1) (log (/ 1 t))) z))
  (* 2/3 (* (- (log -1) (log (/ -1 t))) z))
  (* 1/3 (* z (+ (log t) (log 1))))
  (* 1/3 (* (- (log 1) (log (/ 1 t))) z))
  (* (log (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))) z)
13.514 * * [simplify]: iteration  0 :  155  enodes  (cost  816 )
13.554 * * [simplify]: iteration  1 :  299  enodes  (cost  762 )
13.641 * * [simplify]: iteration  2 :  741  enodes  (cost  653 )
14.123 * * [simplify]: iteration  3 :  2261  enodes  (cost  623 )
17.365 * * [simplify]: iteration  done :  5001  enodes  (cost  622 )
17.366 * [simplify]: Simplified to:
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* 2/3 (log t))
  (log (* 2/3 (log t)))
  (log (* 2/3 (log t)))
  (pow t 2/3)
  (pow (* 2/3 (log t)) 3)
  (* (cbrt (* 2/3 (log t))) (cbrt (* 2/3 (log t))))
  (cbrt (* 2/3 (log t)))
  (pow (* 2/3 (log t)) 3)
  (sqrt (* 2/3 (log t)))
  (sqrt (* 2/3 (log t)))
  (* (sqrt 2/3) (sqrt (log t)))
  (* (sqrt 2/3) (sqrt (log t)))
  (* 4/3 (log (cbrt t)))
  (* 2/3 (log (cbrt t)))
  (* (log (sqrt t)) 2/3)
  (* (log (sqrt t)) 2/3)
  0
  (* 2/3 (log t))
  (* 4/3 (log (cbrt t)))
  (* 2/3 (log (cbrt t)))
  (* (log (sqrt t)) 2/3)
  (* (log (sqrt t)) 2/3)
  0
  (* 2/3 (log t))
  2/3
  (* 2/3 (* (cbrt (log t)) (cbrt (log t))))
  (* 2/3 (sqrt (log t)))
  2/3
  (* (cbrt 2/3) (log t))
  (* (sqrt 2/3) (log t))
  (* 2/3 (log t))
  (* (log t) (* z 2/3))
  (* (log t) (* z 2/3))
  (log (* (* 2/3 (log t)) z))
  (log (* (* 2/3 (log t)) z))
  (log (* (* 2/3 (log t)) z))
  (pow (pow t 2/3) z)
  (pow (* (* 2/3 (log t)) z) 3)
  (pow (* (* 2/3 (log t)) z) 3)
  (* (cbrt (* (* 2/3 (log t)) z)) (cbrt (* (* 2/3 (log t)) z)))
  (cbrt (* (* 2/3 (log t)) z))
  (pow (* (* 2/3 (log t)) z) 3)
  (sqrt (* (* 2/3 (log t)) z))
  (sqrt (* (* 2/3 (log t)) z))
  (* (* 2/3 (log t)) (* (cbrt z) (cbrt z)))
  (* (* 2/3 (log t)) (sqrt z))
  (* 2/3 (log t))
  (* (log t) z)
  (* z (log (cbrt t)))
  (log (* z (log (cbrt t))))
  (log (* z (log (cbrt t))))
  (pow (cbrt t) z)
  (pow (* z (log (cbrt t))) 3)
  (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t)))))
  (cbrt (* z (log (cbrt t))))
  (pow (* z (log (cbrt t))) 3)
  (sqrt (* z (log (cbrt t))))
  (sqrt (* z (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* (sqrt z) (sqrt (log (cbrt t))))
  (* z (log (cbrt (pow t 2/3))))
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  0
  (* z (log (cbrt t)))
  (* z (* 2 (log (cbrt (cbrt t)))))
  (* (log (cbrt (cbrt t))) z)
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  0
  (* z (log (cbrt t)))
  (* z (log (cbrt (pow t 2/3))))
  (* (log (cbrt (cbrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  (* (log (cbrt (sqrt t))) z)
  0
  (* z (log (cbrt t)))
  (* z (* 2 (log (cbrt (cbrt t)))))
  (* (log (cbrt (cbrt t))) z)
  (* z (log (sqrt (cbrt t))))
  (* z (log (sqrt (cbrt t))))
  0
  (* z (log (cbrt t)))
  (* z 1/3)
  z
  (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t)))))
  (* z (sqrt (log (cbrt t))))
  z
  (* (cbrt z) (log (cbrt t)))
  (* (sqrt z) (log (cbrt t)))
  (* z (log (cbrt t)))
  (cbrt t)
  (cbrt t)
  (* (cbrt (exp (neg (log (/ -1 t))))) (cbrt -1))
  (* 2/3 (log t))
  (* 2/3 (log t))
  (* 2/3 (log t))
  (* (log t) (* z 2/3))
  (* (log t) (* z 2/3))
  (* (log t) (* z 2/3))
  (* z (* 1/3 (log t)))
  (* z (* 1/3 (log t)))
  (* (- (log (cbrt -1)) (* 1/3 (log (/ -1 t)))) z)
17.367 * * * [progress]: adding candidates to table
17.472 * [progress]: [Phase 3 of 3] Extracting.
17.472 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.475 * * * [regime-changes]: Trying 12 branch expressions: ((- a 0.5) (* (- a 0.5) b) (log t) (+ x y) (- (+ (+ x y) z) (* z (log t))) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) b a t z y x)
17.475 * * * * [regimes]: Trying to branch on (- a 0.5) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.558 * * * * [regimes]: Trying to branch on (* (- a 0.5) b) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.645 * * * * [regimes]: Trying to branch on (log t) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.736 * * * * [regimes]: Trying to branch on (log t) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.816 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.900 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
17.973 * * * * [regimes]: Trying to branch on (- (+ (+ x y) z) (* z (log t))) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.065 * * * * [regimes]: Trying to branch on (- (+ (+ x y) z) (* z (log t))) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))>)
18.141 * * * * [regimes]: Trying to branch on (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.235 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.322 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.407 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.491 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.576 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.659 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (* (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (log (exp (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (+ x (- (+ z y) (* (* 2 (log (cbrt t))) z))) (* (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (cbrt (log (cbrt t))))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (* (sqrt (- z (* z (log t)))) (sqrt (- z (* z (log t)))))) (* (- a 0.5) b)))>)
18.743 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
18.743 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b))
18.744 * * [simplify]: iteration  0 :  21  enodes  (cost  24 )
18.744 * * [simplify]: iteration  1 :  27  enodes  (cost  24 )
18.745 * * [simplify]: iteration  done :  27  enodes  (cost  24 )
18.745 * [simplify]: Simplified to:
   (+ (- (+ x (- (+ z y) (* (log (pow t 2/3)) z))) (* z (log (cbrt t)))) (* (- a 0.5) b))
22.220 * [regime-testing]: End program error score: 0.10222762845644172
22.367 * [regime-testing]: Target error score: 0.3828211407603764