12.697 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.023 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
0.025 * * [simplify]: iteration  1 :  16  enodes  (cost  14 )
0.027 * * [simplify]: iteration  2 :  33  enodes  (cost  11 )
0.031 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
0.039 * * [simplify]: iteration  4 :  73  enodes  (cost  8 )
0.047 * * [simplify]: iteration  5 :  83  enodes  (cost  8 )
0.060 * * [simplify]: iteration  6 :  130  enodes  (cost  8 )
0.087 * * [simplify]: iteration  7 :  205  enodes  (cost  8 )
0.164 * * [simplify]: iteration  8 :  243  enodes  (cost  8 )
0.256 * * [simplify]: iteration  9 :  257  enodes  (cost  8 )
0.368 * * [simplify]: iteration  10 :  418  enodes  (cost  8 )
0.706 * * [simplify]: iteration  11 :  855  enodes  (cost  8 )
3.307 * * [simplify]: iteration  12 :  3229  enodes  (cost  8 )
20.903 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
20.904 * [simplify]: Simplified to:
   (fma y x (* 3 (* z z)))
20.906 * * [progress]: iteration 1 / 4
20.906 * * * [progress]: picking best candidate
20.909 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* 3 (* z z))))>
20.909 * * * [progress]: localizing error
20.914 * * * [progress]: generating rewritten candidates
20.914 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
20.921 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
20.922 * * * [progress]: generating series expansions
20.922 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
20.922 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
20.922 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
20.922 * [taylor]: Taking taylor expansion of 3 in z
20.922 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.922 * [taylor]: Taking taylor expansion of z in z
20.922 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
20.922 * [taylor]: Taking taylor expansion of 3 in z
20.922 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.923 * [taylor]: Taking taylor expansion of z in z
20.930 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
20.931 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.931 * [taylor]: Taking taylor expansion of 3 in z
20.931 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.931 * [taylor]: Taking taylor expansion of z in z
20.931 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.931 * [taylor]: Taking taylor expansion of 3 in z
20.931 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.931 * [taylor]: Taking taylor expansion of z in z
20.938 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
20.938 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.938 * [taylor]: Taking taylor expansion of 3 in z
20.938 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.938 * [taylor]: Taking taylor expansion of z in z
20.939 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.939 * [taylor]: Taking taylor expansion of 3 in z
20.939 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.939 * [taylor]: Taking taylor expansion of z in z
20.946 * * * * [progress]: [ 2 / 2 ] generating series at (2)
20.946 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0
20.946 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z
20.947 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
20.947 * [taylor]: Taking taylor expansion of (* y x) in z
20.947 * [taylor]: Taking taylor expansion of y in z
20.947 * [taylor]: Taking taylor expansion of x in z
20.947 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
20.947 * [taylor]: Taking taylor expansion of 3 in z
20.947 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.947 * [taylor]: Taking taylor expansion of z in z
20.947 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x
20.947 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
20.947 * [taylor]: Taking taylor expansion of (* y x) in x
20.947 * [taylor]: Taking taylor expansion of y in x
20.947 * [taylor]: Taking taylor expansion of x in x
20.947 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
20.947 * [taylor]: Taking taylor expansion of 3 in x
20.947 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.947 * [taylor]: Taking taylor expansion of z in x
20.947 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
20.947 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
20.947 * [taylor]: Taking taylor expansion of (* y x) in y
20.947 * [taylor]: Taking taylor expansion of y in y
20.947 * [taylor]: Taking taylor expansion of x in y
20.947 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
20.947 * [taylor]: Taking taylor expansion of 3 in y
20.947 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.947 * [taylor]: Taking taylor expansion of z in y
20.947 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
20.947 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
20.947 * [taylor]: Taking taylor expansion of (* y x) in y
20.947 * [taylor]: Taking taylor expansion of y in y
20.947 * [taylor]: Taking taylor expansion of x in y
20.947 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
20.947 * [taylor]: Taking taylor expansion of 3 in y
20.947 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.947 * [taylor]: Taking taylor expansion of z in y
20.948 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
20.948 * [taylor]: Taking taylor expansion of 3 in x
20.948 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.948 * [taylor]: Taking taylor expansion of z in x
20.948 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
20.948 * [taylor]: Taking taylor expansion of 3 in z
20.948 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.948 * [taylor]: Taking taylor expansion of z in z
20.948 * [taylor]: Taking taylor expansion of x in x
20.949 * [taylor]: Taking taylor expansion of 0 in z
20.949 * [taylor]: Taking taylor expansion of 0 in z
20.951 * [taylor]: Taking taylor expansion of 0 in x
20.951 * [taylor]: Taking taylor expansion of 0 in z
20.951 * [taylor]: Taking taylor expansion of 1 in z
20.951 * [taylor]: Taking taylor expansion of 0 in z
20.954 * [taylor]: Taking taylor expansion of 0 in x
20.954 * [taylor]: Taking taylor expansion of 0 in z
20.954 * [taylor]: Taking taylor expansion of 0 in z
20.954 * [taylor]: Taking taylor expansion of 0 in z
20.956 * [taylor]: Taking taylor expansion of 0 in z
20.956 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0
20.959 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z
20.959 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
20.959 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
20.959 * [taylor]: Taking taylor expansion of (/ 1 y) in z
20.959 * [taylor]: Taking taylor expansion of y in z
20.959 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.959 * [taylor]: Taking taylor expansion of x in z
20.959 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.959 * [taylor]: Taking taylor expansion of 3 in z
20.959 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.959 * [taylor]: Taking taylor expansion of z in z
20.960 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x
20.960 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
20.960 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
20.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.960 * [taylor]: Taking taylor expansion of y in x
20.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.960 * [taylor]: Taking taylor expansion of x in x
20.960 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
20.960 * [taylor]: Taking taylor expansion of 3 in x
20.960 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.960 * [taylor]: Taking taylor expansion of z in x
20.960 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
20.960 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
20.960 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
20.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.961 * [taylor]: Taking taylor expansion of y in y
20.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.961 * [taylor]: Taking taylor expansion of x in y
20.961 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
20.961 * [taylor]: Taking taylor expansion of 3 in y
20.961 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.961 * [taylor]: Taking taylor expansion of z in y
20.961 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
20.961 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
20.961 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
20.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.961 * [taylor]: Taking taylor expansion of y in y
20.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.961 * [taylor]: Taking taylor expansion of x in y
20.961 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
20.962 * [taylor]: Taking taylor expansion of 3 in y
20.962 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.962 * [taylor]: Taking taylor expansion of z in y
20.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.962 * [taylor]: Taking taylor expansion of x in x
20.962 * [taylor]: Taking taylor expansion of 1 in z
20.963 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
20.963 * [taylor]: Taking taylor expansion of 3 in x
20.963 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
20.963 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.963 * [taylor]: Taking taylor expansion of z in x
20.964 * [taylor]: Taking taylor expansion of 0 in z
20.965 * [taylor]: Taking taylor expansion of 0 in x
20.966 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.966 * [taylor]: Taking taylor expansion of 3 in z
20.966 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.966 * [taylor]: Taking taylor expansion of z in z
20.967 * [taylor]: Taking taylor expansion of 0 in z
20.969 * [taylor]: Taking taylor expansion of 0 in x
20.969 * [taylor]: Taking taylor expansion of 0 in z
20.969 * [taylor]: Taking taylor expansion of 0 in z
20.970 * [taylor]: Taking taylor expansion of 0 in z
20.973 * [taylor]: Taking taylor expansion of 0 in x
20.973 * [taylor]: Taking taylor expansion of 0 in z
20.974 * [taylor]: Taking taylor expansion of 0 in z
20.975 * [taylor]: Taking taylor expansion of 0 in z
20.975 * [taylor]: Taking taylor expansion of 0 in z
20.977 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0
20.977 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z
20.977 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
20.977 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
20.977 * [taylor]: Taking taylor expansion of (/ -1 y) in z
20.977 * [taylor]: Taking taylor expansion of -1 in z
20.977 * [taylor]: Taking taylor expansion of y in z
20.977 * [taylor]: Taking taylor expansion of (/ -1 x) in z
20.977 * [taylor]: Taking taylor expansion of -1 in z
20.977 * [taylor]: Taking taylor expansion of x in z
20.977 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.977 * [taylor]: Taking taylor expansion of 3 in z
20.977 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.977 * [taylor]: Taking taylor expansion of z in z
20.978 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x
20.978 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
20.978 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
20.978 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.978 * [taylor]: Taking taylor expansion of -1 in x
20.978 * [taylor]: Taking taylor expansion of y in x
20.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.978 * [taylor]: Taking taylor expansion of -1 in x
20.978 * [taylor]: Taking taylor expansion of x in x
20.978 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
20.978 * [taylor]: Taking taylor expansion of 3 in x
20.978 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.978 * [taylor]: Taking taylor expansion of z in x
20.978 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
20.979 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
20.979 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
20.979 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.979 * [taylor]: Taking taylor expansion of -1 in y
20.979 * [taylor]: Taking taylor expansion of y in y
20.979 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.979 * [taylor]: Taking taylor expansion of -1 in y
20.979 * [taylor]: Taking taylor expansion of x in y
20.979 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
20.979 * [taylor]: Taking taylor expansion of 3 in y
20.979 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.979 * [taylor]: Taking taylor expansion of z in y
20.979 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
20.979 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
20.979 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
20.979 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.979 * [taylor]: Taking taylor expansion of -1 in y
20.979 * [taylor]: Taking taylor expansion of y in y
20.980 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.980 * [taylor]: Taking taylor expansion of -1 in y
20.980 * [taylor]: Taking taylor expansion of x in y
20.980 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
20.980 * [taylor]: Taking taylor expansion of 3 in y
20.980 * [taylor]: Taking taylor expansion of (pow z 2) in y
20.980 * [taylor]: Taking taylor expansion of z in y
20.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.980 * [taylor]: Taking taylor expansion of x in x
20.980 * [taylor]: Taking taylor expansion of 1 in z
20.981 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
20.981 * [taylor]: Taking taylor expansion of 3 in x
20.981 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
20.981 * [taylor]: Taking taylor expansion of (pow z 2) in x
20.981 * [taylor]: Taking taylor expansion of z in x
20.982 * [taylor]: Taking taylor expansion of 0 in z
20.983 * [taylor]: Taking taylor expansion of 0 in x
20.984 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
20.984 * [taylor]: Taking taylor expansion of 3 in z
20.984 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.984 * [taylor]: Taking taylor expansion of z in z
20.985 * [taylor]: Taking taylor expansion of 0 in z
20.987 * [taylor]: Taking taylor expansion of 0 in x
20.987 * [taylor]: Taking taylor expansion of 0 in z
20.987 * [taylor]: Taking taylor expansion of 0 in z
20.988 * [taylor]: Taking taylor expansion of 0 in z
20.992 * [taylor]: Taking taylor expansion of 0 in x
20.992 * [taylor]: Taking taylor expansion of 0 in z
20.992 * [taylor]: Taking taylor expansion of 0 in z
20.993 * [taylor]: Taking taylor expansion of 0 in z
20.993 * [taylor]: Taking taylor expansion of 0 in z
20.995 * * * [progress]: simplifying candidates
20.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
20.997 * * [simplify]: iteration  0 :  51  enodes  (cost  312 )
21.006 * * [simplify]: iteration  1 :  108  enodes  (cost  296 )
21.030 * * [simplify]: iteration  2 :  321  enodes  (cost  260 )
21.133 * * [simplify]: iteration  3 :  987  enodes  (cost  254 )
21.656 * * [simplify]: iteration  4 :  4035  enodes  (cost  254 )
24.647 * * [simplify]: iteration  done :  5001  enodes  (cost  254 )
24.647 * [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)))
  (* (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)))
  (* (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))))
  (pow (fma y x (* 3 (* z z))) 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 y x (* 3 (* z z)))
  (fma y x (* 3 (* z z)))
  (fma y x (* 3 (* z z)))
