25.300 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying:
  (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.023 * * [simplify]: Extracting # 0 : cost  0
0.023 * * [simplify]: Extracting # 1 : cost  0
0.023 * * [simplify]: Extracting # 2 : cost  0
0.023 * * [simplify]: Extracting # 3 : cost  0
0.023 * * [simplify]: Extracting # 4 : cost  0
0.023 * * [simplify]: Extracting # 5 : cost  0
0.023 * * [simplify]: Extracting # 6 : cost  0
0.023 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: Extracting # 1 : cost  0
0.025 * * [simplify]: Extracting # 2 : cost  0
0.025 * * [simplify]: iteration  1 :  16  enodes  (cost  14 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: Extracting # 3 : cost  0
0.028 * * [simplify]: iteration  2 :  33  enodes  (cost  11 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: iteration  3 :  56  enodes  (cost  8 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: iteration  4 :  74  enodes  (cost  8 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: iteration  5 :  80  enodes  (cost  8 )
0.072 * * [simplify]: Extracting # 0 : cost  0
0.072 * * [simplify]: iteration done:  80  enodes  (cost  8 )
0.072 * [simplify]: Simplified to:
  (fma y x (* 3 (* z z)))
0.075 * * [progress]: iteration 1 / 4
0.075 * * * [progress]: picking best candidate
0.077 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* 3 (* z z))))>
0.077 * * * [progress]: localizing error
0.083 * * * [progress]: generating rewritten candidates
0.083 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
0.100 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.101 * * * [progress]: generating series expansions
0.101 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
0.101 * [backup-simplify]: Simplify (* 3 (* z z)) into (* 3 (pow z 2))
0.102 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.102 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.102 * [taylor]: Taking taylor expansion of 3 in z
0.102 * [backup-simplify]: Simplify 3 into 3
0.102 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.102 * [taylor]: Taking taylor expansion of z in z
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 1 into 1
0.102 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.102 * [taylor]: Taking taylor expansion of 3 in z
0.102 * [backup-simplify]: Simplify 3 into 3
0.102 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.102 * [taylor]: Taking taylor expansion of z in z
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 1 into 1
0.102 * [backup-simplify]: Simplify (* 1 1) into 1
0.102 * [backup-simplify]: Simplify (* 3 1) into 3
0.103 * [backup-simplify]: Simplify 3 into 3
0.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.103 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.103 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.104 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.105 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.105 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.109 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.109 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.111 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.112 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.113 * [backup-simplify]: Simplify (* 3 (* (/ 1 z) (/ 1 z))) into (/ 3 (pow z 2))
0.113 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.113 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.113 * [taylor]: Taking taylor expansion of 3 in z
0.113 * [backup-simplify]: Simplify 3 into 3
0.113 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 1 into 1
0.113 * [backup-simplify]: Simplify (* 1 1) into 1
0.113 * [backup-simplify]: Simplify (/ 3 1) into 3
0.113 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.113 * [taylor]: Taking taylor expansion of 3 in z
0.113 * [backup-simplify]: Simplify 3 into 3
0.113 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 1 into 1
0.114 * [backup-simplify]: Simplify (* 1 1) into 1
0.114 * [backup-simplify]: Simplify (/ 3 1) into 3
0.114 * [backup-simplify]: Simplify 3 into 3
0.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.120 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
0.121 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- z)) (/ 1 (- z)))) into (/ 3 (pow z 2))
0.121 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.121 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.121 * [taylor]: Taking taylor expansion of 3 in z
0.121 * [backup-simplify]: Simplify 3 into 3
0.121 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.121 * [taylor]: Taking taylor expansion of z in z
0.121 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (* 1 1) into 1
0.122 * [backup-simplify]: Simplify (/ 3 1) into 3
0.122 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.122 * [taylor]: Taking taylor expansion of 3 in z
0.122 * [backup-simplify]: Simplify 3 into 3
0.122 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.122 * [taylor]: Taking taylor expansion of z in z
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (* 1 1) into 1
0.123 * [backup-simplify]: Simplify (/ 3 1) into 3
0.123 * [backup-simplify]: Simplify 3 into 3
0.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.128 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
0.130 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.130 * [backup-simplify]: Simplify (fma y x (* 3 (* z z))) into (fma y x (* 3 (pow z 2)))
0.130 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0
0.130 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z
0.130 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
0.130 * [taylor]: Taking taylor expansion of (* y x) in z
0.130 * [taylor]: Taking taylor expansion of y in z
0.130 * [backup-simplify]: Simplify y into y
0.130 * [taylor]: Taking taylor expansion of x in z
0.130 * [backup-simplify]: Simplify x into x
0.130 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.130 * [taylor]: Taking taylor expansion of 3 in z
0.130 * [backup-simplify]: Simplify 3 into 3
0.130 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.130 * [taylor]: Taking taylor expansion of z in z
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x
0.130 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
0.130 * [taylor]: Taking taylor expansion of (* y x) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [backup-simplify]: Simplify y into y
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.130 * [taylor]: Taking taylor expansion of 3 in x
0.130 * [backup-simplify]: Simplify 3 into 3
0.130 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.130 * [taylor]: Taking taylor expansion of z in x
0.130 * [backup-simplify]: Simplify z into z
0.130 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
0.130 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
0.130 * [taylor]: Taking taylor expansion of (* y x) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify 1 into 1
0.131 * [taylor]: Taking taylor expansion of x in y
0.131 * [backup-simplify]: Simplify x into x
0.131 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.131 * [taylor]: Taking taylor expansion of 3 in y
0.131 * [backup-simplify]: Simplify 3 into 3
0.131 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.131 * [taylor]: Taking taylor expansion of z in y
0.131 * [backup-simplify]: Simplify z into z
0.131 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
0.131 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
0.131 * [taylor]: Taking taylor expansion of (* y x) in y
0.131 * [taylor]: Taking taylor expansion of y in y
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify 1 into 1
0.131 * [taylor]: Taking taylor expansion of x in y
0.131 * [backup-simplify]: Simplify x into x
0.131 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.131 * [taylor]: Taking taylor expansion of 3 in y
0.131 * [backup-simplify]: Simplify 3 into 3
0.131 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.131 * [taylor]: Taking taylor expansion of z in y
0.131 * [backup-simplify]: Simplify z into z
0.131 * [backup-simplify]: Simplify (* 0 x) into 0
0.131 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.131 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.131 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
0.131 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.131 * [taylor]: Taking taylor expansion of 3 in x
0.131 * [backup-simplify]: Simplify 3 into 3
0.131 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.131 * [taylor]: Taking taylor expansion of z in x
0.131 * [backup-simplify]: Simplify z into z
0.131 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.131 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.131 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.131 * [taylor]: Taking taylor expansion of 3 in z
0.131 * [backup-simplify]: Simplify 3 into 3
0.131 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.131 * [taylor]: Taking taylor expansion of z in z
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 1 into 1
0.132 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
0.132 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.132 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
0.132 * [backup-simplify]: Simplify (+ x 0) into x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 1 into 1
0.132 * [taylor]: Taking taylor expansion of 0 in z
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.133 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
0.134 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.134 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
0.134 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [taylor]: Taking taylor expansion of 0 in x
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [taylor]: Taking taylor expansion of 0 in z
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [taylor]: Taking taylor expansion of 1 in z
0.134 * [backup-simplify]: Simplify 1 into 1
0.134 * [backup-simplify]: Simplify 1 into 1
0.135 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.135 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
0.135 * [taylor]: Taking taylor expansion of 0 in z
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (* 1 1) into 1
0.136 * [backup-simplify]: Simplify (* 3 1) into 3
0.136 * [backup-simplify]: Simplify 3 into 3
0.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
0.137 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.138 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
0.138 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [taylor]: Taking taylor expansion of 0 in x
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [taylor]: Taking taylor expansion of 0 in z
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [taylor]: Taking taylor expansion of 0 in z
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [taylor]: Taking taylor expansion of 0 in z
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.139 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
0.139 * [taylor]: Taking taylor expansion of 0 in z
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y))
0.140 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* 3 (* (/ 1 z) (/ 1 z)))) into (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2)))
0.140 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0
0.140 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z
0.140 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
0.140 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.140 * [taylor]: Taking taylor expansion of y in z
0.140 * [backup-simplify]: Simplify y into y
0.140 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.140 * [taylor]: Taking taylor expansion of x in z
0.140 * [backup-simplify]: Simplify x into x
0.140 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.140 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.140 * [taylor]: Taking taylor expansion of 3 in z
0.140 * [backup-simplify]: Simplify 3 into 3
0.140 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.140 * [taylor]: Taking taylor expansion of z in z
0.140 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify 1 into 1
0.141 * [backup-simplify]: Simplify (* 1 1) into 1
0.141 * [backup-simplify]: Simplify (/ 3 1) into 3
0.141 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x
0.141 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
0.141 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.141 * [backup-simplify]: Simplify y into y
0.141 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify 1 into 1
0.142 * [backup-simplify]: Simplify (/ 1 1) into 1
0.142 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
0.142 * [taylor]: Taking taylor expansion of 3 in x
0.142 * [backup-simplify]: Simplify 3 into 3
0.142 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.142 * [taylor]: Taking taylor expansion of z in x
0.142 * [backup-simplify]: Simplify z into z
0.142 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.142 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.142 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
0.142 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
0.142 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.142 * [taylor]: Taking taylor expansion of y in y
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 1 into 1
0.142 * [backup-simplify]: Simplify (/ 1 1) into 1
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.142 * [taylor]: Taking taylor expansion of x in y
0.142 * [backup-simplify]: Simplify x into x
0.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.142 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
0.142 * [taylor]: Taking taylor expansion of 3 in y
0.142 * [backup-simplify]: Simplify 3 into 3
0.142 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.142 * [taylor]: Taking taylor expansion of z in y
0.142 * [backup-simplify]: Simplify z into z
0.142 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.142 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.143 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
0.143 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
0.143 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
0.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.143 * [backup-simplify]: Simplify (/ 1 1) into 1
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.143 * [taylor]: Taking taylor expansion of x in y
0.143 * [backup-simplify]: Simplify x into x
0.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.143 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
0.143 * [taylor]: Taking taylor expansion of 3 in y
0.143 * [backup-simplify]: Simplify 3 into 3
0.143 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.143 * [taylor]: Taking taylor expansion of z in y
0.143 * [backup-simplify]: Simplify z into z
0.143 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.143 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.143 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
0.143 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ 1 1) into 1
0.144 * [taylor]: Taking taylor expansion of 1 in z
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
0.145 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
0.145 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.145 * [taylor]: Taking taylor expansion of 3 in x
0.145 * [backup-simplify]: Simplify 3 into 3
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.145 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.145 * [taylor]: Taking taylor expansion of z in x
0.145 * [backup-simplify]: Simplify z into z
0.145 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.145 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.145 * [taylor]: Taking taylor expansion of 0 in z
0.145 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
0.147 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.147 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.147 * [taylor]: Taking taylor expansion of 0 in x
0.147 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.148 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.148 * [taylor]: Taking taylor expansion of 3 in z
0.148 * [backup-simplify]: Simplify 3 into 3
0.148 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.148 * [taylor]: Taking taylor expansion of z in z
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (* 1 1) into 1
0.148 * [backup-simplify]: Simplify (/ 3 1) into 3
0.148 * [backup-simplify]: Simplify 3 into 3
0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
0.151 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.151 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.151 * [backup-simplify]: Simplify (+ 0 0) into 0
0.151 * [taylor]: Taking taylor expansion of 0 in x
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [taylor]: Taking taylor expansion of 0 in z
0.151 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.152 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.152 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.152 * [taylor]: Taking taylor expansion of 0 in z
0.152 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.153 * [taylor]: Taking taylor expansion of 0 in z
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
0.156 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.156 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.156 * [backup-simplify]: Simplify (+ 0 0) into 0
0.156 * [taylor]: Taking taylor expansion of 0 in x
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.157 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.157 * [taylor]: Taking taylor expansion of 0 in z
0.157 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.158 * [taylor]: Taking taylor expansion of 0 in z
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
0.160 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* 3 (* (/ 1 (- z)) (/ 1 (- z))))) into (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2)))
0.160 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0
0.160 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z
0.160 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
0.160 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.160 * [taylor]: Taking taylor expansion of -1 in z
0.160 * [backup-simplify]: Simplify -1 into -1
0.160 * [taylor]: Taking taylor expansion of y in z
0.160 * [backup-simplify]: Simplify y into y
0.160 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.160 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.160 * [taylor]: Taking taylor expansion of -1 in z
0.160 * [backup-simplify]: Simplify -1 into -1
0.160 * [taylor]: Taking taylor expansion of x in z
0.160 * [backup-simplify]: Simplify x into x
0.160 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.160 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.160 * [taylor]: Taking taylor expansion of 3 in z
0.160 * [backup-simplify]: Simplify 3 into 3
0.160 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.160 * [taylor]: Taking taylor expansion of z in z
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (* 1 1) into 1
0.161 * [backup-simplify]: Simplify (/ 3 1) into 3
0.161 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x
0.161 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
0.161 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.161 * [taylor]: Taking taylor expansion of -1 in x
0.161 * [backup-simplify]: Simplify -1 into -1
0.161 * [taylor]: Taking taylor expansion of y in x
0.161 * [backup-simplify]: Simplify y into y
0.161 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.161 * [taylor]: Taking taylor expansion of -1 in x
0.161 * [backup-simplify]: Simplify -1 into -1
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (/ -1 1) into -1
0.161 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
0.161 * [taylor]: Taking taylor expansion of 3 in x
0.161 * [backup-simplify]: Simplify 3 into 3
0.161 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.161 * [taylor]: Taking taylor expansion of z in x
0.161 * [backup-simplify]: Simplify z into z
0.162 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.162 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.162 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
0.162 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
0.162 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
0.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.162 * [taylor]: Taking taylor expansion of -1 in y
0.162 * [backup-simplify]: Simplify -1 into -1
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (/ -1 1) into -1
0.162 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.162 * [taylor]: Taking taylor expansion of -1 in y
0.162 * [backup-simplify]: Simplify -1 into -1
0.162 * [taylor]: Taking taylor expansion of x in y
0.162 * [backup-simplify]: Simplify x into x
0.162 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.162 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
0.162 * [taylor]: Taking taylor expansion of 3 in y
0.162 * [backup-simplify]: Simplify 3 into 3
0.162 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.162 * [taylor]: Taking taylor expansion of z in y
0.162 * [backup-simplify]: Simplify z into z
0.162 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.162 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.162 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
0.163 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
0.163 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
0.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.163 * [taylor]: Taking taylor expansion of -1 in y
0.163 * [backup-simplify]: Simplify -1 into -1
0.163 * [taylor]: Taking taylor expansion of y in y
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (/ -1 1) into -1
0.163 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.163 * [taylor]: Taking taylor expansion of -1 in y
0.163 * [backup-simplify]: Simplify -1 into -1
0.163 * [taylor]: Taking taylor expansion of x in y
0.163 * [backup-simplify]: Simplify x into x
0.163 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.163 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
0.163 * [taylor]: Taking taylor expansion of 3 in y
0.163 * [backup-simplify]: Simplify 3 into 3
0.163 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.163 * [taylor]: Taking taylor expansion of z in y
0.163 * [backup-simplify]: Simplify z into z
0.163 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.163 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
0.163 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
0.163 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (/ 1 1) into 1
0.164 * [taylor]: Taking taylor expansion of 1 in z
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.165 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
0.165 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
0.165 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.165 * [taylor]: Taking taylor expansion of 3 in x
0.165 * [backup-simplify]: Simplify 3 into 3
0.165 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.165 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.165 * [taylor]: Taking taylor expansion of z in x
0.165 * [backup-simplify]: Simplify z into z
0.165 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.165 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.167 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
0.167 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.167 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.167 * [backup-simplify]: Simplify (+ 0 0) into 0
0.167 * [taylor]: Taking taylor expansion of 0 in x
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.167 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.167 * [taylor]: Taking taylor expansion of 3 in z
0.167 * [backup-simplify]: Simplify 3 into 3
0.167 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (* 1 1) into 1
0.168 * [backup-simplify]: Simplify (/ 3 1) into 3
0.168 * [backup-simplify]: Simplify 3 into 3
0.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.168 * [taylor]: Taking taylor expansion of 0 in z
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify 1 into 1
0.169 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.170 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
0.170 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.171 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [taylor]: Taking taylor expansion of 0 in z
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.172 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.172 * [taylor]: Taking taylor expansion of 0 in z
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.172 * [taylor]: Taking taylor expansion of 0 in z
0.172 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.175 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0
0.175 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.176 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.176 * [backup-simplify]: Simplify (+ 0 0) into 0
0.176 * [taylor]: Taking taylor expansion of 0 in x
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [taylor]: Taking taylor expansion of 0 in z
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [taylor]: Taking taylor expansion of 0 in z
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.177 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.177 * [taylor]: Taking taylor expansion of 0 in z
0.177 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.178 * [taylor]: Taking taylor expansion of 0 in z
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
0.179 * * * [progress]: simplifying candidates
0.180 * [simplify]: Simplifying:
  (expm1 (* 3 (* z z)))
  (log1p (* 3 (* z z)))
  (* 3 (* z z))
  (* 3 (* z z))
  (+ (log 3) (+ (log z) (log z)))
  (+ (log 3) (log (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z)))
  (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z)))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* 3 (* z z))
  (expm1 (fma y x (* 3 (* z z))))
  (log1p (fma y x (* 3 (* z z))))
  (* y x)
  (log (fma y x (* 3 (* z z))))
  (exp (fma y x (* 3 (* z z))))
  (* (cbrt (fma y x (* 3 (* z z)))) (cbrt (fma y x (* 3 (* z z)))))
  (cbrt (fma y x (* 3 (* z z))))
  (* (* (fma y x (* 3 (* z z))) (fma y x (* 3 (* z z)))) (fma y x (* 3 (* z z))))
  (sqrt (fma y x (* 3 (* z z))))
  (sqrt (fma y x (* 3 (* z z))))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.180 * * [simplify]: Extracting # 0 : cost  0