24.647 * * * [progress]: adding candidates to table
24.717 * * [progress]: iteration 2 / 4
24.717 * * * [progress]: picking best candidate
24.724 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (* 3 z) z)))>
24.724 * * * [progress]: localizing error
24.730 * * * [progress]: generating rewritten candidates
24.730 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
24.738 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
24.739 * * * [progress]: generating series expansions
24.739 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
24.739 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
24.739 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
24.739 * [taylor]: Taking taylor expansion of 3 in z
24.739 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.739 * [taylor]: Taking taylor expansion of z in z
24.739 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
24.739 * [taylor]: Taking taylor expansion of 3 in z
24.739 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.739 * [taylor]: Taking taylor expansion of z in z
24.750 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
24.750 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.750 * [taylor]: Taking taylor expansion of 3 in z
24.750 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.750 * [taylor]: Taking taylor expansion of z in z
24.750 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.750 * [taylor]: Taking taylor expansion of 3 in z
24.750 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.750 * [taylor]: Taking taylor expansion of z in z
24.758 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
24.758 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.758 * [taylor]: Taking taylor expansion of 3 in z
24.758 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.758 * [taylor]: Taking taylor expansion of z in z
24.759 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.759 * [taylor]: Taking taylor expansion of 3 in z
24.759 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.759 * [taylor]: Taking taylor expansion of z in z
24.767 * * * * [progress]: [ 2 / 2 ] generating series at (2)
24.767 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0
24.767 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z
24.767 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
24.767 * [taylor]: Taking taylor expansion of (* y x) in z
24.767 * [taylor]: Taking taylor expansion of y in z
24.767 * [taylor]: Taking taylor expansion of x in z
24.767 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
24.767 * [taylor]: Taking taylor expansion of 3 in z
24.767 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.767 * [taylor]: Taking taylor expansion of z in z
24.767 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x
24.767 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
24.767 * [taylor]: Taking taylor expansion of (* y x) in x
24.767 * [taylor]: Taking taylor expansion of y in x
24.767 * [taylor]: Taking taylor expansion of x in x
24.767 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
24.767 * [taylor]: Taking taylor expansion of 3 in x
24.767 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.767 * [taylor]: Taking taylor expansion of z in x
24.767 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
24.767 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
24.767 * [taylor]: Taking taylor expansion of (* y x) in y
24.767 * [taylor]: Taking taylor expansion of y in y
24.767 * [taylor]: Taking taylor expansion of x in y
24.767 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
24.767 * [taylor]: Taking taylor expansion of 3 in y
24.767 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.767 * [taylor]: Taking taylor expansion of z in y
24.768 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y
24.768 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2)))
24.768 * [taylor]: Taking taylor expansion of (* y x) in y
24.768 * [taylor]: Taking taylor expansion of y in y
24.768 * [taylor]: Taking taylor expansion of x in y
24.768 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
24.768 * [taylor]: Taking taylor expansion of 3 in y
24.768 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.768 * [taylor]: Taking taylor expansion of z in y
24.768 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
24.768 * [taylor]: Taking taylor expansion of 3 in x
24.768 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.768 * [taylor]: Taking taylor expansion of z in x
24.768 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
24.768 * [taylor]: Taking taylor expansion of 3 in z
24.768 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.768 * [taylor]: Taking taylor expansion of z in z
24.769 * [taylor]: Taking taylor expansion of x in x
24.769 * [taylor]: Taking taylor expansion of 0 in z
24.769 * [taylor]: Taking taylor expansion of 0 in z
24.771 * [taylor]: Taking taylor expansion of 0 in x
24.771 * [taylor]: Taking taylor expansion of 0 in z
24.771 * [taylor]: Taking taylor expansion of 1 in z
24.772 * [taylor]: Taking taylor expansion of 0 in z
24.775 * [taylor]: Taking taylor expansion of 0 in x
24.775 * [taylor]: Taking taylor expansion of 0 in z
24.775 * [taylor]: Taking taylor expansion of 0 in z
24.775 * [taylor]: Taking taylor expansion of 0 in z
24.777 * [taylor]: Taking taylor expansion of 0 in z
24.777 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0
24.777 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z
24.777 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
24.777 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z
24.777 * [taylor]: Taking taylor expansion of (/ 1 y) in z
24.777 * [taylor]: Taking taylor expansion of y in z
24.777 * [taylor]: Taking taylor expansion of (/ 1 x) in z
24.777 * [taylor]: Taking taylor expansion of x in z
24.777 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.778 * [taylor]: Taking taylor expansion of 3 in z
24.778 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.778 * [taylor]: Taking taylor expansion of z in z
24.778 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x
24.778 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
24.778 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
24.778 * [taylor]: Taking taylor expansion of (/ 1 y) in x
24.778 * [taylor]: Taking taylor expansion of y in x
24.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x
24.778 * [taylor]: Taking taylor expansion of x in x
24.779 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
24.779 * [taylor]: Taking taylor expansion of 3 in x
24.779 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.779 * [taylor]: Taking taylor expansion of z in x
24.779 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
24.779 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
24.779 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
24.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
24.779 * [taylor]: Taking taylor expansion of y in y
24.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y
24.779 * [taylor]: Taking taylor expansion of x in y
24.779 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
24.779 * [taylor]: Taking taylor expansion of 3 in y
24.779 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.779 * [taylor]: Taking taylor expansion of z in y
24.780 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y
24.780 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2)))
24.780 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
24.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y
24.780 * [taylor]: Taking taylor expansion of y in y
24.780 * [taylor]: Taking taylor expansion of (/ 1 x) in y
24.780 * [taylor]: Taking taylor expansion of x in y
24.780 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
24.780 * [taylor]: Taking taylor expansion of 3 in y
24.780 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.780 * [taylor]: Taking taylor expansion of z in y
24.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
24.780 * [taylor]: Taking taylor expansion of x in x
24.781 * [taylor]: Taking taylor expansion of 1 in z
24.782 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
24.782 * [taylor]: Taking taylor expansion of 3 in x
24.782 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
24.782 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.782 * [taylor]: Taking taylor expansion of z in x
24.782 * [taylor]: Taking taylor expansion of 0 in z
24.784 * [taylor]: Taking taylor expansion of 0 in x
24.784 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.784 * [taylor]: Taking taylor expansion of 3 in z
24.784 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.784 * [taylor]: Taking taylor expansion of z in z
24.785 * [taylor]: Taking taylor expansion of 0 in z
24.787 * [taylor]: Taking taylor expansion of 0 in x
24.787 * [taylor]: Taking taylor expansion of 0 in z
24.788 * [taylor]: Taking taylor expansion of 0 in z
24.789 * [taylor]: Taking taylor expansion of 0 in z
24.792 * [taylor]: Taking taylor expansion of 0 in x
24.792 * [taylor]: Taking taylor expansion of 0 in z
24.792 * [taylor]: Taking taylor expansion of 0 in z
24.793 * [taylor]: Taking taylor expansion of 0 in z
24.794 * [taylor]: Taking taylor expansion of 0 in z
24.796 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0
24.796 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z
24.796 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
24.796 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z
24.796 * [taylor]: Taking taylor expansion of (/ -1 y) in z
24.796 * [taylor]: Taking taylor expansion of -1 in z
24.796 * [taylor]: Taking taylor expansion of y in z
24.796 * [taylor]: Taking taylor expansion of (/ -1 x) in z
24.796 * [taylor]: Taking taylor expansion of -1 in z
24.796 * [taylor]: Taking taylor expansion of x in z
24.796 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.796 * [taylor]: Taking taylor expansion of 3 in z
24.796 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.796 * [taylor]: Taking taylor expansion of z in z
24.797 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x
24.797 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
24.797 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
24.797 * [taylor]: Taking taylor expansion of (/ -1 y) in x
24.797 * [taylor]: Taking taylor expansion of -1 in x
24.797 * [taylor]: Taking taylor expansion of y in x
24.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x
24.797 * [taylor]: Taking taylor expansion of -1 in x
24.797 * [taylor]: Taking taylor expansion of x in x
24.797 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
24.797 * [taylor]: Taking taylor expansion of 3 in x
24.797 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.797 * [taylor]: Taking taylor expansion of z in x
24.797 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
24.797 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
24.797 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
24.797 * [taylor]: Taking taylor expansion of (/ -1 y) in y
24.797 * [taylor]: Taking taylor expansion of -1 in y
24.797 * [taylor]: Taking taylor expansion of y in y
24.798 * [taylor]: Taking taylor expansion of (/ -1 x) in y
24.798 * [taylor]: Taking taylor expansion of -1 in y
24.798 * [taylor]: Taking taylor expansion of x in y
24.798 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
24.798 * [taylor]: Taking taylor expansion of 3 in y
24.798 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.798 * [taylor]: Taking taylor expansion of z in y
24.798 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y
24.798 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2)))
24.798 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
24.798 * [taylor]: Taking taylor expansion of (/ -1 y) in y
24.798 * [taylor]: Taking taylor expansion of -1 in y
24.798 * [taylor]: Taking taylor expansion of y in y
24.798 * [taylor]: Taking taylor expansion of (/ -1 x) in y
24.798 * [taylor]: Taking taylor expansion of -1 in y
24.798 * [taylor]: Taking taylor expansion of x in y
24.799 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
24.799 * [taylor]: Taking taylor expansion of 3 in y
24.799 * [taylor]: Taking taylor expansion of (pow z 2) in y
24.799 * [taylor]: Taking taylor expansion of z in y
24.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
24.799 * [taylor]: Taking taylor expansion of x in x
24.799 * [taylor]: Taking taylor expansion of 1 in z
24.800 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
24.800 * [taylor]: Taking taylor expansion of 3 in x
24.800 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
24.800 * [taylor]: Taking taylor expansion of (pow z 2) in x
24.800 * [taylor]: Taking taylor expansion of z in x
24.801 * [taylor]: Taking taylor expansion of 0 in z
24.802 * [taylor]: Taking taylor expansion of 0 in x
24.802 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
24.802 * [taylor]: Taking taylor expansion of 3 in z
24.803 * [taylor]: Taking taylor expansion of (pow z 2) in z
24.803 * [taylor]: Taking taylor expansion of z in z
24.804 * [taylor]: Taking taylor expansion of 0 in z
24.806 * [taylor]: Taking taylor expansion of 0 in x
24.806 * [taylor]: Taking taylor expansion of 0 in z
24.806 * [taylor]: Taking taylor expansion of 0 in z
24.807 * [taylor]: Taking taylor expansion of 0 in z
24.811 * [taylor]: Taking taylor expansion of 0 in x
24.811 * [taylor]: Taking taylor expansion of 0 in z
24.811 * [taylor]: Taking taylor expansion of 0 in z
24.812 * [taylor]: Taking taylor expansion of 0 in z
24.812 * [taylor]: Taking taylor expansion of 0 in z
24.814 * * * [progress]: simplifying candidates
24.815 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
24.816 * * [simplify]: iteration  0 :  53  enodes  (cost  307 )
24.829 * * [simplify]: iteration  1 :  120  enodes  (cost  291 )
24.857 * * [simplify]: iteration  2 :  503  enodes  (cost  253 )
25.083 * * [simplify]: iteration  3 :  2081  enodes  (cost  247 )
26.828 * * [simplify]: iteration  done :  5000  enodes  (cost  247 )
26.828 * [simplify]: Simplified to:
   (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  (* (* z 3) z)
  (* (* z 3) z)
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (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)))
  (* (* 3 z) (sqrt 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)))
  (pow (fma y x (* (* 3 z) z)) 3)
  (sqrt (fma y x (* (* 3 z) z)))
  (sqrt (fma y x (* (* 3 z) z)))
  (* (* z 3) z)
  (* (* z 3) z)
  (* (* z 3) z)
  (fma y x (* (* 3 z) z))
  (fma y x (* (* 3 z) z))
  (fma y x (* (* 3 z) z))