0.180 * * [simplify]: Extracting # 1 : cost  0
0.180 * * [simplify]: Extracting # 2 : cost  0
0.181 * * [simplify]: Extracting # 3 : cost  0
0.181 * * [simplify]: Extracting # 4 : cost  0
0.181 * * [simplify]: Extracting # 5 : cost  0
0.181 * * [simplify]: iteration  0 :  51  enodes  (cost  312 )
0.192 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.192 * * [simplify]: Extracting # 2 : cost  0
0.192 * * [simplify]: Extracting # 3 : cost  0
0.192 * * [simplify]: Extracting # 4 : cost  0
0.192 * * [simplify]: iteration  1 :  102  enodes  (cost  296 )
0.225 * * [simplify]: Extracting # 0 : cost  0
0.225 * * [simplify]: Extracting # 1 : cost  0
0.226 * * [simplify]: Extracting # 2 : cost  0
0.226 * * [simplify]: Extracting # 3 : cost  0
0.226 * * [simplify]: iteration  2 :  246  enodes  (cost  260 )
0.327 * * [simplify]: Extracting # 0 : cost  0
0.328 * * [simplify]: Extracting # 1 : cost  0
0.328 * * [simplify]: Extracting # 2 : cost  0
0.328 * * [simplify]: Extracting # 3 : cost  0
0.329 * * [simplify]: Extracting # 4 : cost  0
0.329 * * [simplify]: iteration  3 :  603  enodes  (cost  254 )
0.698 * * [simplify]: Extracting # 0 : cost  0
0.700 * * [simplify]: Extracting # 1 : cost  0
0.701 * * [simplify]: Extracting # 2 : cost  0
0.702 * * [simplify]: Extracting # 3 : cost  0
0.703 * * [simplify]: Extracting # 4 : cost  0
0.704 * * [simplify]: iteration  4 :  1323  enodes  (cost  254 )
2.041 * * [simplify]: Extracting # 0 : cost  0
2.046 * * [simplify]: Extracting # 1 : cost  0
2.052 * * [simplify]: Extracting # 2 : cost  0
2.056 * * [simplify]: Extracting # 3 : cost  0
2.061 * * [simplify]: Extracting # 4 : cost  0
2.071 * * [simplify]: iteration done:  5000  enodes  (cost  254 )
2.071 * [simplify]: Simplified to:
  (expm1 (* 3 (* z z)))
  (log1p (* 3 (* z z)))
  (* 3 (* z z))
  (* 3 (* z z))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* 27 (pow z 6))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* 3 (* z z))
  (expm1 (fma y x (* 3 (* z z))))
  (log1p (fma y x (* 3 (* z z))))
  (* x y)
  (log (fma y x (* 3 (* z z))))
  (exp (fma y x (* 3 (* z z))))
  (* (cbrt (fma y x (* 3 (* z z)))) (cbrt (fma y x (* 3 (* z z)))))
  (cbrt (fma y x (* 3 (* z z))))
  (pow (fma 3 (pow z 2) (* y x)) 3)
  (sqrt (fma y x (* 3 (* z z))))
  (sqrt (fma y x (* 3 (* z z))))
  (* 3 (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
  (fma 3 (pow z 2) (* y x))
  (fma 3 (pow z 2) (* y x))
  (fma 3 (pow z 2) (* y x))
2.071 * * * [progress]: adding candidates to table
2.139 * * [progress]: iteration 2 / 4
2.139 * * * [progress]: picking best candidate
2.148 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (* 3 z) z)))>
2.148 * * * [progress]: localizing error
2.153 * * * [progress]: generating rewritten candidates
2.153 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
2.170 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.171 * * * [progress]: generating series expansions
2.171 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
2.171 * [backup-simplify]: Simplify (* (* 3 z) z) into (* 3 (pow z 2))
2.171 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
2.171 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.171 * [taylor]: Taking taylor expansion of 3 in z
2.172 * [backup-simplify]: Simplify 3 into 3
2.172 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.172 * [taylor]: Taking taylor expansion of z in z
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 1 into 1
2.172 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.172 * [taylor]: Taking taylor expansion of 3 in z
2.172 * [backup-simplify]: Simplify 3 into 3
2.172 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.172 * [taylor]: Taking taylor expansion of z in z
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 1 into 1
2.172 * [backup-simplify]: Simplify (* 1 1) into 1
2.172 * [backup-simplify]: Simplify (* 3 1) into 3
2.172 * [backup-simplify]: Simplify 3 into 3
2.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.173 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
2.173 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.174 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.175 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.175 * [backup-simplify]: Simplify 0 into 0
2.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.179 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.179 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.180 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.180 * [backup-simplify]: Simplify 0 into 0
2.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.182 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.182 * [backup-simplify]: Simplify 0 into 0
2.182 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
2.182 * [backup-simplify]: Simplify (* (* 3 (/ 1 z)) (/ 1 z)) into (/ 3 (pow z 2))
2.182 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
2.182 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.182 * [taylor]: Taking taylor expansion of 3 in z
2.182 * [backup-simplify]: Simplify 3 into 3
2.182 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.182 * [taylor]: Taking taylor expansion of z in z
2.182 * [backup-simplify]: Simplify 0 into 0
2.182 * [backup-simplify]: Simplify 1 into 1
2.182 * [backup-simplify]: Simplify (* 1 1) into 1
2.183 * [backup-simplify]: Simplify (/ 3 1) into 3
2.183 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.183 * [taylor]: Taking taylor expansion of 3 in z
2.183 * [backup-simplify]: Simplify 3 into 3
2.183 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.183 * [taylor]: Taking taylor expansion of z in z
2.183 * [backup-simplify]: Simplify 0 into 0
2.183 * [backup-simplify]: Simplify 1 into 1
2.183 * [backup-simplify]: Simplify (* 1 1) into 1
2.183 * [backup-simplify]: Simplify (/ 3 1) into 3
2.183 * [backup-simplify]: Simplify 3 into 3
2.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.184 * [backup-simplify]: Simplify 0 into 0
2.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.185 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.186 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.188 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.189 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.189 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.190 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
2.190 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- z))) (/ 1 (- z))) into (/ 3 (pow z 2))
2.190 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
2.190 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.190 * [taylor]: Taking taylor expansion of 3 in z
2.190 * [backup-simplify]: Simplify 3 into 3
2.190 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.191 * [taylor]: Taking taylor expansion of z in z
2.191 * [backup-simplify]: Simplify 0 into 0
2.191 * [backup-simplify]: Simplify 1 into 1
2.191 * [backup-simplify]: Simplify (* 1 1) into 1
2.191 * [backup-simplify]: Simplify (/ 3 1) into 3
2.191 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.191 * [taylor]: Taking taylor expansion of 3 in z
2.191 * [backup-simplify]: Simplify 3 into 3
2.191 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.191 * [taylor]: Taking taylor expansion of z in z
2.191 * [backup-simplify]: Simplify 0 into 0
2.191 * [backup-simplify]: Simplify 1 into 1
2.191 * [backup-simplify]: Simplify (* 1 1) into 1
2.192 * [backup-simplify]: Simplify (/ 3 1) into 3
2.192 * [backup-simplify]: Simplify 3 into 3
2.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.193 * [backup-simplify]: Simplify 0 into 0
2.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.195 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.196 * [backup-simplify]: Simplify 0 into 0
2.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.197 * [backup-simplify]: Simplify 0 into 0
2.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.199 * [backup-simplify]: Simplify 0 into 0
2.199 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
2.199 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.199 * [backup-simplify]: Simplify (fma y x (* (* 3 z) z)) into (fma y x (* 3 (pow z 2)))
2.199 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0
2.199 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z
2.199 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
2.199 * [taylor]: Taking taylor expansion of (* y x) in z
2.199 * [taylor]: Taking taylor expansion of y in z
2.199 * [backup-simplify]: Simplify y into y
2.199 * [taylor]: Taking taylor expansion of x in z
2.199 * [backup-simplify]: Simplify x into x
2.199 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.199 * [taylor]: Taking taylor expansion of 3 in z
2.199 * [backup-simplify]: Simplify 3 into 3
2.199 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.199 * [taylor]: Taking taylor expansion of z in z
2.199 * [backup-simplify]: Simplify 0 into 0
2.199 * [backup-simplify]: Simplify 1 into 1
2.199 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x
2.200 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
2.200 * [taylor]: Taking taylor expansion of (* y x) in x
2.200 * [taylor]: Taking taylor expansion of y in x
2.200 * [backup-simplify]: Simplify y into y
2.200 * [taylor]: Taking taylor expansion of x in x
2.200 * [backup-simplify]: Simplify 0 into 0
2.200 * [backup-simplify]: Simplify 1 into 1
2.200 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
2.200 * [taylor]: Taking taylor expansion of 3 in x
2.200 * [backup-simplify]: Simplify 3 into 3
2.200 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.200 * [taylor]: Taking taylor expansion of z in x
2.200 * [backup-simplify]: Simplify z into z
2.200 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
2.200 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
2.200 * [taylor]: Taking taylor expansion of (* y x) in y
2.200 * [taylor]: Taking taylor expansion of y in y
2.200 * [backup-simplify]: Simplify 0 into 0
2.200 * [backup-simplify]: Simplify 1 into 1
2.200 * [taylor]: Taking taylor expansion of x in y
2.200 * [backup-simplify]: Simplify x into x
2.200 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
2.200 * [taylor]: Taking taylor expansion of 3 in y
2.200 * [backup-simplify]: Simplify 3 into 3
2.200 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.200 * [taylor]: Taking taylor expansion of z in y
2.200 * [backup-simplify]: Simplify z into z
2.200 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
2.200 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
2.200 * [taylor]: Taking taylor expansion of (* y x) in y
2.201 * [taylor]: Taking taylor expansion of y in y
2.201 * [backup-simplify]: Simplify 0 into 0
2.201 * [backup-simplify]: Simplify 1 into 1
2.201 * [taylor]: Taking taylor expansion of x in y
2.201 * [backup-simplify]: Simplify x into x
2.201 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
2.201 * [taylor]: Taking taylor expansion of 3 in y
2.201 * [backup-simplify]: Simplify 3 into 3
2.201 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.201 * [taylor]: Taking taylor expansion of z in y
2.201 * [backup-simplify]: Simplify z into z
2.201 * [backup-simplify]: Simplify (* 0 x) into 0
2.201 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.201 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
2.201 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
2.201 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
2.201 * [taylor]: Taking taylor expansion of 3 in x
2.201 * [backup-simplify]: Simplify 3 into 3
2.201 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.201 * [taylor]: Taking taylor expansion of z in x
2.201 * [backup-simplify]: Simplify z into z
2.201 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.201 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
2.201 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.201 * [taylor]: Taking taylor expansion of 3 in z
2.201 * [backup-simplify]: Simplify 3 into 3
2.201 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.201 * [taylor]: Taking taylor expansion of z in z
2.201 * [backup-simplify]: Simplify 0 into 0
2.201 * [backup-simplify]: Simplify 1 into 1
2.202 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.202 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.202 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
2.202 * [backup-simplify]: Simplify (+ x 0) into x
2.202 * [taylor]: Taking taylor expansion of x in x
2.202 * [backup-simplify]: Simplify 0 into 0
2.202 * [backup-simplify]: Simplify 1 into 1
2.202 * [taylor]: Taking taylor expansion of 0 in z
2.202 * [backup-simplify]: Simplify 0 into 0
2.202 * [backup-simplify]: Simplify 0 into 0
2.202 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.203 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
2.203 * [taylor]: Taking taylor expansion of 0 in z
2.203 * [backup-simplify]: Simplify 0 into 0
2.203 * [backup-simplify]: Simplify 0 into 0
2.203 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
2.203 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.204 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
2.204 * [backup-simplify]: Simplify (+ 0 0) into 0
2.204 * [taylor]: Taking taylor expansion of 0 in x
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [taylor]: Taking taylor expansion of 0 in z
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [taylor]: Taking taylor expansion of 1 in z
2.204 * [backup-simplify]: Simplify 1 into 1
2.204 * [backup-simplify]: Simplify 1 into 1
2.205 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.205 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
2.205 * [taylor]: Taking taylor expansion of 0 in z
2.205 * [backup-simplify]: Simplify 0 into 0
2.205 * [backup-simplify]: Simplify 0 into 0
2.205 * [backup-simplify]: Simplify 0 into 0
2.205 * [backup-simplify]: Simplify 0 into 0
2.205 * [backup-simplify]: Simplify (* 1 1) into 1
2.206 * [backup-simplify]: Simplify (* 3 1) into 3
2.206 * [backup-simplify]: Simplify 3 into 3
2.206 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
2.207 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.207 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
2.208 * [backup-simplify]: Simplify (+ 0 0) into 0
2.208 * [taylor]: Taking taylor expansion of 0 in x
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [taylor]: Taking taylor expansion of 0 in z
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [taylor]: Taking taylor expansion of 0 in z
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [taylor]: Taking taylor expansion of 0 in z
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [backup-simplify]: Simplify 0 into 0
2.208 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.209 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
2.209 * [taylor]: Taking taylor expansion of 0 in z
2.209 * [backup-simplify]: Simplify 0 into 0
2.209 * [backup-simplify]: Simplify 0 into 0
2.209 * [backup-simplify]: Simplify 0 into 0
2.209 * [backup-simplify]: Simplify 0 into 0
2.210 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y))
2.210 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* (* 3 (/ 1 z)) (/ 1 z))) into (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2)))
2.210 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0
2.210 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z
2.210 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
2.210 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
2.210 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.210 * [taylor]: Taking taylor expansion of y in z
2.210 * [backup-simplify]: Simplify y into y
2.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.210 * [taylor]: Taking taylor expansion of x in z
2.210 * [backup-simplify]: Simplify x into x
2.210 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.210 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.210 * [taylor]: Taking taylor expansion of 3 in z
2.210 * [backup-simplify]: Simplify 3 into 3
2.210 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.210 * [taylor]: Taking taylor expansion of z in z
2.210 * [backup-simplify]: Simplify 0 into 0
2.210 * [backup-simplify]: Simplify 1 into 1
2.210 * [backup-simplify]: Simplify (* 1 1) into 1
2.211 * [backup-simplify]: Simplify (/ 3 1) into 3
2.211 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x
2.211 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
2.211 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
2.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.211 * [taylor]: Taking taylor expansion of y in x
2.211 * [backup-simplify]: Simplify y into y
2.211 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.211 * [taylor]: Taking taylor expansion of x in x
2.211 * [backup-simplify]: Simplify 0 into 0
2.211 * [backup-simplify]: Simplify 1 into 1
2.211 * [backup-simplify]: Simplify (/ 1 1) into 1
2.211 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
2.211 * [taylor]: Taking taylor expansion of 3 in x
2.211 * [backup-simplify]: Simplify 3 into 3
2.211 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.211 * [taylor]: Taking taylor expansion of z in x
2.211 * [backup-simplify]: Simplify z into z
2.211 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.211 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.211 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
2.212 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
2.212 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
2.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.212 * [taylor]: Taking taylor expansion of y in y
2.212 * [backup-simplify]: Simplify 0 into 0
2.212 * [backup-simplify]: Simplify 1 into 1
2.212 * [backup-simplify]: Simplify (/ 1 1) into 1
2.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.212 * [taylor]: Taking taylor expansion of x in y
2.212 * [backup-simplify]: Simplify x into x
2.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.212 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
2.212 * [taylor]: Taking taylor expansion of 3 in y
2.212 * [backup-simplify]: Simplify 3 into 3
2.212 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.212 * [taylor]: Taking taylor expansion of z in y
2.212 * [backup-simplify]: Simplify z into z
2.212 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.212 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.212 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
2.212 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
2.212 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
2.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.212 * [taylor]: Taking taylor expansion of y in y
2.212 * [backup-simplify]: Simplify 0 into 0
2.212 * [backup-simplify]: Simplify 1 into 1
2.213 * [backup-simplify]: Simplify (/ 1 1) into 1
2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.213 * [taylor]: Taking taylor expansion of x in y
2.213 * [backup-simplify]: Simplify x into x
2.213 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.213 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
2.213 * [taylor]: Taking taylor expansion of 3 in y
2.213 * [backup-simplify]: Simplify 3 into 3
2.213 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.213 * [taylor]: Taking taylor expansion of z in y
2.213 * [backup-simplify]: Simplify z into z
2.213 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.213 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.213 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
2.213 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.213 * [taylor]: Taking taylor expansion of x in x
2.213 * [backup-simplify]: Simplify 0 into 0
2.213 * [backup-simplify]: Simplify 1 into 1
2.213 * [backup-simplify]: Simplify (/ 1 1) into 1
2.213 * [taylor]: Taking taylor expansion of 1 in z
2.213 * [backup-simplify]: Simplify 1 into 1
2.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.214 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
2.214 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
2.214 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
2.214 * [taylor]: Taking taylor expansion of 3 in x
2.214 * [backup-simplify]: Simplify 3 into 3
2.214 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.214 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.214 * [taylor]: Taking taylor expansion of z in x
2.214 * [backup-simplify]: Simplify z into z
2.214 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.215 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
2.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.215 * [taylor]: Taking taylor expansion of 0 in z
2.215 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
2.216 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.216 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
2.217 * [backup-simplify]: Simplify (+ 0 0) into 0
2.217 * [taylor]: Taking taylor expansion of 0 in x
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
2.217 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.217 * [taylor]: Taking taylor expansion of 3 in z
2.217 * [backup-simplify]: Simplify 3 into 3
2.217 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.217 * [taylor]: Taking taylor expansion of z in z
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify 1 into 1
2.217 * [backup-simplify]: Simplify (* 1 1) into 1
2.217 * [backup-simplify]: Simplify (/ 3 1) into 3
2.217 * [backup-simplify]: Simplify 3 into 3
2.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.218 * [taylor]: Taking taylor expansion of 0 in z
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 1 into 1
2.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
2.219 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.220 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.220 * [backup-simplify]: Simplify (+ 0 0) into 0
2.220 * [taylor]: Taking taylor expansion of 0 in x
2.220 * [backup-simplify]: Simplify 0 into 0
2.220 * [taylor]: Taking taylor expansion of 0 in z
2.220 * [backup-simplify]: Simplify 0 into 0
2.220 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
2.221 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
2.221 * [taylor]: Taking taylor expansion of 0 in z
2.221 * [backup-simplify]: Simplify 0 into 0
2.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.221 * [taylor]: Taking taylor expansion of 0 in z
2.221 * [backup-simplify]: Simplify 0 into 0
2.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.222 * [backup-simplify]: Simplify 0 into 0
2.222 * [backup-simplify]: Simplify 0 into 0
2.222 * [backup-simplify]: Simplify 0 into 0
2.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
2.224 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.224 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.225 * [backup-simplify]: Simplify (+ 0 0) into 0
2.225 * [taylor]: Taking taylor expansion of 0 in x
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [taylor]: Taking taylor expansion of 0 in z
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [taylor]: Taking taylor expansion of 0 in z
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.225 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.226 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
2.226 * [taylor]: Taking taylor expansion of 0 in z
2.226 * [backup-simplify]: Simplify 0 into 0
2.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.226 * [taylor]: Taking taylor expansion of 0 in z
2.226 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
2.228 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* (* 3 (/ 1 (- z))) (/ 1 (- z)))) into (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2)))
2.228 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0
2.228 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z
2.228 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
2.228 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
2.228 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.228 * [taylor]: Taking taylor expansion of -1 in z
2.228 * [backup-simplify]: Simplify -1 into -1
2.228 * [taylor]: Taking taylor expansion of y in z
2.228 * [backup-simplify]: Simplify y into y
2.229 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.229 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.229 * [taylor]: Taking taylor expansion of -1 in z
2.229 * [backup-simplify]: Simplify -1 into -1
2.229 * [taylor]: Taking taylor expansion of x in z
2.229 * [backup-simplify]: Simplify x into x
2.229 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.229 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.229 * [taylor]: Taking taylor expansion of 3 in z
2.229 * [backup-simplify]: Simplify 3 into 3
2.229 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.229 * [taylor]: Taking taylor expansion of z in z
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 1 into 1
2.229 * [backup-simplify]: Simplify (* 1 1) into 1
2.229 * [backup-simplify]: Simplify (/ 3 1) into 3
2.229 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x
2.229 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
2.229 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
2.229 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.229 * [taylor]: Taking taylor expansion of -1 in x
2.229 * [backup-simplify]: Simplify -1 into -1
2.229 * [taylor]: Taking taylor expansion of y in x
2.229 * [backup-simplify]: Simplify y into y
2.229 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.229 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.229 * [taylor]: Taking taylor expansion of -1 in x
2.230 * [backup-simplify]: Simplify -1 into -1
2.230 * [taylor]: Taking taylor expansion of x in x
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (/ -1 1) into -1
2.230 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
2.230 * [taylor]: Taking taylor expansion of 3 in x
2.230 * [backup-simplify]: Simplify 3 into 3
2.230 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.230 * [taylor]: Taking taylor expansion of z in x
2.230 * [backup-simplify]: Simplify z into z
2.230 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.230 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.230 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
2.230 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
2.230 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
2.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.230 * [taylor]: Taking taylor expansion of -1 in y
2.230 * [backup-simplify]: Simplify -1 into -1
2.230 * [taylor]: Taking taylor expansion of y in y
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (/ -1 1) into -1
2.231 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.231 * [taylor]: Taking taylor expansion of -1 in y
2.231 * [backup-simplify]: Simplify -1 into -1
2.231 * [taylor]: Taking taylor expansion of x in y
2.231 * [backup-simplify]: Simplify x into x
2.231 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.231 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
2.231 * [taylor]: Taking taylor expansion of 3 in y
2.231 * [backup-simplify]: Simplify 3 into 3
2.231 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.231 * [taylor]: Taking taylor expansion of z in y
2.231 * [backup-simplify]: Simplify z into z
2.231 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.231 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.231 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
2.231 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
2.231 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
2.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.231 * [taylor]: Taking taylor expansion of -1 in y
2.231 * [backup-simplify]: Simplify -1 into -1
2.231 * [taylor]: Taking taylor expansion of y in y
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 1 into 1
2.231 * [backup-simplify]: Simplify (/ -1 1) into -1
2.231 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.231 * [taylor]: Taking taylor expansion of -1 in y
2.231 * [backup-simplify]: Simplify -1 into -1
2.231 * [taylor]: Taking taylor expansion of x in y
2.231 * [backup-simplify]: Simplify x into x
2.231 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.231 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
2.231 * [taylor]: Taking taylor expansion of 3 in y
2.231 * [backup-simplify]: Simplify 3 into 3
2.231 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.231 * [taylor]: Taking taylor expansion of z in y
2.232 * [backup-simplify]: Simplify z into z
2.232 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.232 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
2.232 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
2.232 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.232 * [taylor]: Taking taylor expansion of x in x
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 1 into 1
2.232 * [backup-simplify]: Simplify (/ 1 1) into 1
2.232 * [taylor]: Taking taylor expansion of 1 in z
2.232 * [backup-simplify]: Simplify 1 into 1
2.232 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.233 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
2.233 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
2.233 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
2.233 * [taylor]: Taking taylor expansion of 3 in x
2.233 * [backup-simplify]: Simplify 3 into 3
2.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.233 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.233 * [taylor]: Taking taylor expansion of z in x
2.233 * [backup-simplify]: Simplify z into z
2.233 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.233 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
2.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.234 * [taylor]: Taking taylor expansion of 0 in z
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.235 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
2.235 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.235 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
2.235 * [backup-simplify]: Simplify (+ 0 0) into 0
2.235 * [taylor]: Taking taylor expansion of 0 in x
2.235 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
2.236 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.236 * [taylor]: Taking taylor expansion of 3 in z
2.236 * [backup-simplify]: Simplify 3 into 3
2.236 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.236 * [taylor]: Taking taylor expansion of z in z
2.236 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify 1 into 1
2.236 * [backup-simplify]: Simplify (* 1 1) into 1
2.236 * [backup-simplify]: Simplify (/ 3 1) into 3
2.236 * [backup-simplify]: Simplify 3 into 3
2.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.237 * [taylor]: Taking taylor expansion of 0 in z
2.237 * [backup-simplify]: Simplify 0 into 0
2.237 * [backup-simplify]: Simplify 1 into 1
2.237 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.238 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
2.238 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.239 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.239 * [backup-simplify]: Simplify (+ 0 0) into 0
2.239 * [taylor]: Taking taylor expansion of 0 in x
2.239 * [backup-simplify]: Simplify 0 into 0
2.239 * [taylor]: Taking taylor expansion of 0 in z
2.239 * [backup-simplify]: Simplify 0 into 0
2.239 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
2.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
2.240 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
2.240 * [taylor]: Taking taylor expansion of 0 in z
2.240 * [backup-simplify]: Simplify 0 into 0
2.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.240 * [taylor]: Taking taylor expansion of 0 in z
2.240 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.243 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0
2.243 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.244 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.244 * [backup-simplify]: Simplify (+ 0 0) into 0
2.244 * [taylor]: Taking taylor expansion of 0 in x
2.244 * [backup-simplify]: Simplify 0 into 0
2.244 * [taylor]: Taking taylor expansion of 0 in z
2.244 * [backup-simplify]: Simplify 0 into 0
2.244 * [taylor]: Taking taylor expansion of 0 in z
2.244 * [backup-simplify]: Simplify 0 into 0
2.244 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
2.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
2.245 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
2.245 * [taylor]: Taking taylor expansion of 0 in z
2.245 * [backup-simplify]: Simplify 0 into 0
2.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.246 * [taylor]: Taking taylor expansion of 0 in z
2.246 * [backup-simplify]: Simplify 0 into 0
2.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.248 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
2.248 * * * [progress]: simplifying candidates
2.248 * [simplify]: Simplifying:
  (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  (* (* 3 z) z)
  (* (* 3 z) z)
  (+ (+ (log 3) (log z)) (log z))
  (+ (log (* 3 z)) (log z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* (* (* (* 3 3) 3) (* (* z z) z)) (* (* z z) z))
  (* (* (* (* 3 z) (* 3 z)) (* 3 z)) (* (* z z) z))
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (* (* (* (* 3 z) z) (* (* 3 z) z)) (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (* (* 3 z) (* (cbrt z) (cbrt z)))
  (* (* 3 z) (sqrt z))
  (* (* 3 z) 1)
  (* z z)
  (expm1 (fma y x (* (* 3 z) z)))
  (log1p (fma y x (* (* 3 z) z)))
  (* y x)
  (log (fma y x (* (* 3 z) z)))
  (exp (fma y x (* (* 3 z) z)))
  (* (cbrt (fma y x (* (* 3 z) z))) (cbrt (fma y x (* (* 3 z) z))))
  (cbrt (fma y x (* (* 3 z) z)))
  (* (* (fma y x (* (* 3 z) z)) (fma y x (* (* 3 z) z))) (fma y x (* (* 3 z) z)))
  (sqrt (fma y x (* (* 3 z) z)))
  (sqrt (fma y x (* (* 3 z) z)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
2.249 * * [simplify]: Extracting # 0 : cost  0
2.249 * * [simplify]: Extracting # 1 : cost  0
2.249 * * [simplify]: Extracting # 2 : cost  0
2.249 * * [simplify]: Extracting # 3 : cost  0
2.249 * * [simplify]: Extracting # 4 : cost  0
2.249 * * [simplify]: Extracting # 5 : cost  0
2.249 * * [simplify]: Extracting # 6 : cost  0
2.249 * * [simplify]: iteration  0 :  53  enodes  (cost  307 )
2.261 * * [simplify]: Extracting # 0 : cost  0
2.261 * * [simplify]: Extracting # 1 : cost  0
2.261 * * [simplify]: Extracting # 2 : cost  0
2.261 * * [simplify]: Extracting # 3 : cost  0
2.261 * * [simplify]: iteration  1 :  116  enodes  (cost  291 )
2.315 * * [simplify]: Extracting # 0 : cost  0
2.316 * * [simplify]: Extracting # 1 : cost  0
2.316 * * [simplify]: Extracting # 2 : cost  0
2.316 * * [simplify]: Extracting # 3 : cost  0
2.317 * * [simplify]: iteration  2 :  374  enodes  (cost  253 )
2.549 * * [simplify]: Extracting # 0 : cost  0
2.550 * * [simplify]: Extracting # 1 : cost  0
2.551 * * [simplify]: Extracting # 2 : cost  0
2.551 * * [simplify]: Extracting # 3 : cost  0
2.552 * * [simplify]: Extracting # 4 : cost  0
2.552 * * [simplify]: iteration  3 :  854  enodes  (cost  247 )
3.203 * * [simplify]: Extracting # 0 : cost  0
3.205 * * [simplify]: Extracting # 1 : cost  0
3.206 * * [simplify]: Extracting # 2 : cost  0
3.208 * * [simplify]: Extracting # 3 : cost  0
3.209 * * [simplify]: Extracting # 4 : cost  0
3.210 * * [simplify]: iteration  4 :  1752  enodes  (cost  246 )
4.388 * * [simplify]: Extracting # 0 : cost  0
4.394 * * [simplify]: Extracting # 1 : cost  0
4.399 * * [simplify]: Extracting # 2 : cost  0
4.404 * * [simplify]: Extracting # 3 : cost  0
4.415 * * [simplify]: Extracting # 4 : cost  0
4.420 * * [simplify]: iteration done:  5000  enodes  (cost  246 )
4.420 * [simplify]: Simplified to:
  (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (exp (* (* 3 z) z))
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (* (pow z 6) 27)
  (sqrt (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (* (* 3 z) (* (cbrt z) (cbrt z)))
  (* (pow z 3/2) 3)
  (* 3 z)
  (pow z 2)
  (expm1 (fma y x (* (* 3 z) z)))
  (log1p (fma y x (* (* 3 z) z)))
  (* x y)
  (log (fma y x (* (* 3 z) z)))
  (exp (fma y x (* (* 3 z) z)))
  (* (cbrt (fma y x (* (* 3 z) z))) (cbrt (fma y x (* (* 3 z) z))))
  (cbrt (fma y x (* (* 3 z) z)))
  (pow (fma y x (* (* 3 z) z)) 3)
  (sqrt (fma y x (* (* 3 z) z)))
  (sqrt (fma y x (* (* 3 z) z)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (fma y x (* 3 (pow z 2)))
  (fma y x (* 3 (pow z 2)))
  (fma y x (* 3 (pow z 2)))
4.420 * * * [progress]: adding candidates to table
4.487 * * [progress]: iteration 3 / 4
4.487 * * * [progress]: picking best candidate
4.496 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (* z z) 3)))>
4.496 * * * [progress]: localizing error
4.502 * * * [progress]: generating rewritten candidates
4.502 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
4.523 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.524 * * * [progress]: generating series expansions
4.524 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
4.524 * [backup-simplify]: Simplify (* (* z z) 3) into (* 3 (pow z 2))
4.524 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
4.524 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
4.524 * [taylor]: Taking taylor expansion of 3 in z
4.524 * [backup-simplify]: Simplify 3 into 3
4.524 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.524 * [taylor]: Taking taylor expansion of z in z
4.524 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify 1 into 1
4.524 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
4.524 * [taylor]: Taking taylor expansion of 3 in z
4.524 * [backup-simplify]: Simplify 3 into 3
4.524 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.524 * [taylor]: Taking taylor expansion of z in z
4.524 * [backup-simplify]: Simplify 0 into 0
4.525 * [backup-simplify]: Simplify 1 into 1
4.525 * [backup-simplify]: Simplify (* 1 1) into 1
4.525 * [backup-simplify]: Simplify (* 3 1) into 3
4.525 * [backup-simplify]: Simplify 3 into 3
4.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.526 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
4.526 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.527 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
4.527 * [backup-simplify]: Simplify 0 into 0
4.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.528 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.528 * [backup-simplify]: Simplify 0 into 0
4.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.530 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.531 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.531 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.533 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.533 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
4.533 * [backup-simplify]: Simplify (* (* (/ 1 z) (/ 1 z)) 3) into (/ 3 (pow z 2))
4.533 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
4.533 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.533 * [taylor]: Taking taylor expansion of 3 in z
4.533 * [backup-simplify]: Simplify 3 into 3
4.533 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.533 * [taylor]: Taking taylor expansion of z in z
4.533 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify 1 into 1
4.533 * [backup-simplify]: Simplify (* 1 1) into 1
4.533 * [backup-simplify]: Simplify (/ 3 1) into 3
4.533 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.533 * [taylor]: Taking taylor expansion of 3 in z
4.533 * [backup-simplify]: Simplify 3 into 3
4.533 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.533 * [taylor]: Taking taylor expansion of z in z
4.534 * [backup-simplify]: Simplify 0 into 0
4.534 * [backup-simplify]: Simplify 1 into 1
4.534 * [backup-simplify]: Simplify (* 1 1) into 1
4.534 * [backup-simplify]: Simplify (/ 3 1) into 3
4.534 * [backup-simplify]: Simplify 3 into 3
4.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.536 * [backup-simplify]: Simplify 0 into 0
4.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.538 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.541 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
4.541 * [backup-simplify]: Simplify (* (* (/ 1 (- z)) (/ 1 (- z))) 3) into (/ 3 (pow z 2))
4.541 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
4.541 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.541 * [taylor]: Taking taylor expansion of 3 in z
4.541 * [backup-simplify]: Simplify 3 into 3
4.541 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.541 * [taylor]: Taking taylor expansion of z in z
4.541 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify 1 into 1
4.542 * [backup-simplify]: Simplify (* 1 1) into 1
4.542 * [backup-simplify]: Simplify (/ 3 1) into 3
4.542 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.542 * [taylor]: Taking taylor expansion of 3 in z
4.542 * [backup-simplify]: Simplify 3 into 3
4.542 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.542 * [taylor]: Taking taylor expansion of z in z
4.542 * [backup-simplify]: Simplify 0 into 0
4.542 * [backup-simplify]: Simplify 1 into 1
4.542 * [backup-simplify]: Simplify (* 1 1) into 1
4.542 * [backup-simplify]: Simplify (/ 3 1) into 3
4.542 * [backup-simplify]: Simplify 3 into 3
4.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.543 * [backup-simplify]: Simplify 0 into 0
4.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.544 * [backup-simplify]: Simplify 0 into 0
4.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.545 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.547 * [backup-simplify]: Simplify 0 into 0
4.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.548 * [backup-simplify]: Simplify 0 into 0
4.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.549 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
4.549 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.549 * [backup-simplify]: Simplify (fma y x (* (* z z) 3)) into (fma y x (* 3 (pow z 2)))
4.549 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0
4.549 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z
4.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
4.550 * [taylor]: Taking taylor expansion of (* y x) in z
4.550 * [taylor]: Taking taylor expansion of y in z
4.550 * [backup-simplify]: Simplify y into y
4.550 * [taylor]: Taking taylor expansion of x in z
4.550 * [backup-simplify]: Simplify x into x
4.550 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
4.550 * [taylor]: Taking taylor expansion of 3 in z
4.550 * [backup-simplify]: Simplify 3 into 3
4.550 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.550 * [taylor]: Taking taylor expansion of z in z
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x
4.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
4.550 * [taylor]: Taking taylor expansion of (* y x) in x
4.550 * [taylor]: Taking taylor expansion of y in x
4.550 * [backup-simplify]: Simplify y into y
4.550 * [taylor]: Taking taylor expansion of x in x
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
4.550 * [taylor]: Taking taylor expansion of 3 in x
4.550 * [backup-simplify]: Simplify 3 into 3
4.550 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.550 * [taylor]: Taking taylor expansion of z in x
4.550 * [backup-simplify]: Simplify z into z
4.550 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
4.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
4.550 * [taylor]: Taking taylor expansion of (* y x) in y
4.550 * [taylor]: Taking taylor expansion of y in y
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of x in y
4.550 * [backup-simplify]: Simplify x into x
4.550 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
4.550 * [taylor]: Taking taylor expansion of 3 in y
4.550 * [backup-simplify]: Simplify 3 into 3
4.550 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.550 * [taylor]: Taking taylor expansion of z in y
4.550 * [backup-simplify]: Simplify z into z
4.550 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
4.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
4.550 * [taylor]: Taking taylor expansion of (* y x) in y
4.550 * [taylor]: Taking taylor expansion of y in y
4.550 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify 1 into 1
4.550 * [taylor]: Taking taylor expansion of x in y
4.551 * [backup-simplify]: Simplify x into x
4.551 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
4.551 * [taylor]: Taking taylor expansion of 3 in y
4.551 * [backup-simplify]: Simplify 3 into 3
4.551 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.551 * [taylor]: Taking taylor expansion of z in y
4.551 * [backup-simplify]: Simplify z into z
4.551 * [backup-simplify]: Simplify (* 0 x) into 0
4.551 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.551 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
4.551 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
4.551 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
4.551 * [taylor]: Taking taylor expansion of 3 in x
4.551 * [backup-simplify]: Simplify 3 into 3
4.551 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.551 * [taylor]: Taking taylor expansion of z in x
4.551 * [backup-simplify]: Simplify z into z
4.551 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.551 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
4.551 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
4.551 * [taylor]: Taking taylor expansion of 3 in z
4.551 * [backup-simplify]: Simplify 3 into 3
4.551 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.551 * [taylor]: Taking taylor expansion of z in z
4.551 * [backup-simplify]: Simplify 0 into 0
4.551 * [backup-simplify]: Simplify 1 into 1
4.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
4.552 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.552 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
4.552 * [backup-simplify]: Simplify (+ x 0) into x
4.552 * [taylor]: Taking taylor expansion of x in x
4.552 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify 1 into 1
4.552 * [taylor]: Taking taylor expansion of 0 in z
4.552 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.552 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
4.552 * [taylor]: Taking taylor expansion of 0 in z
4.552 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify 0 into 0
4.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
4.553 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.554 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
4.554 * [backup-simplify]: Simplify (+ 0 0) into 0
4.554 * [taylor]: Taking taylor expansion of 0 in x
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [taylor]: Taking taylor expansion of 0 in z
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [taylor]: Taking taylor expansion of 1 in z
4.554 * [backup-simplify]: Simplify 1 into 1
4.554 * [backup-simplify]: Simplify 1 into 1
4.554 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.555 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
4.555 * [taylor]: Taking taylor expansion of 0 in z
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify (* 1 1) into 1
4.556 * [backup-simplify]: Simplify (* 3 1) into 3
4.556 * [backup-simplify]: Simplify 3 into 3
4.556 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
4.557 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.557 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
4.558 * [backup-simplify]: Simplify (+ 0 0) into 0
4.558 * [taylor]: Taking taylor expansion of 0 in x
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [taylor]: Taking taylor expansion of 0 in z
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [taylor]: Taking taylor expansion of 0 in z
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [taylor]: Taking taylor expansion of 0 in z
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.559 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
4.559 * [taylor]: Taking taylor expansion of 0 in z
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y))
4.560 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* (* (/ 1 z) (/ 1 z)) 3)) into (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2)))
4.560 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0
4.560 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z
4.560 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
4.560 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
4.560 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.560 * [taylor]: Taking taylor expansion of y in z
4.560 * [backup-simplify]: Simplify y into y
4.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.560 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.560 * [taylor]: Taking taylor expansion of x in z
4.560 * [backup-simplify]: Simplify x into x
4.560 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.560 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.560 * [taylor]: Taking taylor expansion of 3 in z
4.560 * [backup-simplify]: Simplify 3 into 3
4.560 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.560 * [taylor]: Taking taylor expansion of z in z
4.560 * [backup-simplify]: Simplify 0 into 0
4.560 * [backup-simplify]: Simplify 1 into 1
4.560 * [backup-simplify]: Simplify (* 1 1) into 1
4.561 * [backup-simplify]: Simplify (/ 3 1) into 3
4.561 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x
4.561 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
4.561 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
4.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.561 * [taylor]: Taking taylor expansion of y in x
4.561 * [backup-simplify]: Simplify y into y
4.561 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.561 * [taylor]: Taking taylor expansion of x in x
4.561 * [backup-simplify]: Simplify 0 into 0
4.561 * [backup-simplify]: Simplify 1 into 1
4.561 * [backup-simplify]: Simplify (/ 1 1) into 1
4.561 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
4.561 * [taylor]: Taking taylor expansion of 3 in x
4.561 * [backup-simplify]: Simplify 3 into 3
4.561 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.561 * [taylor]: Taking taylor expansion of z in x
4.561 * [backup-simplify]: Simplify z into z
4.561 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.561 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.561 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
4.561 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
4.561 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
4.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.561 * [taylor]: Taking taylor expansion of y in y
4.561 * [backup-simplify]: Simplify 0 into 0
4.561 * [backup-simplify]: Simplify 1 into 1
4.562 * [backup-simplify]: Simplify (/ 1 1) into 1
4.562 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.562 * [taylor]: Taking taylor expansion of x in y
4.562 * [backup-simplify]: Simplify x into x
4.562 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.562 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
4.562 * [taylor]: Taking taylor expansion of 3 in y
4.562 * [backup-simplify]: Simplify 3 into 3
4.562 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.562 * [taylor]: Taking taylor expansion of z in y
4.562 * [backup-simplify]: Simplify z into z
4.562 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.562 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.562 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
4.562 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
4.562 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
4.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.562 * [taylor]: Taking taylor expansion of y in y
4.562 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify 1 into 1
4.563 * [backup-simplify]: Simplify (/ 1 1) into 1
4.563 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.563 * [taylor]: Taking taylor expansion of x in y
4.563 * [backup-simplify]: Simplify x into x
4.563 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.563 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
4.563 * [taylor]: Taking taylor expansion of 3 in y
4.563 * [backup-simplify]: Simplify 3 into 3
4.563 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.563 * [taylor]: Taking taylor expansion of z in y
4.563 * [backup-simplify]: Simplify z into z
4.563 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.563 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.563 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
4.563 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
4.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.563 * [taylor]: Taking taylor expansion of x in x
4.563 * [backup-simplify]: Simplify 0 into 0
4.563 * [backup-simplify]: Simplify 1 into 1
4.563 * [backup-simplify]: Simplify (/ 1 1) into 1
4.563 * [taylor]: Taking taylor expansion of 1 in z
4.563 * [backup-simplify]: Simplify 1 into 1
4.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
4.564 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
4.564 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
4.564 * [taylor]: Taking taylor expansion of 3 in x
4.564 * [backup-simplify]: Simplify 3 into 3
4.564 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
4.564 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.564 * [taylor]: Taking taylor expansion of z in x
4.564 * [backup-simplify]: Simplify z into z
4.564 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.564 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
4.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.565 * [taylor]: Taking taylor expansion of 0 in z
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
4.566 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.566 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
4.566 * [backup-simplify]: Simplify (+ 0 0) into 0
4.566 * [taylor]: Taking taylor expansion of 0 in x
4.566 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
4.567 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.567 * [taylor]: Taking taylor expansion of 3 in z
4.567 * [backup-simplify]: Simplify 3 into 3
4.567 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.567 * [taylor]: Taking taylor expansion of z in z
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 1 into 1
4.567 * [backup-simplify]: Simplify (* 1 1) into 1
4.567 * [backup-simplify]: Simplify (/ 3 1) into 3
4.567 * [backup-simplify]: Simplify 3 into 3
4.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.568 * [taylor]: Taking taylor expansion of 0 in z
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 1 into 1
4.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
4.569 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.570 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.570 * [backup-simplify]: Simplify (+ 0 0) into 0
4.570 * [taylor]: Taking taylor expansion of 0 in x
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [taylor]: Taking taylor expansion of 0 in z
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
4.571 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
4.571 * [taylor]: Taking taylor expansion of 0 in z
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.571 * [taylor]: Taking taylor expansion of 0 in z
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
4.574 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.574 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.575 * [backup-simplify]: Simplify (+ 0 0) into 0
4.575 * [taylor]: Taking taylor expansion of 0 in x
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [taylor]: Taking taylor expansion of 0 in z
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [taylor]: Taking taylor expansion of 0 in z
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.576 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
4.576 * [taylor]: Taking taylor expansion of 0 in z
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.576 * [taylor]: Taking taylor expansion of 0 in z
4.576 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.578 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
4.578 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* (* (/ 1 (- z)) (/ 1 (- z))) 3)) into (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2)))
4.578 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0
4.578 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z
4.578 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
4.578 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
4.578 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.578 * [taylor]: Taking taylor expansion of -1 in z
4.578 * [backup-simplify]: Simplify -1 into -1
4.578 * [taylor]: Taking taylor expansion of y in z
4.578 * [backup-simplify]: Simplify y into y
4.578 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.578 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.578 * [taylor]: Taking taylor expansion of -1 in z
4.578 * [backup-simplify]: Simplify -1 into -1
4.578 * [taylor]: Taking taylor expansion of x in z
4.578 * [backup-simplify]: Simplify x into x
4.579 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.579 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.579 * [taylor]: Taking taylor expansion of 3 in z
4.579 * [backup-simplify]: Simplify 3 into 3
4.579 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.579 * [taylor]: Taking taylor expansion of z in z
4.579 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify 1 into 1
4.579 * [backup-simplify]: Simplify (* 1 1) into 1
4.579 * [backup-simplify]: Simplify (/ 3 1) into 3
4.579 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x
4.579 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
4.579 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
4.579 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.579 * [taylor]: Taking taylor expansion of -1 in x
4.579 * [backup-simplify]: Simplify -1 into -1
4.579 * [taylor]: Taking taylor expansion of y in x
4.579 * [backup-simplify]: Simplify y into y
4.579 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.579 * [taylor]: Taking taylor expansion of -1 in x
4.579 * [backup-simplify]: Simplify -1 into -1
4.579 * [taylor]: Taking taylor expansion of x in x
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [backup-simplify]: Simplify (/ -1 1) into -1
4.580 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
4.580 * [taylor]: Taking taylor expansion of 3 in x
4.580 * [backup-simplify]: Simplify 3 into 3
4.580 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.580 * [taylor]: Taking taylor expansion of z in x
4.580 * [backup-simplify]: Simplify z into z
4.580 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.580 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.580 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
4.580 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
4.580 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
4.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.580 * [taylor]: Taking taylor expansion of -1 in y
4.580 * [backup-simplify]: Simplify -1 into -1
4.580 * [taylor]: Taking taylor expansion of y in y
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [backup-simplify]: Simplify (/ -1 1) into -1
4.581 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.581 * [taylor]: Taking taylor expansion of -1 in y
4.581 * [backup-simplify]: Simplify -1 into -1
4.581 * [taylor]: Taking taylor expansion of x in y
4.581 * [backup-simplify]: Simplify x into x
4.581 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.581 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
4.581 * [taylor]: Taking taylor expansion of 3 in y
4.581 * [backup-simplify]: Simplify 3 into 3
4.581 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.581 * [taylor]: Taking taylor expansion of z in y
4.581 * [backup-simplify]: Simplify z into z
4.581 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.581 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.581 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
4.581 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
4.581 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
4.581 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.581 * [taylor]: Taking taylor expansion of -1 in y
4.581 * [backup-simplify]: Simplify -1 into -1
4.581 * [taylor]: Taking taylor expansion of y in y
4.581 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 1 into 1
4.582 * [backup-simplify]: Simplify (/ -1 1) into -1
4.582 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.582 * [taylor]: Taking taylor expansion of -1 in y
4.582 * [backup-simplify]: Simplify -1 into -1
4.582 * [taylor]: Taking taylor expansion of x in y
4.582 * [backup-simplify]: Simplify x into x
4.582 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.582 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
4.582 * [taylor]: Taking taylor expansion of 3 in y
4.582 * [backup-simplify]: Simplify 3 into 3
4.582 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.582 * [taylor]: Taking taylor expansion of z in y
4.582 * [backup-simplify]: Simplify z into z
4.582 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.582 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
4.582 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
4.582 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
4.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.582 * [taylor]: Taking taylor expansion of x in x
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify 1 into 1
4.582 * [backup-simplify]: Simplify (/ 1 1) into 1
4.582 * [taylor]: Taking taylor expansion of 1 in z
4.582 * [backup-simplify]: Simplify 1 into 1
4.582 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.583 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
4.583 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
4.583 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
4.583 * [taylor]: Taking taylor expansion of 3 in x
4.583 * [backup-simplify]: Simplify 3 into 3
4.583 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
4.583 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.583 * [taylor]: Taking taylor expansion of z in x
4.583 * [backup-simplify]: Simplify z into z
4.583 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.584 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
4.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.584 * [taylor]: Taking taylor expansion of 0 in z
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.585 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
4.585 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.586 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
4.586 * [backup-simplify]: Simplify (+ 0 0) into 0
4.586 * [taylor]: Taking taylor expansion of 0 in x
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
4.586 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
4.586 * [taylor]: Taking taylor expansion of 3 in z
4.586 * [backup-simplify]: Simplify 3 into 3
4.586 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.586 * [taylor]: Taking taylor expansion of z in z
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify 1 into 1
4.586 * [backup-simplify]: Simplify (* 1 1) into 1
4.587 * [backup-simplify]: Simplify (/ 3 1) into 3
4.587 * [backup-simplify]: Simplify 3 into 3
4.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.587 * [taylor]: Taking taylor expansion of 0 in z
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.589 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
4.589 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.589 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.589 * [backup-simplify]: Simplify (+ 0 0) into 0
4.589 * [taylor]: Taking taylor expansion of 0 in x
4.589 * [backup-simplify]: Simplify 0 into 0
4.590 * [taylor]: Taking taylor expansion of 0 in z
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.590 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
4.590 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
4.590 * [taylor]: Taking taylor expansion of 0 in z
4.590 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.591 * [taylor]: Taking taylor expansion of 0 in z
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.591 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.593 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0
4.594 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.594 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.594 * [backup-simplify]: Simplify (+ 0 0) into 0
4.594 * [taylor]: Taking taylor expansion of 0 in x
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [taylor]: Taking taylor expansion of 0 in z
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [taylor]: Taking taylor expansion of 0 in z
4.594 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.595 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
4.595 * [taylor]: Taking taylor expansion of 0 in z
4.595 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.596 * [taylor]: Taking taylor expansion of 0 in z
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
4.598 * * * [progress]: simplifying candidates
4.598 * [simplify]: Simplifying:
  (expm1 (* (* z z) 3))
  (log1p (* (* z z) 3))
  (* (* z z) 3)
  (* (* z z) 3)
  (+ (+ (log z) (log z)) (log 3))
  (+ (log (* z z)) (log 3))
  (log (* (* z z) 3))
  (exp (* (* z z) 3))
  (* (* (* (* z z) z) (* (* z z) z)) (* (* 3 3) 3))
  (* (* (* (* z z) (* z z)) (* z z)) (* (* 3 3) 3))
  (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3)))
  (cbrt (* (* z z) 3))
  (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* z z) (* (cbrt 3) (cbrt 3)))
  (* (* z z) (sqrt 3))
  (* (* z z) 1)
  (* z 3)
  (expm1 (fma y x (* (* z z) 3)))
  (log1p (fma y x (* (* z z) 3)))
  (* y x)
  (log (fma y x (* (* z z) 3)))
  (exp (fma y x (* (* z z) 3)))
  (* (cbrt (fma y x (* (* z z) 3))) (cbrt (fma y x (* (* z z) 3))))
  (cbrt (fma y x (* (* z z) 3)))
  (* (* (fma y x (* (* z z) 3)) (fma y x (* (* z z) 3))) (fma y x (* (* z z) 3)))
  (sqrt (fma y x (* (* z z) 3)))
  (sqrt (fma y x (* (* z z) 3)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
4.599 * * [simplify]: Extracting # 0 : cost  0
4.599 * * [simplify]: Extracting # 1 : cost  0
4.599 * * [simplify]: Extracting # 2 : cost  0
4.599 * * [simplify]: Extracting # 3 : cost  0
4.599 * * [simplify]: Extracting # 4 : cost  0
4.599 * * [simplify]: Extracting # 5 : cost  0
4.599 * * [simplify]: Extracting # 6 : cost  0
4.599 * * [simplify]: iteration  0 :  54  enodes  (cost  315 )
4.615 * * [simplify]: Extracting # 0 : cost  0
4.615 * * [simplify]: Extracting # 1 : cost  0
4.615 * * [simplify]: Extracting # 2 : cost  0
4.616 * * [simplify]: Extracting # 3 : cost  0
4.616 * * [simplify]: iteration  1 :  109  enodes  (cost  301 )
4.658 * * [simplify]: Extracting # 0 : cost  0
4.658 * * [simplify]: Extracting # 1 : cost  0
4.658 * * [simplify]: Extracting # 2 : cost  0
4.659 * * [simplify]: Extracting # 3 : cost  0
4.659 * * [simplify]: Extracting # 4 : cost  0
4.659 * * [simplify]: iteration  2 :  329  enodes  (cost  261 )
4.849 * * [simplify]: Extracting # 0 : cost  0
4.850 * * [simplify]: Extracting # 1 : cost  0
4.850 * * [simplify]: Extracting # 2 : cost  0
4.851 * * [simplify]: Extracting # 3 : cost  0
4.851 * * [simplify]: Extracting # 4 : cost  0
4.852 * * [simplify]: iteration  3 :  836  enodes  (cost  255 )
5.530 * * [simplify]: Extracting # 0 : cost  0
5.532 * * [simplify]: Extracting # 1 : cost  0
5.533 * * [simplify]: Extracting # 2 : cost  0
5.534 * * [simplify]: Extracting # 3 : cost  0
5.536 * * [simplify]: Extracting # 4 : cost  0
5.537 * * [simplify]: iteration  4 :  1855  enodes  (cost  255 )
6.494 * * [simplify]: Extracting # 0 : cost  0
6.500 * * [simplify]: Extracting # 1 : cost  0
6.505 * * [simplify]: Extracting # 2 : cost  0
6.511 * * [simplify]: Extracting # 3 : cost  0
6.516 * * [simplify]: Extracting # 4 : cost  0
6.522 * * [simplify]: iteration done:  5000  enodes  (cost  255 )
6.522 * [simplify]: Simplified to:
  (expm1 (* (* z z) 3))
  (log1p (* (* z z) 3))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (exp (* (* z z) 3))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3)))
  (cbrt (* (* z z) 3))
  (* 27 (pow z 6))
  (sqrt (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* z z) (* (cbrt 3) (cbrt 3)))
  (* (* z z) (sqrt 3))
  (* z z)
  (* z 3)
  (expm1 (fma y x (* (* z z) 3)))
  (log1p (fma y x (* (* z z) 3)))
  (* x y)
  (log (fma y x (* (* z z) 3)))
  (exp (fma y x (* (* z z) 3)))
  (* (cbrt (fma y x (* (* z z) 3))) (cbrt (fma y x (* (* z z) 3))))
  (cbrt (fma y x (* (* z z) 3)))
  (pow (fma 3 (pow z 2) (* y x)) 3)
  (sqrt (fma y x (* (* z z) 3)))
  (sqrt (fma y x (* (* z z) 3)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (fma (* z z) 3 (* x y))
  (fma (* z z) 3 (* x y))
  (fma (* z z) 3 (* x y))
6.523 * * * [progress]: adding candidates to table
6.598 * * [progress]: iteration 4 / 4
6.598 * * * [progress]: picking best candidate
6.606 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))>
6.606 * * * [progress]: localizing error
6.616 * * * [progress]: generating rewritten candidates
6.616 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 2)
6.635 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3)
6.700 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.703 * * * [progress]: generating series expansions
6.703 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 2)
6.704 * [backup-simplify]: Simplify (* (cbrt 3) (* z z)) into (* (cbrt 3) (pow z 2))
6.704 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow z 2)) in (z) around 0
6.704 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow z 2)) in z
6.704 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.704 * [taylor]: Taking taylor expansion of 3 in z
6.704 * [backup-simplify]: Simplify 3 into 3
6.704 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.704 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.704 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.704 * [taylor]: Taking taylor expansion of z in z
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify 1 into 1
6.704 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow z 2)) in z
6.704 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.704 * [taylor]: Taking taylor expansion of 3 in z
6.704 * [backup-simplify]: Simplify 3 into 3
6.705 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.705 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.705 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.705 * [taylor]: Taking taylor expansion of z in z
6.705 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify 1 into 1
6.705 * [backup-simplify]: Simplify (* 1 1) into 1
6.706 * [backup-simplify]: Simplify (* (cbrt 3) 1) into (cbrt 3)
6.706 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.707 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 1)) into 0
6.707 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.708 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.709 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 1))) into 0
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.710 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.711 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.711 * [backup-simplify]: Simplify 0 into 0
6.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.712 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.713 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.713 * [backup-simplify]: Simplify 0 into 0
6.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.718 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.719 * [backup-simplify]: Simplify 0 into 0
6.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.720 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.721 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.721 * [backup-simplify]: Simplify (* (cbrt 3) (pow z 2)) into (* (cbrt 3) (pow z 2))
6.722 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 z) (/ 1 z))) into (/ (cbrt 3) (pow z 2))
6.722 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in (z) around 0
6.722 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z
6.722 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.722 * [taylor]: Taking taylor expansion of 3 in z
6.722 * [backup-simplify]: Simplify 3 into 3
6.722 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.722 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.723 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.723 * [taylor]: Taking taylor expansion of z in z
6.723 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify 1 into 1
6.723 * [backup-simplify]: Simplify (* 1 1) into 1
6.723 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
6.723 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z
6.723 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.723 * [taylor]: Taking taylor expansion of 3 in z
6.723 * [backup-simplify]: Simplify 3 into 3
6.724 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.724 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.724 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.724 * [taylor]: Taking taylor expansion of z in z
6.724 * [backup-simplify]: Simplify 0 into 0
6.724 * [backup-simplify]: Simplify 1 into 1
6.724 * [backup-simplify]: Simplify (* 1 1) into 1
6.725 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
6.725 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0
6.726 * [backup-simplify]: Simplify 0 into 0
6.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.728 * [backup-simplify]: Simplify 0 into 0
6.729 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.730 * [backup-simplify]: Simplify 0 into 0
6.731 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.732 * [backup-simplify]: Simplify 0 into 0
6.732 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.734 * [backup-simplify]: Simplify 0 into 0
6.735 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.737 * [backup-simplify]: Simplify 0 into 0
6.737 * [backup-simplify]: Simplify (* (cbrt 3) (pow (/ 1 (/ 1 z)) 2)) into (* (cbrt 3) (pow z 2))
6.737 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 (- z)) (/ 1 (- z)))) into (/ (cbrt 3) (pow z 2))
6.737 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in (z) around 0
6.737 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z
6.737 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.737 * [taylor]: Taking taylor expansion of 3 in z
6.737 * [backup-simplify]: Simplify 3 into 3
6.738 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.738 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.738 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.738 * [taylor]: Taking taylor expansion of z in z
6.738 * [backup-simplify]: Simplify 0 into 0
6.738 * [backup-simplify]: Simplify 1 into 1
6.738 * [backup-simplify]: Simplify (* 1 1) into 1
6.739 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
6.739 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z
6.739 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.739 * [taylor]: Taking taylor expansion of 3 in z
6.739 * [backup-simplify]: Simplify 3 into 3
6.739 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.740 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.740 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.740 * [taylor]: Taking taylor expansion of z in z
6.740 * [backup-simplify]: Simplify 0 into 0
6.740 * [backup-simplify]: Simplify 1 into 1
6.740 * [backup-simplify]: Simplify (* 1 1) into 1
6.741 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
6.741 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.741 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0
6.742 * [backup-simplify]: Simplify 0 into 0
6.742 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.744 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.745 * [backup-simplify]: Simplify 0 into 0
6.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.748 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.750 * [backup-simplify]: Simplify 0 into 0
6.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.752 * [backup-simplify]: Simplify 0 into 0
6.752 * [backup-simplify]: Simplify (* (cbrt 3) (pow (/ 1 (/ 1 (- z))) 2)) into (* (cbrt 3) (pow z 2))
6.752 * * * * [progress]: [ 2 / 3 ] generating series at (2 3)
6.753 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) into (* (pow (cbrt 3) 3) (pow z 2))
6.753 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in (z) around 0
6.753 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in z
6.754 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.754 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.754 * [taylor]: Taking taylor expansion of 3 in z
6.754 * [backup-simplify]: Simplify 3 into 3
6.754 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.754 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.754 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.754 * [taylor]: Taking taylor expansion of z in z
6.754 * [backup-simplify]: Simplify 0 into 0
6.754 * [backup-simplify]: Simplify 1 into 1
6.754 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in z
6.754 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.754 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.754 * [taylor]: Taking taylor expansion of 3 in z
6.754 * [backup-simplify]: Simplify 3 into 3
6.755 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.755 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.755 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.755 * [taylor]: Taking taylor expansion of z in z
6.755 * [backup-simplify]: Simplify 0 into 0
6.755 * [backup-simplify]: Simplify 1 into 1
6.756 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.757 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.757 * [backup-simplify]: Simplify (* 1 1) into 1
6.758 * [backup-simplify]: Simplify (* (pow (cbrt 3) 3) 1) into 3
6.758 * [backup-simplify]: Simplify 3 into 3
6.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.759 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.759 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.760 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (* 0 1)) into 0
6.760 * [backup-simplify]: Simplify 0 into 0
6.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.762 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.763 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.763 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (* 0 1))) into 0
6.763 * [backup-simplify]: Simplify 0 into 0
6.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.765 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.766 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.767 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.767 * [backup-simplify]: Simplify 0 into 0
6.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.768 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.769 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0
6.770 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0
6.771 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.771 * [backup-simplify]: Simplify 0 into 0
6.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.773 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0
6.774 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0
6.775 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.775 * [backup-simplify]: Simplify 0 into 0
6.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.776 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.777 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0
6.778 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0
6.779 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
6.780 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 z) (/ 1 z)))) into (/ (pow (cbrt 3) 3) (pow z 2))
6.780 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in (z) around 0
6.780 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.780 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.780 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.780 * [taylor]: Taking taylor expansion of 3 in z
6.781 * [backup-simplify]: Simplify 3 into 3
6.781 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.781 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.781 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.781 * [taylor]: Taking taylor expansion of z in z
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify 1 into 1
6.782 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.783 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.783 * [backup-simplify]: Simplify (* 1 1) into 1
6.784 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.784 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.784 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.784 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.784 * [taylor]: Taking taylor expansion of 3 in z
6.784 * [backup-simplify]: Simplify 3 into 3
6.785 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.785 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.785 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.785 * [taylor]: Taking taylor expansion of z in z
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 1 into 1
6.786 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.787 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.788 * [backup-simplify]: Simplify (* 1 1) into 1
6.788 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.789 * [backup-simplify]: Simplify 3 into 3
6.789 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.790 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.790 * [backup-simplify]: Simplify 0 into 0
6.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.792 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.792 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.793 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.795 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.795 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.798 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0
6.799 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0
6.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.800 * [backup-simplify]: Simplify 0 into 0
6.801 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.808 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0
6.809 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0
6.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.810 * [backup-simplify]: Simplify 0 into 0
6.811 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.812 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0
6.813 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0
6.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.815 * [backup-simplify]: Simplify 0 into 0
6.815 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
6.816 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 (- z)) (/ 1 (- z))))) into (/ (pow (cbrt 3) 3) (pow z 2))
6.816 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in (z) around 0
6.816 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.816 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.816 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.816 * [taylor]: Taking taylor expansion of 3 in z
6.816 * [backup-simplify]: Simplify 3 into 3
6.816 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.817 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.817 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.817 * [taylor]: Taking taylor expansion of z in z
6.817 * [backup-simplify]: Simplify 0 into 0
6.817 * [backup-simplify]: Simplify 1 into 1
6.817 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.819 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.819 * [backup-simplify]: Simplify (* 1 1) into 1
6.820 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.820 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.820 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.820 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.820 * [taylor]: Taking taylor expansion of 3 in z
6.820 * [backup-simplify]: Simplify 3 into 3
6.820 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.820 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.820 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.820 * [taylor]: Taking taylor expansion of z in z
6.820 * [backup-simplify]: Simplify 0 into 0
6.821 * [backup-simplify]: Simplify 1 into 1
6.821 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.822 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.823 * [backup-simplify]: Simplify (* 1 1) into 1
6.823 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.824 * [backup-simplify]: Simplify 3 into 3
6.824 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.825 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.825 * [backup-simplify]: Simplify 0 into 0
6.826 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.827 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.827 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.828 * [backup-simplify]: Simplify 0 into 0
6.829 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.830 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.831 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.832 * [backup-simplify]: Simplify 0 into 0
6.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.834 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0
6.834 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0
6.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.836 * [backup-simplify]: Simplify 0 into 0
6.836 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.837 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0
6.838 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0
6.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.839 * [backup-simplify]: Simplify 0 into 0
6.840 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.841 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0
6.842 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0
6.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.843 * [backup-simplify]: Simplify 0 into 0
6.844 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
6.844 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.845 * [backup-simplify]: Simplify (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) into (fma y x (* (pow (cbrt 3) 3) (pow z 2)))
6.845 * [approximate]: Taking taylor expansion of (fma y x (* (pow (cbrt 3) 3) (pow z 2))) in (y x z) around 0
6.845 * [taylor]: Taking taylor expansion of (fma y x (* (pow (cbrt 3) 3) (pow z 2))) in z
6.845 * [taylor]: Rewrote expression to (+ (* y x) (* (pow (cbrt 3) 3) (pow z 2)))
6.845 * [taylor]: Taking taylor expansion of (* y x) in z
6.845 * [taylor]: Taking taylor expansion of y in z
6.845 * [backup-simplify]: Simplify y into y
6.845 * [taylor]: Taking taylor expansion of x in z
6.845 * [backup-simplify]: Simplify x into x
6.845 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in z
6.845 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.845 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.845 * [taylor]: Taking taylor expansion of 3 in z
6.845 * [backup-simplify]: Simplify 3 into 3
6.845 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.846 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.846 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.846 * [taylor]: Taking taylor expansion of z in z
6.846 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 1 into 1
6.846 * [taylor]: Taking taylor expansion of (fma y x (* (pow (cbrt 3) 3) (pow z 2))) in x
6.846 * [taylor]: Rewrote expression to (+ (* y x) (* (pow (cbrt 3) 3) (pow z 2)))
6.846 * [taylor]: Taking taylor expansion of (* y x) in x
6.846 * [taylor]: Taking taylor expansion of y in x
6.846 * [backup-simplify]: Simplify y into y
6.846 * [taylor]: Taking taylor expansion of x in x
6.846 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 1 into 1
6.846 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in x
6.846 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
6.846 * [taylor]: Taking taylor expansion of (cbrt 3) in x
6.846 * [taylor]: Taking taylor expansion of 3 in x
6.846 * [backup-simplify]: Simplify 3 into 3
6.846 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.847 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.847 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.847 * [taylor]: Taking taylor expansion of z in x
6.847 * [backup-simplify]: Simplify z into z
6.847 * [taylor]: Taking taylor expansion of (fma y x (* (pow (cbrt 3) 3) (pow z 2))) in y
6.847 * [taylor]: Rewrote expression to (+ (* y x) (* (pow (cbrt 3) 3) (pow z 2)))
6.847 * [taylor]: Taking taylor expansion of (* y x) in y
6.847 * [taylor]: Taking taylor expansion of y in y
6.847 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify 1 into 1
6.847 * [taylor]: Taking taylor expansion of x in y
6.847 * [backup-simplify]: Simplify x into x
6.847 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in y
6.847 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.847 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.847 * [taylor]: Taking taylor expansion of 3 in y
6.847 * [backup-simplify]: Simplify 3 into 3
6.847 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.848 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.848 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.848 * [taylor]: Taking taylor expansion of z in y
6.848 * [backup-simplify]: Simplify z into z
6.848 * [taylor]: Taking taylor expansion of (fma y x (* (pow (cbrt 3) 3) (pow z 2))) in y
6.848 * [taylor]: Rewrote expression to (+ (* y x) (* (pow (cbrt 3) 3) (pow z 2)))
6.848 * [taylor]: Taking taylor expansion of (* y x) in y
6.848 * [taylor]: Taking taylor expansion of y in y
6.848 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify 1 into 1
6.848 * [taylor]: Taking taylor expansion of x in y
6.848 * [backup-simplify]: Simplify x into x
6.848 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow z 2)) in y
6.848 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.848 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.848 * [taylor]: Taking taylor expansion of 3 in y
6.848 * [backup-simplify]: Simplify 3 into 3
6.848 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.849 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.849 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.849 * [taylor]: Taking taylor expansion of z in y
6.849 * [backup-simplify]: Simplify z into z
6.849 * [backup-simplify]: Simplify (* 0 x) into 0
6.850 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.851 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.851 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.852 * [backup-simplify]: Simplify (* (pow (cbrt 3) 3) (pow z 2)) into (* 3 (pow z 2))
6.852 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
6.852 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
6.852 * [taylor]: Taking taylor expansion of 3 in x
6.852 * [backup-simplify]: Simplify 3 into 3
6.852 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.852 * [taylor]: Taking taylor expansion of z in x
6.852 * [backup-simplify]: Simplify z into z
6.852 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.852 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
6.852 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
6.852 * [taylor]: Taking taylor expansion of 3 in z
6.852 * [backup-simplify]: Simplify 3 into 3
6.852 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.852 * [taylor]: Taking taylor expansion of z in z
6.852 * [backup-simplify]: Simplify 0 into 0
6.852 * [backup-simplify]: Simplify 1 into 1
6.852 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.852 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.853 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.853 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.854 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (* 0 (pow z 2))) into 0
6.854 * [backup-simplify]: Simplify (+ x 0) into x
6.854 * [taylor]: Taking taylor expansion of x in x
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of 0 in z
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.854 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
6.854 * [taylor]: Taking taylor expansion of 0 in z
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 0 into 0
6.855 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.855 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.856 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.857 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.857 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.858 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
6.858 * [backup-simplify]: Simplify (+ 0 0) into 0
6.858 * [taylor]: Taking taylor expansion of 0 in x
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [taylor]: Taking taylor expansion of 0 in z
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [taylor]: Taking taylor expansion of 1 in z
6.858 * [backup-simplify]: Simplify 1 into 1
6.858 * [backup-simplify]: Simplify 1 into 1
6.859 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.859 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
6.859 * [taylor]: Taking taylor expansion of 0 in z
6.859 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify 0 into 0
6.860 * [backup-simplify]: Simplify (* 1 1) into 1
6.860 * [backup-simplify]: Simplify (* 3 1) into 3
6.860 * [backup-simplify]: Simplify 3 into 3
6.860 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.861 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.862 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.863 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.864 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
6.864 * [backup-simplify]: Simplify (+ 0 0) into 0
6.864 * [taylor]: Taking taylor expansion of 0 in x
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [taylor]: Taking taylor expansion of 0 in z
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [taylor]: Taking taylor expansion of 0 in z
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [taylor]: Taking taylor expansion of 0 in z
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.866 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
6.866 * [taylor]: Taking taylor expansion of 0 in z
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y))
6.867 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 z) (/ 1 z))))) into (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2)))
6.867 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in (y x z) around 0
6.867 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in z
6.868 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.868 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
6.868 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.868 * [taylor]: Taking taylor expansion of y in z
6.868 * [backup-simplify]: Simplify y into y
6.868 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.868 * [taylor]: Taking taylor expansion of x in z
6.868 * [backup-simplify]: Simplify x into x
6.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.868 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.868 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.868 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.868 * [taylor]: Taking taylor expansion of 3 in z
6.868 * [backup-simplify]: Simplify 3 into 3
6.868 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.868 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.868 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.868 * [taylor]: Taking taylor expansion of z in z
6.868 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 1 into 1
6.869 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.870 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.871 * [backup-simplify]: Simplify (* 1 1) into 1
6.872 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.872 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in x
6.872 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.872 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
6.872 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.872 * [taylor]: Taking taylor expansion of y in x
6.872 * [backup-simplify]: Simplify y into y
6.872 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.872 * [taylor]: Taking taylor expansion of x in x
6.872 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify 1 into 1
6.872 * [backup-simplify]: Simplify (/ 1 1) into 1
6.872 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in x
6.872 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
6.872 * [taylor]: Taking taylor expansion of (cbrt 3) in x
6.872 * [taylor]: Taking taylor expansion of 3 in x
6.872 * [backup-simplify]: Simplify 3 into 3
6.873 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.873 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.873 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.873 * [taylor]: Taking taylor expansion of z in x
6.873 * [backup-simplify]: Simplify z into z
6.874 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.875 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.875 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.876 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.876 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in y
6.876 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.876 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
6.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.876 * [taylor]: Taking taylor expansion of y in y
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [backup-simplify]: Simplify (/ 1 1) into 1
6.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.876 * [taylor]: Taking taylor expansion of x in y
6.876 * [backup-simplify]: Simplify x into x
6.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.876 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in y
6.876 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.876 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.876 * [taylor]: Taking taylor expansion of 3 in y
6.876 * [backup-simplify]: Simplify 3 into 3
6.877 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.877 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.877 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.877 * [taylor]: Taking taylor expansion of z in y
6.877 * [backup-simplify]: Simplify z into z
6.878 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.879 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.879 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.880 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.880 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in y
6.880 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.880 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
6.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.880 * [taylor]: Taking taylor expansion of y in y
6.880 * [backup-simplify]: Simplify 0 into 0
6.880 * [backup-simplify]: Simplify 1 into 1
6.880 * [backup-simplify]: Simplify (/ 1 1) into 1
6.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.880 * [taylor]: Taking taylor expansion of x in y
6.881 * [backup-simplify]: Simplify x into x
6.881 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.881 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in y
6.881 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.881 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.881 * [taylor]: Taking taylor expansion of 3 in y
6.881 * [backup-simplify]: Simplify 3 into 3
6.881 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.881 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.881 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.881 * [taylor]: Taking taylor expansion of z in y
6.881 * [backup-simplify]: Simplify z into z
6.882 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.883 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.883 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.884 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.884 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
6.884 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.884 * [taylor]: Taking taylor expansion of x in x
6.884 * [backup-simplify]: Simplify 0 into 0
6.884 * [backup-simplify]: Simplify 1 into 1
6.885 * [backup-simplify]: Simplify (/ 1 1) into 1
6.885 * [taylor]: Taking taylor expansion of 1 in z
6.885 * [backup-simplify]: Simplify 1 into 1
6.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
6.886 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
6.886 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
6.886 * [taylor]: Taking taylor expansion of 3 in x
6.886 * [backup-simplify]: Simplify 3 into 3
6.886 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.886 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.886 * [taylor]: Taking taylor expansion of z in x
6.886 * [backup-simplify]: Simplify z into z
6.886 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.886 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
6.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.886 * [taylor]: Taking taylor expansion of 0 in z
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
6.888 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.888 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.888 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.889 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
6.889 * [backup-simplify]: Simplify (+ 0 0) into 0
6.889 * [taylor]: Taking taylor expansion of 0 in x
6.889 * [backup-simplify]: Simplify 0 into 0
6.889 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
6.889 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.889 * [taylor]: Taking taylor expansion of 3 in z
6.889 * [backup-simplify]: Simplify 3 into 3
6.889 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.889 * [taylor]: Taking taylor expansion of z in z
6.889 * [backup-simplify]: Simplify 0 into 0
6.889 * [backup-simplify]: Simplify 1 into 1
6.889 * [backup-simplify]: Simplify (* 1 1) into 1
6.890 * [backup-simplify]: Simplify (/ 3 1) into 3
6.890 * [backup-simplify]: Simplify 3 into 3
6.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.890 * [taylor]: Taking taylor expansion of 0 in z
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 1 into 1
6.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
6.892 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.893 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.894 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.894 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.894 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.894 * [backup-simplify]: Simplify (+ 0 0) into 0
6.894 * [taylor]: Taking taylor expansion of 0 in x
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [taylor]: Taking taylor expansion of 0 in z
6.894 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
6.895 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
6.895 * [taylor]: Taking taylor expansion of 0 in z
6.895 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.896 * [taylor]: Taking taylor expansion of 0 in z
6.896 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.896 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
6.899 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.905 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.906 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.906 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.907 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.907 * [backup-simplify]: Simplify (+ 0 0) into 0
6.907 * [taylor]: Taking taylor expansion of 0 in x
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [taylor]: Taking taylor expansion of 0 in z
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [taylor]: Taking taylor expansion of 0 in z
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.908 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
6.908 * [taylor]: Taking taylor expansion of 0 in z
6.908 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.909 * [taylor]: Taking taylor expansion of 0 in z
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
6.912 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 (- z)) (/ 1 (- z)))))) into (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2)))
6.912 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in (y x z) around 0
6.912 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in z
6.912 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.912 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
6.912 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.912 * [taylor]: Taking taylor expansion of -1 in z
6.912 * [backup-simplify]: Simplify -1 into -1
6.912 * [taylor]: Taking taylor expansion of y in z
6.912 * [backup-simplify]: Simplify y into y
6.912 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.912 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.912 * [taylor]: Taking taylor expansion of -1 in z
6.912 * [backup-simplify]: Simplify -1 into -1
6.912 * [taylor]: Taking taylor expansion of x in z
6.912 * [backup-simplify]: Simplify x into x
6.912 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.912 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z
6.912 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z
6.912 * [taylor]: Taking taylor expansion of (cbrt 3) in z
6.912 * [taylor]: Taking taylor expansion of 3 in z
6.912 * [backup-simplify]: Simplify 3 into 3
6.913 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.913 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.913 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.913 * [taylor]: Taking taylor expansion of z in z
6.913 * [backup-simplify]: Simplify 0 into 0
6.913 * [backup-simplify]: Simplify 1 into 1
6.914 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.915 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.915 * [backup-simplify]: Simplify (* 1 1) into 1
6.916 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3
6.916 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in x
6.916 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.916 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
6.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.916 * [taylor]: Taking taylor expansion of -1 in x
6.916 * [backup-simplify]: Simplify -1 into -1
6.916 * [taylor]: Taking taylor expansion of y in x
6.916 * [backup-simplify]: Simplify y into y
6.916 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.916 * [taylor]: Taking taylor expansion of -1 in x
6.916 * [backup-simplify]: Simplify -1 into -1
6.916 * [taylor]: Taking taylor expansion of x in x
6.916 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify 1 into 1
6.917 * [backup-simplify]: Simplify (/ -1 1) into -1
6.917 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in x
6.917 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
6.917 * [taylor]: Taking taylor expansion of (cbrt 3) in x
6.917 * [taylor]: Taking taylor expansion of 3 in x
6.917 * [backup-simplify]: Simplify 3 into 3
6.917 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.917 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.917 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.917 * [taylor]: Taking taylor expansion of z in x
6.917 * [backup-simplify]: Simplify z into z
6.918 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.919 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.919 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.920 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.920 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in y
6.920 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.920 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
6.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.920 * [taylor]: Taking taylor expansion of -1 in y
6.920 * [backup-simplify]: Simplify -1 into -1
6.920 * [taylor]: Taking taylor expansion of y in y
6.920 * [backup-simplify]: Simplify 0 into 0
6.920 * [backup-simplify]: Simplify 1 into 1
6.920 * [backup-simplify]: Simplify (/ -1 1) into -1
6.920 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.920 * [taylor]: Taking taylor expansion of -1 in y
6.920 * [backup-simplify]: Simplify -1 into -1
6.921 * [taylor]: Taking taylor expansion of x in y
6.921 * [backup-simplify]: Simplify x into x
6.921 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.921 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in y
6.921 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.921 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.921 * [taylor]: Taking taylor expansion of 3 in y
6.921 * [backup-simplify]: Simplify 3 into 3
6.921 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.921 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.921 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.921 * [taylor]: Taking taylor expansion of z in y
6.921 * [backup-simplify]: Simplify z into z
6.922 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.923 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.923 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.924 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.924 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ (pow (cbrt 3) 3) (pow z 2))) in y
6.924 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow z 2)))
6.924 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
6.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.924 * [taylor]: Taking taylor expansion of -1 in y
6.924 * [backup-simplify]: Simplify -1 into -1
6.924 * [taylor]: Taking taylor expansion of y in y
6.924 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify 1 into 1
6.924 * [backup-simplify]: Simplify (/ -1 1) into -1
6.925 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.925 * [taylor]: Taking taylor expansion of -1 in y
6.925 * [backup-simplify]: Simplify -1 into -1
6.925 * [taylor]: Taking taylor expansion of x in y
6.925 * [backup-simplify]: Simplify x into x
6.925 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.925 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in y
6.925 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
6.925 * [taylor]: Taking taylor expansion of (cbrt 3) in y
6.925 * [taylor]: Taking taylor expansion of 3 in y
6.925 * [backup-simplify]: Simplify 3 into 3
6.925 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
6.925 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
6.925 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.925 * [taylor]: Taking taylor expansion of z in y
6.925 * [backup-simplify]: Simplify z into z
6.926 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
6.927 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
6.927 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.928 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow z 2)) into (/ 3 (pow z 2))
6.928 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
6.928 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.928 * [taylor]: Taking taylor expansion of x in x
6.928 * [backup-simplify]: Simplify 0 into 0
6.928 * [backup-simplify]: Simplify 1 into 1
6.928 * [backup-simplify]: Simplify (/ 1 1) into 1
6.928 * [taylor]: Taking taylor expansion of 1 in z
6.928 * [backup-simplify]: Simplify 1 into 1
6.929 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.930 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
6.930 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
6.930 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
6.930 * [taylor]: Taking taylor expansion of 3 in x
6.930 * [backup-simplify]: Simplify 3 into 3
6.930 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.930 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.930 * [taylor]: Taking taylor expansion of z in x
6.930 * [backup-simplify]: Simplify z into z
6.930 * [backup-simplify]: Simplify (* z z) into (pow z 2)
6.930 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
6.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.931 * [taylor]: Taking taylor expansion of 0 in z
6.931 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.931 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.932 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
6.932 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
6.933 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
6.933 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.933 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
6.933 * [backup-simplify]: Simplify (+ 0 0) into 0
6.933 * [taylor]: Taking taylor expansion of 0 in x
6.933 * [backup-simplify]: Simplify 0 into 0
6.933 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
6.933 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.934 * [taylor]: Taking taylor expansion of 3 in z
6.934 * [backup-simplify]: Simplify 3 into 3
6.934 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.934 * [taylor]: Taking taylor expansion of z in z
6.934 * [backup-simplify]: Simplify 0 into 0
6.934 * [backup-simplify]: Simplify 1 into 1
6.934 * [backup-simplify]: Simplify (* 1 1) into 1
6.934 * [backup-simplify]: Simplify (/ 3 1) into 3
6.934 * [backup-simplify]: Simplify 3 into 3
6.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.935 * [taylor]: Taking taylor expansion of 0 in z
6.935 * [backup-simplify]: Simplify 0 into 0
6.935 * [backup-simplify]: Simplify 1 into 1
6.935 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.936 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
6.937 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
6.937 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.939 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.939 * [backup-simplify]: Simplify (+ 0 0) into 0
6.939 * [taylor]: Taking taylor expansion of 0 in x
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [taylor]: Taking taylor expansion of 0 in z
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
6.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
6.940 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
6.940 * [taylor]: Taking taylor expansion of 0 in z
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.940 * [taylor]: Taking taylor expansion of 0 in z
6.940 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.941 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.942 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.943 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0
6.943 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
6.944 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
6.945 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
6.945 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.946 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.946 * [backup-simplify]: Simplify (+ 0 0) into 0
6.946 * [taylor]: Taking taylor expansion of 0 in x
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [taylor]: Taking taylor expansion of 0 in z
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [taylor]: Taking taylor expansion of 0 in z
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
6.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
6.947 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
6.947 * [taylor]: Taking taylor expansion of 0 in z
6.947 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.948 * [taylor]: Taking taylor expansion of 0 in z
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
6.950 * * * [progress]: simplifying candidates
6.950 * [simplify]: Simplifying:
  (expm1 (* (cbrt 3) (* z z)))
  (log1p (* (cbrt 3) (* z z)))
  (* (cbrt 3) (* z z))
  (* (cbrt 3) (* z z))
  (+ (log (cbrt 3)) (+ (log z) (log z)))
  (+ (log (cbrt 3)) (log (* z z)))
  (log (* (cbrt 3) (* z z)))
  (exp (* (cbrt 3) (* z z)))
  (* 3 (* (* (* z z) z) (* (* z z) z)))
  (* 3 (* (* (* z z) (* z z)) (* z z)))
  (* (cbrt (* (cbrt 3) (* z z))) (cbrt (* (cbrt 3) (* z z))))
  (cbrt (* (cbrt 3) (* z z)))
  (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z)))
  (sqrt (* (cbrt 3) (* z z)))
  (sqrt (* (cbrt 3) (* z z)))
  (* (cbrt (sqrt 3)) z)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (cbrt 3) z)
  (* (cbrt (cbrt 3)) (* z z))
  (* (cbrt (sqrt 3)) (* z z))
  (* (cbrt 3) (* z z))
  (* (cbrt (cbrt 3)) (* z z))
  (* (sqrt (cbrt 3)) (* z z))
  (* (cbrt 3) (* z z))
  (expm1 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (log1p (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log z) (log z))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* z z))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* z z))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log z) (log z))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* z z))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* z z))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (* (* 3 3) (* 3 (* (* (* z z) z) (* (* z z) z))))
  (* (* 3 3) (* 3 (* (* (* z z) (* z z)) (* z z))))
  (* (* 3 3) (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* z z) z) (* (* z z) z))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* z z) (* z z)) (* z z))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
  (* (cbrt 3) (* (cbrt 3) (* z z)))
  (expm1 (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (log1p (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (* y x)
  (log (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (exp (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (* (cbrt (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))) (cbrt (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))))
  (cbrt (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (* (* (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (sqrt (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (sqrt (fma y x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))))
  (* (cbrt 3) (pow z 2))
  (* (cbrt 3) (pow z 2))
  (* (cbrt 3) (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
6.952 * * [simplify]: Extracting # 0 : cost  0
6.952 * * [simplify]: Extracting # 1 : cost  0
6.952 * * [simplify]: Extracting # 2 : cost  0
6.952 * * [simplify]: Extracting # 3 : cost  0
6.952 * * [simplify]: Extracting # 4 : cost  0
6.952 * * [simplify]: Extracting # 5 : cost  0
6.952 * * [simplify]: Extracting # 6 : cost  0
6.952 * * [simplify]: iteration  0 :  85  enodes  (cost  954 )
6.970 * * [simplify]: Extracting # 0 : cost  0
6.970 * * [simplify]: Extracting # 1 : cost  0
6.970 * * [simplify]: Extracting # 2 : cost  0
6.971 * * [simplify]: Extracting # 3 : cost  0
6.971 * * [simplify]: Extracting # 4 : cost  0
6.971 * * [simplify]: iteration  1 :  182  enodes  (cost  923 )
7.039 * * [simplify]: Extracting # 0 : cost  0
7.040 * * [simplify]: Extracting # 1 : cost  0
7.041 * * [simplify]: Extracting # 2 : cost  0
7.041 * * [simplify]: Extracting # 3 : cost  0
7.042 * * [simplify]: Extracting # 4 : cost  0
7.042 * * [simplify]: iteration  2 :  619  enodes  (cost  629 )
7.773 * * [simplify]: Extracting # 0 : cost  0
7.778 * * [simplify]: Extracting # 1 : cost  0
7.779 * * [simplify]: Extracting # 2 : cost  0
7.781 * * [simplify]: Extracting # 3 : cost  0
7.782 * * [simplify]: Extracting # 4 : cost  0
7.784 * * [simplify]: iteration  3 :  2114  enodes  (cost  487 )
11.505 * * [simplify]: Extracting # 0 : cost  0
11.511 * * [simplify]: Extracting # 1 : cost  0
11.514 * * [simplify]: Extracting # 2 : cost  0
11.518 * * [simplify]: Extracting # 3 : cost  0
11.521 * * [simplify]: Extracting # 4 : cost  0
11.524 * * [simplify]: iteration done:  5000  enodes  (cost  487 )
11.524 * [simplify]: Simplified to:
  (expm1 (* (cbrt 3) (* z z)))
  (log1p (* (cbrt 3) (* z z)))
  (* (cbrt 3) (* z z))
  (* (cbrt 3) (* z z))
  (log (* (cbrt 3) (* z z)))
  (log (* (cbrt 3) (* z z)))
  (log (* (cbrt 3) (* z z)))
  (exp (* (cbrt 3) (* z z)))
  (* (pow z 6) 3)
  (* (pow z 6) 3)
  (* (cbrt (* (cbrt 3) (* z z))) (cbrt (* (cbrt 3) (* z z))))
  (cbrt (* (cbrt 3) (* z z)))
  (* (pow z 6) 3)
  (sqrt (* (cbrt 3) (* z z)))
  (sqrt (* (cbrt 3) (* z z)))
  (* (cbrt (sqrt 3)) z)
  (* (cbrt (sqrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (sqrt (cbrt 3)) z)
  (* (cbrt 3) z)
  (* (cbrt (cbrt 3)) (* z z))
  (* (cbrt (sqrt 3)) (* z z))
  (* (cbrt 3) (* z z))
  (* (cbrt (cbrt 3)) (* z z))
  (* (sqrt (cbrt 3)) (* z z))
  (* (cbrt 3) (* z z))
  (expm1 (* 3 (pow z 2)))
  (log1p (* 3 (pow z 2)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (fma (log z) 2 (log 3))
  (exp (* (* z z) 3))
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (cbrt (* 3 (pow z 2))) (cbrt (* 3 (pow z 2))))
  (cbrt (* 3 (pow z 2)))
  (* (pow z 6) 27)
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  3
  (* (cbrt 3) (* (cbrt 3) (* z z)))
  (expm1 (fma (* z z) 3 (* x y)))
  (log1p (fma (* z z) 3 (* x y)))
  (* x y)
  (log (fma (* z z) 3 (* x y)))
  (exp (fma (* z z) 3 (* x y)))
  (* (cbrt (fma (* z z) 3 (* x y))) (cbrt (fma (* z z) 3 (* x y))))
  (cbrt (fma (* z z) 3 (* x y)))
  (pow (fma (* z z) 3 (* x y)) 3)
  (sqrt (fma (* z z) 3 (* x y)))
  (sqrt (fma (* z z) 3 (* x y)))
  (* (cbrt 3) (* z z))
  (* (cbrt 3) (* z z))
  (* (cbrt 3) (* z z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (fma 3 (* z z) (* x y))
  (fma 3 (* z z) (* x y))
  (fma 3 (* z z) (* x y))
11.525 * * * [progress]: adding candidates to table
11.656 * [progress]: [Phase 3 of 3] Extracting.
11.656 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt 3) z) z))))> #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.656 * * * [regime-changes]: Trying 4 branch expressions: ((* z z) z y x)
11.656 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt 3) z) z))))> #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.673 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.687 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt 3) z) z))))> #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.704 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt 3) z) z))))> #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.724 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (* (cbrt 3) z) z))))> #<alt (λ (x y z) (fma y x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* z z))))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (* (* z z) 3)))>)
11.742 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
11.742 * [simplify]: Simplifying:
  (fma y x (* (* 3 z) z))
11.742 * * [simplify]: Extracting # 0 : cost  0
11.742 * * [simplify]: Extracting # 1 : cost  0
11.742 * * [simplify]: Extracting # 2 : cost  0
11.742 * * [simplify]: Extracting # 3 : cost  0
11.742 * * [simplify]: Extracting # 4 : cost  0
11.742 * * [simplify]: Extracting # 5 : cost  0
11.742 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
11.742 * * [simplify]: Extracting # 0 : cost  0
11.743 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
11.743 * * [simplify]: Extracting # 0 : cost  0
11.743 * * [simplify]: iteration done:  9  enodes  (cost  8 )
11.743 * [simplify]: Simplified to:
  (fma y x (* (* 3 z) z))
12.543 * [regime-testing]: Baseline error score: 0.09851231403925491
12.543 * [regime-testing]: Oracle error score: 0.011501437679709963
12.544 * [regime-testing]: End program error score: 0.09851231403925491
12.565 * [regime-testing]: Target error score: 0.10183584979381438