26.829 * * * [progress]: adding candidates to table
26.890 * * [progress]: iteration 3 / 4
26.890 * * * [progress]: picking best candidate
26.895 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))>
26.895 * * * [progress]: localizing error
26.904 * * * [progress]: generating rewritten candidates
26.904 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
26.909 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1)
26.915 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3)
26.956 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1)
26.968 * * * [progress]: generating series expansions
26.968 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
26.968 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
26.968 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
26.968 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.968 * [taylor]: Taking taylor expansion of 3 in z
26.969 * [taylor]: Taking taylor expansion of z in z
26.969 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
26.969 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.969 * [taylor]: Taking taylor expansion of 3 in z
26.970 * [taylor]: Taking taylor expansion of z in z
26.982 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
26.982 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
26.982 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.982 * [taylor]: Taking taylor expansion of 3 in z
26.983 * [taylor]: Taking taylor expansion of z in z
26.984 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
26.984 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.984 * [taylor]: Taking taylor expansion of 3 in z
26.985 * [taylor]: Taking taylor expansion of z in z
26.993 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
26.993 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
26.993 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.993 * [taylor]: Taking taylor expansion of 3 in z
26.994 * [taylor]: Taking taylor expansion of z in z
26.994 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
26.994 * [taylor]: Taking taylor expansion of (sqrt 3) in z
26.994 * [taylor]: Taking taylor expansion of 3 in z
26.995 * [taylor]: Taking taylor expansion of z in z
27.003 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1)
27.004 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
27.004 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
27.004 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.004 * [taylor]: Taking taylor expansion of 3 in z
27.004 * [taylor]: Taking taylor expansion of z in z
27.004 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
27.004 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.004 * [taylor]: Taking taylor expansion of 3 in z
27.005 * [taylor]: Taking taylor expansion of z in z
27.016 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
27.016 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
27.016 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.016 * [taylor]: Taking taylor expansion of 3 in z
27.017 * [taylor]: Taking taylor expansion of z in z
27.017 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
27.017 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.018 * [taylor]: Taking taylor expansion of 3 in z
27.018 * [taylor]: Taking taylor expansion of z in z
27.030 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
27.030 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
27.030 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.030 * [taylor]: Taking taylor expansion of 3 in z
27.031 * [taylor]: Taking taylor expansion of z in z
27.032 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
27.032 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.032 * [taylor]: Taking taylor expansion of 3 in z
27.032 * [taylor]: Taking taylor expansion of z in z
27.041 * * * * [progress]: [ 3 / 4 ] generating series at (2 3)
27.041 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
27.041 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
27.041 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.041 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.041 * [taylor]: Taking taylor expansion of 3 in z
27.041 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.042 * [taylor]: Taking taylor expansion of z in z
27.042 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
27.042 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.042 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.042 * [taylor]: Taking taylor expansion of 3 in z
27.042 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.042 * [taylor]: Taking taylor expansion of z in z
27.062 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
27.062 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
27.062 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.062 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.062 * [taylor]: Taking taylor expansion of 3 in z
27.063 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.063 * [taylor]: Taking taylor expansion of z in z
27.065 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
27.065 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.065 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.065 * [taylor]: Taking taylor expansion of 3 in z
27.066 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.066 * [taylor]: Taking taylor expansion of z in z
27.085 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
27.085 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
27.085 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.085 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.085 * [taylor]: Taking taylor expansion of 3 in z
27.086 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.086 * [taylor]: Taking taylor expansion of z in z
27.088 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
27.088 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
27.088 * [taylor]: Taking taylor expansion of (sqrt 3) in z
27.088 * [taylor]: Taking taylor expansion of 3 in z
27.088 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.089 * [taylor]: Taking taylor expansion of z in z
27.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1)
27.110 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
27.111 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
27.111 * [taylor]: Taking taylor expansion of 3 in z
27.111 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.111 * [taylor]: Taking taylor expansion of z in z
27.111 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
27.111 * [taylor]: Taking taylor expansion of 3 in z
27.111 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.111 * [taylor]: Taking taylor expansion of z in z
27.119 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
27.119 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
27.119 * [taylor]: Taking taylor expansion of 3 in z
27.119 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.119 * [taylor]: Taking taylor expansion of z in z
27.119 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
27.119 * [taylor]: Taking taylor expansion of 3 in z
27.119 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.119 * [taylor]: Taking taylor expansion of z in z
27.127 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
27.127 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
27.127 * [taylor]: Taking taylor expansion of 3 in z
27.127 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.127 * [taylor]: Taking taylor expansion of z in z
27.128 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
27.128 * [taylor]: Taking taylor expansion of 3 in z
27.128 * [taylor]: Taking taylor expansion of (pow z 2) in z
27.128 * [taylor]: Taking taylor expansion of z in z
27.135 * * * [progress]: simplifying candidates
27.137 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (log1p (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (+ 1 1)
  (+ (log (sqrt (* (* 3 z) z))) (log (sqrt (* (* 3 z) z))))
  (log (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (exp (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (* (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z))) (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z))))
  (* (cbrt (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))) (cbrt (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))
  (cbrt (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (* (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))) (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (sqrt (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (sqrt (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))))
  (* (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z)))) (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z)))))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (* (sqrt (* 3 z)) (sqrt (* 3 z)))
  (* (sqrt z) (sqrt z))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* 1 1)
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* (* 3 z) z)) (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (* (* 3 z) z)) (sqrt (* 3 z)))
  (* (sqrt (* (* 3 z) z)) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (* (* 3 z) z)) 1)
  (* (cbrt (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (* (sqrt z) (sqrt (* (* 3 z) z)))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (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)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
27.140 * * [simplify]: iteration  0 :  87  enodes  (cost  1171 )
27.157 * * [simplify]: iteration  1 :  189  enodes  (cost  777 )
27.217 * * [simplify]: iteration  2 :  933  enodes  (cost  674 )
27.722 * * [simplify]: iteration  done :  5000  enodes  (cost  674 )
27.723 * [simplify]: Simplified to:
   (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* 3 (pow z 2))) 3)
  (sqrt (* 3 z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* 3 (pow z 2))) 3)
  (sqrt (* 3 z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (* z 9) (pow z 3))
  (* (* z z) 3)
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  (* (* z 9) (pow z 3))
  2
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (exp (* 3 (pow z 2)))
  (pow (* (* z z) 3) 3)
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (pow (* (* z z) 3) 3)
  (* (* z 9) (pow z 3))
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  (* (pow (cbrt (sqrt (* (* 3 z) z))) 3) (cbrt (sqrt (* (* 3 z) z))))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (* 3 z)
  z
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  1
  (* (* z z) 3)
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (sqrt (* (* 3 z) z)) (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (* (* 3 z) z)) (sqrt (* 3 z)))
  (pow (sqrt (sqrt (* (* 3 z) z))) 3)
  (sqrt (* 3 (pow z 2)))
  (* (cbrt (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (* (sqrt z) (sqrt (* (* 3 z) z)))
  (pow (sqrt (sqrt (* (* 3 z) z))) 3)
  (* (* z z) 3)
  (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  (* (* z z) 3)
  (* (* z z) 3)
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (log (* 3 (pow z 2)))
  (exp (* 3 (pow z 2)))
  (pow (* (* z z) 3) 3)
  (pow (* (* z z) 3) 3)
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (pow (* (* z z) 3) 3)
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  (* (* 3 z) (* (cbrt z) (cbrt z)))
  (* (* 3 z) (sqrt z))
  (* 3 z)
  (* z z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
27.724 * * * [progress]: adding candidates to table
27.936 * * [progress]: iteration 4 / 4
27.936 * * * [progress]: picking best candidate
27.946 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))>
27.946 * * * [progress]: localizing error
27.957 * * * [progress]: generating rewritten candidates
27.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
27.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 1)
27.969 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1 1)
27.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
28.029 * * * [progress]: generating series expansions
28.029 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
28.029 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
28.029 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.029 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.029 * [taylor]: Taking taylor expansion of 3 in z
28.030 * [taylor]: Taking taylor expansion of z in z
28.030 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.030 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.030 * [taylor]: Taking taylor expansion of 3 in z
28.031 * [taylor]: Taking taylor expansion of z in z
28.042 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.042 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.042 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.042 * [taylor]: Taking taylor expansion of 3 in z
28.043 * [taylor]: Taking taylor expansion of z in z
28.044 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.044 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.044 * [taylor]: Taking taylor expansion of 3 in z
28.044 * [taylor]: Taking taylor expansion of z in z
28.052 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.053 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.053 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.053 * [taylor]: Taking taylor expansion of 3 in z
28.053 * [taylor]: Taking taylor expansion of z in z
28.054 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.054 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.054 * [taylor]: Taking taylor expansion of 3 in z
28.055 * [taylor]: Taking taylor expansion of z in z
28.063 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 1)
28.063 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
28.063 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.063 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.063 * [taylor]: Taking taylor expansion of 3 in z
28.064 * [taylor]: Taking taylor expansion of z in z
28.064 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.064 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.064 * [taylor]: Taking taylor expansion of 3 in z
28.065 * [taylor]: Taking taylor expansion of z in z
28.080 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.080 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.080 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.080 * [taylor]: Taking taylor expansion of 3 in z
28.081 * [taylor]: Taking taylor expansion of z in z
28.081 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.081 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.081 * [taylor]: Taking taylor expansion of 3 in z
28.082 * [taylor]: Taking taylor expansion of z in z
28.091 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.091 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.091 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.091 * [taylor]: Taking taylor expansion of 3 in z
28.091 * [taylor]: Taking taylor expansion of z in z
28.092 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.092 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.092 * [taylor]: Taking taylor expansion of 3 in z
28.093 * [taylor]: Taking taylor expansion of z in z
28.101 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1 1)
28.101 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
28.101 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.101 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.101 * [taylor]: Taking taylor expansion of 3 in z
28.102 * [taylor]: Taking taylor expansion of z in z
28.102 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.102 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.102 * [taylor]: Taking taylor expansion of 3 in z
28.103 * [taylor]: Taking taylor expansion of z in z
28.114 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.114 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.114 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.114 * [taylor]: Taking taylor expansion of 3 in z
28.115 * [taylor]: Taking taylor expansion of z in z
28.115 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.115 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.115 * [taylor]: Taking taylor expansion of 3 in z
28.116 * [taylor]: Taking taylor expansion of z in z
28.124 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.124 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.124 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.124 * [taylor]: Taking taylor expansion of 3 in z
28.125 * [taylor]: Taking taylor expansion of z in z
28.125 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.126 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.126 * [taylor]: Taking taylor expansion of 3 in z
28.126 * [taylor]: Taking taylor expansion of z in z
28.135 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1)
28.135 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
28.135 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.135 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.135 * [taylor]: Taking taylor expansion of 3 in z
28.136 * [taylor]: Taking taylor expansion of z in z
28.136 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
28.136 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.136 * [taylor]: Taking taylor expansion of 3 in z
28.136 * [taylor]: Taking taylor expansion of z in z
28.148 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.148 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.148 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.148 * [taylor]: Taking taylor expansion of 3 in z
28.148 * [taylor]: Taking taylor expansion of z in z
28.149 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.149 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.149 * [taylor]: Taking taylor expansion of 3 in z
28.150 * [taylor]: Taking taylor expansion of z in z
28.161 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
28.161 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.161 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.161 * [taylor]: Taking taylor expansion of 3 in z
28.162 * [taylor]: Taking taylor expansion of z in z
28.163 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
28.163 * [taylor]: Taking taylor expansion of (sqrt 3) in z
28.163 * [taylor]: Taking taylor expansion of 3 in z
28.163 * [taylor]: Taking taylor expansion of z in z
28.171 * * * [progress]: simplifying candidates
28.173 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (* (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z))) (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (log1p (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (* (* (* 3 z) z) (* (* 3 z) z))
  (+ 1 1)
  (+ (log (sqrt (sqrt (* (* 3 z) z)))) (log (sqrt (sqrt (* (* 3 z) z)))))
  (log (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (exp (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (* (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))))
  (* (cbrt (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))) (cbrt (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))))
  (cbrt (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (* (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))) (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))
  (sqrt (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (sqrt (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))))
  (* (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z))))) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z))))))
  (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))))
  (* (sqrt (cbrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (* 3 z))) (sqrt (sqrt (* 3 z))))
  (* (sqrt (sqrt z)) (sqrt (sqrt z)))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* 1 1)
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* (sqrt (sqrt (* (* 3 z) z))) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z))))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* 3 z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt 1))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (sqrt (sqrt (* (* 3 z) z))) 1)
  (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
28.177 * * [simplify]: iteration  0 :  81  enodes  (cost  1686 )
28.195 * * [simplify]: iteration  1 :  139  enodes  (cost  991 )
28.245 * * [simplify]: iteration  2 :  496  enodes  (cost  881 )
28.651 * * [simplify]: iteration  3 :  2712  enodes  (cost  850 )
30.734 * * [simplify]: iteration  done :  5001  enodes  (cost  850 )
30.734 * [simplify]: Simplified to:
   (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* (* 3 z) z)) 3)
  (sqrt (* 3 z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* (* 3 z) z)) 3)
  (sqrt (* 3 z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* (* 3 z) z)) 3)
  (sqrt (* 3 z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (expm1 (sqrt (* (* 3 z) z)))
  (log1p (sqrt (* (* 3 z) z)))
  1
  1
  2
  1/2
  1/2
  1/2
  1/2
  1
  1
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  (* (* 3 z) z)
  (sqrt (* (* 3 z) z))
  (pow (sqrt (* (* 3 z) z)) 4)
  (* (* 3 z) z)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  (pow (sqrt (* (* 3 z) z)) 4)
  2
  (log (sqrt (* (* 3 z) z)))
  (log (sqrt (* (* 3 z) z)))
  (exp (sqrt (* (* 3 z) z)))
  (pow (sqrt (* (* 3 z) z)) 3)
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (* (* 3 z) z)) 3)
  (* (* 3 z) z)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4)
  (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))
  (* (cbrt (sqrt (* (* 3 z) z))) (cbrt (sqrt (* (* 3 z) z))))
  (cbrt (sqrt (* (* 3 z) z)))
  (sqrt (* 3 z))
  (sqrt z)
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  1
  (sqrt (* (* 3 z) z))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  1
  (sqrt (* (* 3 z) z))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  (sqrt (sqrt (* (* 3 z) z)))
  1
  2
  1/2
  1
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4))
  (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* 3 z))))
  (pow (sqrt (sqrt (sqrt (* (* 3 z) z)))) 3)
  (sqrt (sqrt (* (* 3 z) z)))
  (pow (sqrt (sqrt (sqrt (* (* 3 z) z)))) 3)
  (sqrt (sqrt (* (* 3 z) z)))
  (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4)
  (* (sqrt (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (* (* 3 z) z))))
  (pow (sqrt (sqrt (sqrt (* (* 3 z) z)))) 3)
  (sqrt (* (* 3 z) z))
  (pow (sqrt (sqrt (sqrt (* (* 3 z) z)))) 3)
  (sqrt (* (* 3 z) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
30.735 * * * [progress]: adding candidates to table
30.986 * [progress]: [Phase 3 of 3] Extracting.
30.986 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* 3 z) (sqrt z)) (sqrt z))))> #<alt (λ (x y z) (fma y x (* 3 (* z z))))> #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (pow (* (* z 9) (pow z 3)) 1/2)))>)
30.988 * * * [regime-changes]: Trying 4 branch expressions: ((* z z) z y x)
30.988 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* 3 z) (sqrt z)) (sqrt z))))> #<alt (λ (x y z) (fma y x (* 3 (* z z))))> #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (pow (* (* z 9) (pow z 3)) 1/2)))>)
31.017 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* 3 z) (sqrt z)) (sqrt z))))> #<alt (λ (x y z) (fma y x (* 3 (* z z))))> #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (pow (* (* z 9) (pow z 3)) 1/2)))>)
31.045 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* 3 z) (sqrt z)) (sqrt z))))> #<alt (λ (x y z) (fma y x (* 3 (* z z))))> #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (pow (* (* z 9) (pow z 3)) 1/2)))>)
31.076 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma y x (* (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* (fabs (cbrt (sqrt (* (* 3 z) z)))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (cbrt (sqrt (* (* 3 z) z))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (* 3 z) (sqrt z)) (sqrt z))))> #<alt (λ (x y z) (fma y x (* 3 (* z z))))> #<alt (λ (x y z) (fma y x (* (* (sqrt (sqrt (* (* 3 z) z))) (sqrt (sqrt (* (* 3 z) z)))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* (pow (cbrt (sqrt (sqrt (* (* 3 z) z)))) 4) (* (cbrt (sqrt (sqrt (* (* 3 z) z)))) (cbrt (sqrt (sqrt (* (* 3 z) z)))))) (sqrt (* (* 3 z) z)))))> #<alt (λ (x y z) (fma y x (* (* 3 z) z)))> #<alt (λ (x y z) (fma y x (pow (* (* z 9) (pow z 3)) 1/2)))>)
31.106 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
31.107 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma y x (* (* 3 z) z))
31.107 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
31.107 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
31.107 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
31.107 * [simplify]: Simplified to:
   (fma y x (* (* 3 z) z))
31.978 * [regime-testing]: Baseline error score: 0.10343696929900971
31.979 * [regime-testing]: Oracle error score: 0.01197741654232499
31.980 * [regime-testing]: End program error score: 0.10343696929900971
31.999 * [regime-testing]: Target error score: 0.1087691454080958