22.410 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.404 * * * [progress]: [2/2] Setting up program.
0.407 * [progress]: [Phase 2 of 3] Improving.
0.407 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (cosh x) (/ y x)) z)
0.409 * * [simplify]: iteration  0 :  18  enodes  (cost  4 )
0.410 * * [simplify]: iteration  1 :  41  enodes  (cost  4 )
0.412 * * [simplify]: iteration  2 :  102  enodes  (cost  4 )
0.414 * * [simplify]: iteration  3 :  224  enodes  (cost  4 )
0.417 * * [simplify]: iteration  4 :  401  enodes  (cost  4 )
0.421 * * [simplify]: iteration  5 :  758  enodes  (cost  4 )
0.432 * * [simplify]: iteration  6 :  2403  enodes  (cost  4 )
0.459 * * [simplify]: iteration  7 :  5001  enodes  (cost  4 )
0.460 * [simplify]: Simplified to:
   (/ (* (cosh x) (/ y x)) z)
0.460 * * [progress]: iteration 1 / 4
0.460 * * * [progress]: picking best candidate
0.463 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* (cosh x) (/ y x)) z))>
0.463 * * * [progress]: localizing error
0.470 * * * [progress]: generating rewritten candidates
0.470 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.475 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.483 * * * [progress]: generating series expansions
0.484 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.484 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0
0.484 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z
0.484 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z
0.484 * [taylor]: Taking taylor expansion of (cosh x) in z
0.484 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.484 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in z
0.484 * [taylor]: Taking taylor expansion of (exp x) in z
0.484 * [taylor]: Taking taylor expansion of x in z
0.484 * [taylor]: Taking taylor expansion of (exp (neg x)) in z
0.484 * [taylor]: Taking taylor expansion of (neg x) in z
0.484 * [taylor]: Taking taylor expansion of x in z
0.484 * [taylor]: Taking taylor expansion of 2 in z
0.484 * [taylor]: Taking taylor expansion of y in z
0.484 * [taylor]: Taking taylor expansion of (* x z) in z
0.484 * [taylor]: Taking taylor expansion of x in z
0.484 * [taylor]: Taking taylor expansion of z in z
0.485 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y
0.485 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.485 * [taylor]: Taking taylor expansion of (cosh x) in y
0.485 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.485 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.485 * [taylor]: Taking taylor expansion of (exp x) in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.485 * [taylor]: Taking taylor expansion of (neg x) in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of 2 in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (* x z) in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.485 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.485 * [taylor]: Taking taylor expansion of (cosh x) in x
0.486 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.486 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.486 * [taylor]: Taking taylor expansion of (exp x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.486 * [taylor]: Taking taylor expansion of (neg x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 2 in x
0.486 * [taylor]: Taking taylor expansion of y in x
0.486 * [taylor]: Taking taylor expansion of (* x z) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of z in x
0.486 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.486 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.486 * [taylor]: Taking taylor expansion of (cosh x) in x
0.486 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.486 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.486 * [taylor]: Taking taylor expansion of (exp x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.486 * [taylor]: Taking taylor expansion of (neg x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 2 in x
0.486 * [taylor]: Taking taylor expansion of y in x
0.486 * [taylor]: Taking taylor expansion of (* x z) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of z in x
0.486 * [taylor]: Taking taylor expansion of (/ y z) in y
0.486 * [taylor]: Taking taylor expansion of y in y
0.486 * [taylor]: Taking taylor expansion of z in y
0.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.486 * [taylor]: Taking taylor expansion of z in z
0.487 * [taylor]: Taking taylor expansion of 0 in y
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y
0.487 * [taylor]: Taking taylor expansion of 1/2 in y
0.487 * [taylor]: Taking taylor expansion of (/ y z) in y
0.487 * [taylor]: Taking taylor expansion of y in y
0.487 * [taylor]: Taking taylor expansion of z in y
0.487 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z
0.487 * [taylor]: Taking taylor expansion of 1/2 in z
0.487 * [taylor]: Taking taylor expansion of z in z
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.488 * [taylor]: Taking taylor expansion of 0 in y
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0
0.489 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z
0.489 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z
0.489 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z
0.489 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.489 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in z
0.489 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.489 * [taylor]: Taking taylor expansion of x in z
0.489 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.489 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.489 * [taylor]: Taking taylor expansion of x in z
0.489 * [taylor]: Taking taylor expansion of 2 in z
0.489 * [taylor]: Taking taylor expansion of (* x z) in z
0.489 * [taylor]: Taking taylor expansion of x in z
0.489 * [taylor]: Taking taylor expansion of z in z
0.490 * [taylor]: Taking taylor expansion of y in z
0.490 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y
0.490 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y
0.490 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.490 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.490 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.491 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of 2 in y
0.491 * [taylor]: Taking taylor expansion of (* x z) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of z in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.491 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.491 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.491 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.491 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.491 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of 2 in x
0.492 * [taylor]: Taking taylor expansion of (* x z) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of z in x
0.492 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.492 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.492 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.492 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.492 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.492 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of 2 in x
0.492 * [taylor]: Taking taylor expansion of (* x z) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of z in x
0.493 * [taylor]: Taking taylor expansion of y in x
0.493 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y
0.493 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in y
0.493 * [taylor]: Taking taylor expansion of 1/2 in y
0.493 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in y
0.493 * [taylor]: Taking taylor expansion of z in y
0.493 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.493 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.493 * [taylor]: Taking taylor expansion of x in y
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.493 * [taylor]: Taking taylor expansion of 1/2 in y
0.493 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.493 * [taylor]: Taking taylor expansion of z in y
0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.493 * [taylor]: Taking taylor expansion of x in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.494 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z
0.494 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in z
0.494 * [taylor]: Taking taylor expansion of 1/2 in z
0.494 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in z
0.494 * [taylor]: Taking taylor expansion of z in z
0.494 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.494 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.494 * [taylor]: Taking taylor expansion of x in z
0.494 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.494 * [taylor]: Taking taylor expansion of 1/2 in z
0.494 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.494 * [taylor]: Taking taylor expansion of z in z
0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.494 * [taylor]: Taking taylor expansion of x in z
0.495 * [taylor]: Taking taylor expansion of 0 in y
0.496 * [taylor]: Taking taylor expansion of 0 in z
0.497 * [taylor]: Taking taylor expansion of 0 in y
0.497 * [taylor]: Taking taylor expansion of 0 in z
0.498 * [taylor]: Taking taylor expansion of 0 in z
0.502 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z
0.502 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z
0.502 * [taylor]: Taking taylor expansion of x in z
0.502 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z
0.502 * [taylor]: Taking taylor expansion of z in z
0.502 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z
0.502 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.502 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in z
0.502 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.502 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of x in z
0.502 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in z
0.502 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in z
0.502 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of x in z
0.502 * [taylor]: Taking taylor expansion of 2 in z
0.502 * [taylor]: Taking taylor expansion of y in z
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y
0.503 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y
0.503 * [taylor]: Taking taylor expansion of z in y
0.503 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.503 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.503 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.503 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.503 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.503 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.503 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of 2 in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.504 * [taylor]: Taking taylor expansion of -1 in x
0.504 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.504 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.504 * [taylor]: Taking taylor expansion of x in x
0.504 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.504 * [taylor]: Taking taylor expansion of z in x
0.504 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.504 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.504 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.504 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.504 * [taylor]: Taking taylor expansion of -1 in x
0.504 * [taylor]: Taking taylor expansion of x in x
0.504 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.504 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.504 * [taylor]: Taking taylor expansion of -1 in x
0.504 * [taylor]: Taking taylor expansion of x in x
0.504 * [taylor]: Taking taylor expansion of 2 in x
0.504 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.505 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.505 * [taylor]: Taking taylor expansion of z in x
0.505 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.505 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.505 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.505 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.505 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.505 * [taylor]: Taking taylor expansion of -1 in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of 2 in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.506 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y
0.506 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y
0.506 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.506 * [taylor]: Taking taylor expansion of 1/2 in y
0.506 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.506 * [taylor]: Taking taylor expansion of z in y
0.506 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.506 * [taylor]: Taking taylor expansion of x in y
0.506 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y
0.506 * [taylor]: Taking taylor expansion of 1/2 in y
0.506 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y
0.506 * [taylor]: Taking taylor expansion of z in y
0.506 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of x in y
0.507 * [taylor]: Taking taylor expansion of y in y
0.507 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z
0.507 * [taylor]: Taking taylor expansion of -1 in z
0.507 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z
0.507 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.507 * [taylor]: Taking taylor expansion of 1/2 in z
0.507 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.507 * [taylor]: Taking taylor expansion of z in z
0.507 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.507 * [taylor]: Taking taylor expansion of x in z
0.507 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z
0.507 * [taylor]: Taking taylor expansion of 1/2 in z
0.507 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z
0.507 * [taylor]: Taking taylor expansion of z in z
0.507 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.507 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.507 * [taylor]: Taking taylor expansion of -1 in z
0.507 * [taylor]: Taking taylor expansion of x in z
0.509 * [taylor]: Taking taylor expansion of 0 in y
0.509 * [taylor]: Taking taylor expansion of 0 in z
0.511 * [taylor]: Taking taylor expansion of 0 in y
0.511 * [taylor]: Taking taylor expansion of 0 in z
0.512 * [taylor]: Taking taylor expansion of 0 in z
0.513 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.513 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) x) in (x y) around 0
0.513 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in y
0.513 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.513 * [taylor]: Taking taylor expansion of (cosh x) in y
0.513 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.513 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.513 * [taylor]: Taking taylor expansion of (exp x) in y
0.513 * [taylor]: Taking taylor expansion of x in y
0.513 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.513 * [taylor]: Taking taylor expansion of (neg x) in y
0.513 * [taylor]: Taking taylor expansion of x in y
0.513 * [taylor]: Taking taylor expansion of 2 in y
0.513 * [taylor]: Taking taylor expansion of y in y
0.513 * [taylor]: Taking taylor expansion of x in y
0.514 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.514 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.514 * [taylor]: Taking taylor expansion of (cosh x) in x
0.514 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.514 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.514 * [taylor]: Taking taylor expansion of (exp x) in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.514 * [taylor]: Taking taylor expansion of (neg x) in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of 2 in x
0.514 * [taylor]: Taking taylor expansion of y in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.514 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.514 * [taylor]: Taking taylor expansion of (cosh x) in x
0.514 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.514 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.514 * [taylor]: Taking taylor expansion of (exp x) in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.514 * [taylor]: Taking taylor expansion of (neg x) in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of 2 in x
0.514 * [taylor]: Taking taylor expansion of y in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of 0 in y
0.515 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.515 * [taylor]: Taking taylor expansion of 1/2 in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.516 * [taylor]: Taking taylor expansion of 0 in y
0.516 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in (x y) around 0
0.516 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in y
0.516 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in y
0.516 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.516 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.516 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.516 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.517 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of 2 in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.517 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.517 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.517 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.517 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.517 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.517 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of 2 in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of y in x
0.518 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.518 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.518 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.518 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.518 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.518 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.518 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of 2 in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of y in x
0.519 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) y) in y
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) in y
0.519 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.519 * [taylor]: Taking taylor expansion of 1/2 in y
0.519 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.519 * [taylor]: Taking taylor expansion of x in y
0.519 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg (/ 1 x)))) in y
0.519 * [taylor]: Taking taylor expansion of 1/2 in y
0.519 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.519 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.519 * [taylor]: Taking taylor expansion of x in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.520 * [taylor]: Taking taylor expansion of 0 in y
0.521 * [taylor]: Taking taylor expansion of 0 in y
0.522 * [taylor]: Taking taylor expansion of 0 in y
0.523 * [approximate]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in (x y) around 0
0.523 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in y
0.523 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in y
0.523 * [taylor]: Taking taylor expansion of x in y
0.523 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.523 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.523 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.523 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.523 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.523 * [taylor]: Taking taylor expansion of -1 in y
0.523 * [taylor]: Taking taylor expansion of x in y
0.523 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.523 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.523 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.523 * [taylor]: Taking taylor expansion of -1 in y
0.523 * [taylor]: Taking taylor expansion of x in y
0.523 * [taylor]: Taking taylor expansion of 2 in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.523 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x
0.523 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x
0.523 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.523 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.523 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.523 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.524 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of 2 in x
0.524 * [taylor]: Taking taylor expansion of y in x
0.524 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x
0.524 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.524 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.524 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.524 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.524 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of 2 in x
0.525 * [taylor]: Taking taylor expansion of y in x
0.525 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y
0.525 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y
0.525 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.525 * [taylor]: Taking taylor expansion of 1/2 in y
0.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.525 * [taylor]: Taking taylor expansion of x in y
0.525 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y
0.525 * [taylor]: Taking taylor expansion of 1/2 in y
0.525 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.525 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.525 * [taylor]: Taking taylor expansion of -1 in y
0.525 * [taylor]: Taking taylor expansion of x in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.526 * [taylor]: Taking taylor expansion of 0 in y
0.527 * [taylor]: Taking taylor expansion of 0 in y
0.528 * [taylor]: Taking taylor expansion of 0 in y
0.529 * * * [progress]: simplifying candidates
0.530 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (cosh x)) (- (log y) (log x))) (log z))
  (- (+ (log (cosh x)) (log (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (log (/ (* (cosh x) (/ y x)) z))
  (exp (/ (* (cosh x) (/ y x)) z))
  (/ (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x))) (* (* z z) z))
  (/ (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x))) (* (* z z) z))
  (/ (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x))) (* (* z z) z))
  (* (cbrt (/ (* (cosh x) (/ y x)) z)) (cbrt (/ (* (cosh x) (/ y x)) z)))
  (cbrt (/ (* (cosh x) (/ y x)) z))
  (* (* (/ (* (cosh x) (/ y x)) z) (/ (* (cosh x) (/ y x)) z)) (/ (* (cosh x) (/ y x)) z))
  (sqrt (/ (* (cosh x) (/ y x)) z))
  (sqrt (/ (* (cosh x) (/ y x)) z))
  (neg (* (cosh x) (/ y x)))
  (neg z)
  (/ (cosh x) (* (cbrt z) (cbrt z)))
  (/ (/ y x) (cbrt z))
  (/ (cosh x) (sqrt z))
  (/ (/ y x) (sqrt z))
  (/ (cosh x) 1)
  (/ (/ y x) z)
  (/ 1 z)
  (/ z (* (cosh x) (/ y x)))
  (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (* (cosh x) (/ y x)) (sqrt z))
  (/ (* (cosh x) (/ y x)) 1)
  (/ z (/ y x))
  (* z (* 2 x))
  (* z x)
  (* z 2)
  (* (cosh x) (/ y x))
  (+ (log (cosh x)) (- (log y) (log x)))
  (+ (log (cosh x)) (log (/ y x)))
  (log (* (cosh x) (/ y x)))
  (exp (* (cosh x) (/ y x)))
  (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x)))
  (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x))))
  (cbrt (* (cosh x) (/ y x)))
  (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (* (+ (exp x) (exp (neg x))) y)
  (* 2 x)
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* (cosh x) (sqrt (/ y x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) 1))
  (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (/ (sqrt y) 1))
  (* (cosh x) (/ 1 (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ 1 (sqrt x)))
  (* (cosh x) (/ 1 1))
  (* (cosh x) 1)
  (* (cosh x) y)
  (* (cbrt (cosh x)) (/ y x))
  (* (sqrt (cosh x)) (/ y x))
  (* (cosh x) (/ y x))
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) (/ y x))
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) (* z x))
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x))
  (+ (/ y x) (* 1/2 (* x y)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) x)
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) x)
0.534 * * [simplify]: iteration  0 :  338  enodes  (cost  374 )
0.540 * * [simplify]: iteration  1 :  1422  enodes  (cost  317 )
0.566 * * [simplify]: iteration  2 :  5002  enodes  (cost  317 )
0.569 * [simplify]: Simplified to:
   (log (/ (* (cosh x) (/ y x)) z))
  (log (/ (* (cosh x) (/ y x)) z))
  (log (/ (* (cosh x) (/ y x)) z))
  (log (/ (* (cosh x) (/ y x)) z))
  (exp (/ (* (cosh x) (/ y x)) z))
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (* (cbrt (/ (* (cosh x) (/ y x)) z)) (cbrt (/ (* (cosh x) (/ y x)) z)))
  (cbrt (/ (* (cosh x) (/ y x)) z))
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (sqrt (/ (* (cosh x) (/ y x)) z))
  (sqrt (/ (* (cosh x) (/ y x)) z))
  (neg (* (cosh x) (/ y x)))
  (neg z)
  (/ (cosh x) (* (cbrt z) (cbrt z)))
  (/ (/ y x) (cbrt z))
  (/ (cosh x) (sqrt z))
  (/ (/ y x) (sqrt z))
  (cosh x)
  (/ y (* x z))
  (/ 1 z)
  (/ z (* (cosh x) (/ y x)))
  (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (* (cosh x) (/ y x)) (sqrt z))
  (* (cosh x) (/ y x))
  (/ z (/ y x))
  (* z (* 2 x))
  (* z x)
  (* z 2)
  (* (cosh x) (/ y x))
  (log (* (cosh x) (/ y x)))
  (log (* (cosh x) (/ y x)))
  (log (* (cosh x) (/ y x)))
  (exp (* (cosh x) (/ y x)))
  (pow (* (cosh x) (/ y x)) 3)
  (pow (* (cosh x) (/ y x)) 3)
  (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x))))
  (cbrt (* (cosh x) (/ y x)))
  (pow (* (cosh x) (/ y x)) 3)
  (sqrt (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (* (+ (exp x) (exp (neg x))) y)
  (* 2 x)
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* (cosh x) (sqrt (/ y x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* (* (cbrt y) (cbrt y)) (cosh x))
  (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (sqrt y) (sqrt x)))
  (* (sqrt y) (cosh x))
  (/ (cosh x) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (sqrt x))
  (cosh x)
  (cosh x)
  (* (cosh x) y)
  (* (cbrt (cosh x)) (/ y x))
  (* (sqrt (cosh x)) (/ y x))
  (* (cosh x) (/ y x))
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) (/ y x))
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
  (+ (/ y x) (* 1/2 (* x y)))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
0.569 * * * [progress]: adding candidates to table
0.633 * * [progress]: iteration 2 / 4
0.633 * * * [progress]: picking best candidate
0.658 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))>
0.658 * * * [progress]: localizing error
0.669 * * * [progress]: generating rewritten candidates
0.669 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.678 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.688 * * * [progress]: generating series expansions
0.688 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.688 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0
0.688 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z
0.688 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z
0.688 * [taylor]: Taking taylor expansion of (cosh x) in z
0.688 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.688 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in z
0.688 * [taylor]: Taking taylor expansion of (exp x) in z
0.688 * [taylor]: Taking taylor expansion of x in z
0.688 * [taylor]: Taking taylor expansion of (exp (neg x)) in z
0.688 * [taylor]: Taking taylor expansion of (neg x) in z
0.688 * [taylor]: Taking taylor expansion of x in z
0.688 * [taylor]: Taking taylor expansion of 2 in z
0.688 * [taylor]: Taking taylor expansion of y in z
0.688 * [taylor]: Taking taylor expansion of (* x z) in z
0.688 * [taylor]: Taking taylor expansion of x in z
0.688 * [taylor]: Taking taylor expansion of z in z
0.689 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y
0.689 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.689 * [taylor]: Taking taylor expansion of (cosh x) in y
0.689 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.689 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.689 * [taylor]: Taking taylor expansion of (exp x) in y
0.689 * [taylor]: Taking taylor expansion of x in y
0.689 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.689 * [taylor]: Taking taylor expansion of (neg x) in y
0.689 * [taylor]: Taking taylor expansion of x in y
0.689 * [taylor]: Taking taylor expansion of 2 in y
0.689 * [taylor]: Taking taylor expansion of y in y
0.689 * [taylor]: Taking taylor expansion of (* x z) in y
0.689 * [taylor]: Taking taylor expansion of x in y
0.689 * [taylor]: Taking taylor expansion of z in y
0.689 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.689 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.689 * [taylor]: Taking taylor expansion of (cosh x) in x
0.690 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.690 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.690 * [taylor]: Taking taylor expansion of (exp x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.690 * [taylor]: Taking taylor expansion of (neg x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of 2 in x
0.690 * [taylor]: Taking taylor expansion of y in x
0.690 * [taylor]: Taking taylor expansion of (* x z) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of z in x
0.690 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.690 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.690 * [taylor]: Taking taylor expansion of (cosh x) in x
0.690 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.690 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.690 * [taylor]: Taking taylor expansion of (exp x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.690 * [taylor]: Taking taylor expansion of (neg x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of 2 in x
0.690 * [taylor]: Taking taylor expansion of y in x
0.690 * [taylor]: Taking taylor expansion of (* x z) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of z in x
0.690 * [taylor]: Taking taylor expansion of (/ y z) in y
0.690 * [taylor]: Taking taylor expansion of y in y
0.690 * [taylor]: Taking taylor expansion of z in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.690 * [taylor]: Taking taylor expansion of z in z
0.691 * [taylor]: Taking taylor expansion of 0 in y
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y
0.691 * [taylor]: Taking taylor expansion of 1/2 in y
0.691 * [taylor]: Taking taylor expansion of (/ y z) in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of z in y
0.691 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z
0.691 * [taylor]: Taking taylor expansion of 1/2 in z
0.691 * [taylor]: Taking taylor expansion of z in z
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.693 * [taylor]: Taking taylor expansion of 0 in z
0.693 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0
0.693 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z
0.693 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z
0.693 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z
0.693 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.693 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in z
0.693 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.693 * [taylor]: Taking taylor expansion of x in z
0.693 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.693 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.693 * [taylor]: Taking taylor expansion of x in z
0.693 * [taylor]: Taking taylor expansion of 2 in z
0.693 * [taylor]: Taking taylor expansion of (* x z) in z
0.693 * [taylor]: Taking taylor expansion of x in z
0.693 * [taylor]: Taking taylor expansion of z in z
0.693 * [taylor]: Taking taylor expansion of y in z
0.694 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y
0.694 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y
0.694 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.694 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.694 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.694 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.694 * [taylor]: Taking taylor expansion of x in y
0.694 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.694 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.694 * [taylor]: Taking taylor expansion of x in y
0.695 * [taylor]: Taking taylor expansion of 2 in y
0.695 * [taylor]: Taking taylor expansion of (* x z) in y
0.695 * [taylor]: Taking taylor expansion of x in y
0.695 * [taylor]: Taking taylor expansion of z in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.695 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.695 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.695 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.695 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.695 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.695 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of 2 in x
0.695 * [taylor]: Taking taylor expansion of (* x z) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of z in x
0.695 * [taylor]: Taking taylor expansion of y in x
0.696 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.696 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.696 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.696 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.696 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.696 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.696 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of 2 in x
0.696 * [taylor]: Taking taylor expansion of (* x z) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of z in x
0.696 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y
0.697 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y
0.697 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in y
0.697 * [taylor]: Taking taylor expansion of 1/2 in y
0.697 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in y
0.697 * [taylor]: Taking taylor expansion of z in y
0.697 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.697 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.697 * [taylor]: Taking taylor expansion of 1/2 in y
0.697 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.697 * [taylor]: Taking taylor expansion of z in y
0.697 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z
0.698 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in z
0.698 * [taylor]: Taking taylor expansion of 1/2 in z
0.698 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in z
0.698 * [taylor]: Taking taylor expansion of z in z
0.698 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.698 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.698 * [taylor]: Taking taylor expansion of x in z
0.698 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.698 * [taylor]: Taking taylor expansion of 1/2 in z
0.698 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.698 * [taylor]: Taking taylor expansion of z in z
0.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.698 * [taylor]: Taking taylor expansion of x in z
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in z
0.701 * [taylor]: Taking taylor expansion of 0 in y
0.701 * [taylor]: Taking taylor expansion of 0 in z
0.701 * [taylor]: Taking taylor expansion of 0 in z
0.703 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0
0.703 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z
0.703 * [taylor]: Taking taylor expansion of -1 in z
0.703 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z
0.703 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z
0.703 * [taylor]: Taking taylor expansion of x in z
0.703 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z
0.703 * [taylor]: Taking taylor expansion of z in z
0.703 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z
0.703 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.703 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in z
0.703 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.703 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.703 * [taylor]: Taking taylor expansion of -1 in z
0.703 * [taylor]: Taking taylor expansion of x in z
0.703 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in z
0.703 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in z
0.703 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.703 * [taylor]: Taking taylor expansion of -1 in z
0.703 * [taylor]: Taking taylor expansion of x in z
0.703 * [taylor]: Taking taylor expansion of 2 in z
0.703 * [taylor]: Taking taylor expansion of y in z
0.704 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y
0.704 * [taylor]: Taking taylor expansion of -1 in y
0.704 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y
0.704 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y
0.704 * [taylor]: Taking taylor expansion of x in y
0.704 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y
0.704 * [taylor]: Taking taylor expansion of z in y
0.704 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.704 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.704 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.704 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.704 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.704 * [taylor]: Taking taylor expansion of -1 in y
0.704 * [taylor]: Taking taylor expansion of x in y
0.704 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.704 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.704 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.704 * [taylor]: Taking taylor expansion of -1 in y
0.704 * [taylor]: Taking taylor expansion of x in y
0.704 * [taylor]: Taking taylor expansion of 2 in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.705 * [taylor]: Taking taylor expansion of -1 in x
0.705 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.705 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.705 * [taylor]: Taking taylor expansion of z in x
0.705 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.705 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.705 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.705 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.705 * [taylor]: Taking taylor expansion of -1 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.705 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.705 * [taylor]: Taking taylor expansion of -1 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of 2 in x
0.705 * [taylor]: Taking taylor expansion of y in x
0.706 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.706 * [taylor]: Taking taylor expansion of -1 in x
0.706 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.706 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.706 * [taylor]: Taking taylor expansion of z in x
0.706 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.706 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.706 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.706 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.706 * [taylor]: Taking taylor expansion of -1 in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.707 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.707 * [taylor]: Taking taylor expansion of -1 in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of 2 in x
0.707 * [taylor]: Taking taylor expansion of y in x
0.708 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y
0.708 * [taylor]: Taking taylor expansion of -1 in y
0.708 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y
0.708 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y
0.708 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.708 * [taylor]: Taking taylor expansion of 1/2 in y
0.708 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.708 * [taylor]: Taking taylor expansion of z in y
0.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.708 * [taylor]: Taking taylor expansion of x in y
0.708 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y
0.708 * [taylor]: Taking taylor expansion of 1/2 in y
0.708 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y
0.708 * [taylor]: Taking taylor expansion of z in y
0.708 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.708 * [taylor]: Taking taylor expansion of -1 in y
0.708 * [taylor]: Taking taylor expansion of x in y
0.708 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z
0.709 * [taylor]: Taking taylor expansion of -1 in z
0.709 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z
0.709 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.709 * [taylor]: Taking taylor expansion of 1/2 in z
0.709 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.709 * [taylor]: Taking taylor expansion of z in z
0.709 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.709 * [taylor]: Taking taylor expansion of x in z
0.709 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z
0.709 * [taylor]: Taking taylor expansion of 1/2 in z
0.709 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z
0.709 * [taylor]: Taking taylor expansion of z in z
0.709 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.709 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.709 * [taylor]: Taking taylor expansion of -1 in z
0.709 * [taylor]: Taking taylor expansion of x in z
0.711 * [taylor]: Taking taylor expansion of 0 in y
0.711 * [taylor]: Taking taylor expansion of 0 in z
0.713 * [taylor]: Taking taylor expansion of 0 in y
0.713 * [taylor]: Taking taylor expansion of 0 in z
0.714 * [taylor]: Taking taylor expansion of 0 in z
0.715 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.715 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) x) in (x y) around 0
0.715 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in y
0.715 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.715 * [taylor]: Taking taylor expansion of (cosh x) in y
0.715 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.715 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.715 * [taylor]: Taking taylor expansion of (exp x) in y
0.715 * [taylor]: Taking taylor expansion of x in y
0.715 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.715 * [taylor]: Taking taylor expansion of (neg x) in y
0.715 * [taylor]: Taking taylor expansion of x in y
0.715 * [taylor]: Taking taylor expansion of 2 in y
0.715 * [taylor]: Taking taylor expansion of y in y
0.715 * [taylor]: Taking taylor expansion of x in y
0.716 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.716 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.716 * [taylor]: Taking taylor expansion of (cosh x) in x
0.716 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.716 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.716 * [taylor]: Taking taylor expansion of (exp x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.716 * [taylor]: Taking taylor expansion of (neg x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of 2 in x
0.716 * [taylor]: Taking taylor expansion of y in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.716 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.716 * [taylor]: Taking taylor expansion of (cosh x) in x
0.716 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.716 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.716 * [taylor]: Taking taylor expansion of (exp x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.716 * [taylor]: Taking taylor expansion of (neg x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of 2 in x
0.716 * [taylor]: Taking taylor expansion of y in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * [taylor]: Taking taylor expansion of y in y
0.717 * [taylor]: Taking taylor expansion of 0 in y
0.717 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.717 * [taylor]: Taking taylor expansion of 1/2 in y
0.717 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of 0 in y
0.718 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in (x y) around 0
0.718 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in y
0.718 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in y
0.718 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.718 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.718 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.718 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.718 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of 2 in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.719 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.719 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.719 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.719 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.719 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.719 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.719 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of 2 in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of y in x
0.719 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.719 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.719 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.719 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.719 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.719 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.720 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of 2 in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of y in x
0.720 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) y) in y
0.720 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) in y
0.720 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.720 * [taylor]: Taking taylor expansion of 1/2 in y
0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.720 * [taylor]: Taking taylor expansion of x in y
0.720 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg (/ 1 x)))) in y
0.720 * [taylor]: Taking taylor expansion of 1/2 in y
0.720 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.720 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.720 * [taylor]: Taking taylor expansion of x in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of 0 in y
0.722 * [taylor]: Taking taylor expansion of 0 in y
0.723 * [taylor]: Taking taylor expansion of 0 in y
0.724 * [approximate]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in (x y) around 0
0.724 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in y
0.724 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in y
0.724 * [taylor]: Taking taylor expansion of x in y
0.724 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.724 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.724 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.724 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.724 * [taylor]: Taking taylor expansion of -1 in y
0.724 * [taylor]: Taking taylor expansion of x in y
0.724 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.724 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.724 * [taylor]: Taking taylor expansion of -1 in y
0.724 * [taylor]: Taking taylor expansion of x in y
0.725 * [taylor]: Taking taylor expansion of 2 in y
0.725 * [taylor]: Taking taylor expansion of y in y
0.725 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x
0.725 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.725 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.725 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.725 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of 2 in x
0.725 * [taylor]: Taking taylor expansion of y in x
0.726 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x
0.726 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x
0.726 * [taylor]: Taking taylor expansion of x in x
0.726 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.726 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.726 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.726 * [taylor]: Taking taylor expansion of -1 in x
0.726 * [taylor]: Taking taylor expansion of x in x
0.726 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.726 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.726 * [taylor]: Taking taylor expansion of -1 in x
0.726 * [taylor]: Taking taylor expansion of x in x
0.726 * [taylor]: Taking taylor expansion of 2 in x
0.726 * [taylor]: Taking taylor expansion of y in x
0.726 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y
0.726 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y
0.726 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.726 * [taylor]: Taking taylor expansion of 1/2 in y
0.726 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.727 * [taylor]: Taking taylor expansion of x in y
0.727 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y
0.727 * [taylor]: Taking taylor expansion of 1/2 in y
0.727 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.727 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.727 * [taylor]: Taking taylor expansion of -1 in y
0.727 * [taylor]: Taking taylor expansion of x in y
0.727 * [taylor]: Taking taylor expansion of y in y
0.727 * [taylor]: Taking taylor expansion of 0 in y
0.728 * [taylor]: Taking taylor expansion of 0 in y
0.729 * [taylor]: Taking taylor expansion of 0 in y
0.730 * * * [progress]: simplifying candidates
0.731 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cosh x) (/ y x)) (/ 1 z))
  (* (* (cosh x) (/ y x)) (/ 1 z))
  (+ (+ (log (cosh x)) (- (log y) (log x))) (neg (log z)))
  (+ (+ (log (cosh x)) (- (log y) (log x))) (- 0 (log z)))
  (+ (+ (log (cosh x)) (- (log y) (log x))) (- (log 1) (log z)))
  (+ (+ (log (cosh x)) (- (log y) (log x))) (log (/ 1 z)))
  (+ (+ (log (cosh x)) (log (/ y x))) (neg (log z)))
  (+ (+ (log (cosh x)) (log (/ y x))) (- 0 (log z)))
  (+ (+ (log (cosh x)) (log (/ y x))) (- (log 1) (log z)))
  (+ (+ (log (cosh x)) (log (/ y x))) (log (/ 1 z)))
  (+ (log (* (cosh x) (/ y x))) (neg (log z)))
  (+ (log (* (cosh x) (/ y x))) (- 0 (log z)))
  (+ (log (* (cosh x) (/ y x))) (- (log 1) (log z)))
  (+ (log (* (cosh x) (/ y x))) (log (/ 1 z)))
  (log (* (* (cosh x) (/ y x)) (/ 1 z)))
  (exp (* (* (cosh x) (/ y x)) (/ 1 z)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x))) (/ (* (* 1 1) 1) (* (* z z) z)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x))) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x))) (/ (* (* 1 1) 1) (* (* z z) z)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x))) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
  (* (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x))) (/ (* (* 1 1) 1) (* (* z z) z)))
  (* (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x))) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
  (* (cbrt (* (* (cosh x) (/ y x)) (/ 1 z))) (cbrt (* (* (cosh x) (/ y x)) (/ 1 z))))
  (cbrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (* (* (* (* (cosh x) (/ y x)) (/ 1 z)) (* (* (cosh x) (/ y x)) (/ 1 z))) (* (* (cosh x) (/ y x)) (/ 1 z)))
  (sqrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (sqrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (* (* (+ (exp x) (exp (neg x))) y) 1)
  (* (* 2 x) z)
  (* (* (cosh x) y) 1)
  (* x z)
  (* (* (+ (exp x) (exp (neg x))) (/ y x)) 1)
  (* 2 z)
  (* (* (cosh x) (/ y x)) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
  (* (* (cosh x) (/ y x)) (sqrt (/ 1 z)))
  (* (* (cosh x) (/ y x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z))))
  (* (* (cosh x) (/ y x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt z)))
  (* (* (cosh x) (/ y x)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (cosh x) (/ y x)) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (* (* (cosh x) (/ y x)) (/ (sqrt 1) (sqrt z)))
  (* (* (cosh x) (/ y x)) (/ (sqrt 1) 1))
  (* (* (cosh x) (/ y x)) (/ 1 (* (cbrt z) (cbrt z))))
  (* (* (cosh x) (/ y x)) (/ 1 (sqrt z)))
  (* (* (cosh x) (/ y x)) (/ 1 1))
  (* (* (cosh x) (/ y x)) 1)
  (* (* (cosh x) (/ y x)) 1)
  (* (/ y x) (/ 1 z))
  (* (* (cosh x) (/ y x)) 1)
  (* (* (+ (exp x) (exp (neg x))) y) (/ 1 z))
  (* (* (cosh x) y) (/ 1 z))
  (* (* (+ (exp x) (exp (neg x))) (/ y x)) (/ 1 z))
  (* (cosh x) (/ y x))
  (+ (log (cosh x)) (- (log y) (log x)))
  (+ (log (cosh x)) (log (/ y x)))
  (log (* (cosh x) (/ y x)))
  (exp (* (cosh x) (/ y x)))
  (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x)))
  (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x))))
  (cbrt (* (cosh x) (/ y x)))
  (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (* (+ (exp x) (exp (neg x))) y)
  (* 2 x)
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* (cosh x) (sqrt (/ y x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) 1))
  (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (/ (sqrt y) 1))
  (* (cosh x) (/ 1 (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ 1 (sqrt x)))
  (* (cosh x) (/ 1 1))
  (* (cosh x) 1)
  (* (cosh x) y)
  (* (cbrt (cosh x)) (/ y x))
  (* (sqrt (cosh x)) (/ y x))
  (* (cosh x) (/ y x))
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) (/ y x))
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) (* z x))
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x))
  (+ (/ y x) (* 1/2 (* x y)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) x)
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) x)
0.737 * * [simplify]: iteration  0 :  508  enodes  (cost  578 )
0.746 * * [simplify]: iteration  1 :  2430  enodes  (cost  472 )
0.782 * * [simplify]: iteration  2 :  5002  enodes  (cost  443 )
0.785 * [simplify]: Simplified to:
   (/ (* (cosh x) (/ y x)) z)
  (/ (* (cosh x) (/ y x)) z)
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (- (log (* (cosh x) (/ y x))) (log z))
  (pow (exp (/ (/ y x) z)) (cosh x))
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (* (cbrt (* (* (cosh x) (/ y x)) (/ 1 z))) (cbrt (* (* (cosh x) (/ y x)) (/ 1 z))))
  (cbrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (pow (/ (* (cosh x) (/ y x)) z) 3)
  (sqrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (sqrt (* (* (cosh x) (/ y x)) (/ 1 z)))
  (* (+ (exp x) (exp (neg x))) y)
  (* (* 2 x) z)
  (* (cosh x) y)
  (* x z)
  (* (+ (exp x) (exp (neg x))) (/ y x))
  (* 2 z)
  (* (* (cosh x) (/ y x)) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
  (* (* (cosh x) (/ y x)) (sqrt (/ 1 z)))
  (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (* (cosh x) (/ y x)) (sqrt z))
  (* (cosh x) (/ y x))
  (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (* (cosh x) (/ y x)) (sqrt z))
  (* (cosh x) (/ y x))
  (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (* (cosh x) (/ y x)) (sqrt z))
  (* (cosh x) (/ y x))
  (* (cosh x) (/ y x))
  (* (cosh x) (/ y x))
  (/ (/ y x) z)
  (* (cosh x) (/ y x))
  (/ (* (+ (exp x) (exp (neg x))) y) z)
  (/ (* (cosh x) y) z)
  (/ (* (+ (exp x) (exp (neg x))) (/ y x)) z)
  (* (cosh x) (/ y x))
  (log (* (cosh x) (/ y x)))
  (log (* (cosh x) (/ y x)))
  (log (* (cosh x) (/ y x)))
  (exp (* (cosh x) (/ y x)))
  (pow (* (cosh x) (/ y x)) 3)
  (pow (* (cosh x) (/ y x)) 3)
  (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x))))
  (cbrt (* (cosh x) (/ y x)))
  (pow (* (cosh x) (/ y x)) 3)
  (sqrt (* (cosh x) (/ y x)))
  (sqrt (* (cosh x) (/ y x)))
  (* (+ (exp x) (exp (neg x))) y)
  (* 2 x)
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* (cosh x) (sqrt (/ y x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* (* (cbrt y) (cbrt y)) (cosh x))
  (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (sqrt y) (sqrt x)))
  (* (sqrt y) (cosh x))
  (/ (cosh x) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (sqrt x))
  (cosh x)
  (cosh x)
  (* (cosh x) y)
  (* (cbrt (cosh x)) (/ y x))
  (* (sqrt (cosh x)) (/ y x))
  (* (cosh x) (/ y x))
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) (/ y x))
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* (cosh x) (/ y x)) z)
  (/ (* (cosh x) (/ y x)) z)
  (+ (/ y x) (* 1/2 (* x y)))
  (* (cosh x) (/ y x))
  (* (cosh x) (/ y x))
0.785 * * * [progress]: adding candidates to table
0.850 * * [progress]: iteration 3 / 4
0.850 * * * [progress]: picking best candidate
0.873 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))>
0.873 * * * [progress]: localizing error
0.881 * * * [progress]: generating rewritten candidates
0.881 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.889 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.897 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.903 * * * [progress]: generating series expansions
0.904 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.904 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0
0.904 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z
0.904 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z
0.904 * [taylor]: Taking taylor expansion of (cosh x) in z
0.904 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.904 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in z
0.904 * [taylor]: Taking taylor expansion of (exp x) in z
0.904 * [taylor]: Taking taylor expansion of x in z
0.904 * [taylor]: Taking taylor expansion of (exp (neg x)) in z
0.904 * [taylor]: Taking taylor expansion of (neg x) in z
0.904 * [taylor]: Taking taylor expansion of x in z
0.904 * [taylor]: Taking taylor expansion of 2 in z
0.904 * [taylor]: Taking taylor expansion of y in z
0.904 * [taylor]: Taking taylor expansion of (* x z) in z
0.904 * [taylor]: Taking taylor expansion of x in z
0.904 * [taylor]: Taking taylor expansion of z in z
0.904 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y
0.904 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.904 * [taylor]: Taking taylor expansion of (cosh x) in y
0.904 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.904 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.904 * [taylor]: Taking taylor expansion of (exp x) in y
0.904 * [taylor]: Taking taylor expansion of x in y
0.904 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.905 * [taylor]: Taking taylor expansion of (neg x) in y
0.905 * [taylor]: Taking taylor expansion of x in y
0.905 * [taylor]: Taking taylor expansion of 2 in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.905 * [taylor]: Taking taylor expansion of (* x z) in y
0.905 * [taylor]: Taking taylor expansion of x in y
0.905 * [taylor]: Taking taylor expansion of z in y
0.905 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.905 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.905 * [taylor]: Taking taylor expansion of (cosh x) in x
0.905 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.905 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.905 * [taylor]: Taking taylor expansion of (exp x) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.905 * [taylor]: Taking taylor expansion of (neg x) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of 2 in x
0.905 * [taylor]: Taking taylor expansion of y in x
0.905 * [taylor]: Taking taylor expansion of (* x z) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of z in x
0.906 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
0.906 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.906 * [taylor]: Taking taylor expansion of (cosh x) in x
0.906 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.906 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.906 * [taylor]: Taking taylor expansion of (exp x) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.906 * [taylor]: Taking taylor expansion of (neg x) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of 2 in x
0.906 * [taylor]: Taking taylor expansion of y in x
0.906 * [taylor]: Taking taylor expansion of (* x z) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of z in x
0.906 * [taylor]: Taking taylor expansion of (/ y z) in y
0.906 * [taylor]: Taking taylor expansion of y in y
0.906 * [taylor]: Taking taylor expansion of z in y
0.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.906 * [taylor]: Taking taylor expansion of z in z
0.906 * [taylor]: Taking taylor expansion of 0 in y
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y
0.907 * [taylor]: Taking taylor expansion of 1/2 in y
0.907 * [taylor]: Taking taylor expansion of (/ y z) in y
0.907 * [taylor]: Taking taylor expansion of y in y
0.907 * [taylor]: Taking taylor expansion of z in y
0.907 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z
0.907 * [taylor]: Taking taylor expansion of 1/2 in z
0.907 * [taylor]: Taking taylor expansion of z in z
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [taylor]: Taking taylor expansion of 0 in y
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0
0.909 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z
0.909 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z
0.909 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z
0.909 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.909 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in z
0.909 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.909 * [taylor]: Taking taylor expansion of x in z
0.909 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.909 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.909 * [taylor]: Taking taylor expansion of x in z
0.909 * [taylor]: Taking taylor expansion of 2 in z
0.909 * [taylor]: Taking taylor expansion of (* x z) in z
0.909 * [taylor]: Taking taylor expansion of x in z
0.909 * [taylor]: Taking taylor expansion of z in z
0.909 * [taylor]: Taking taylor expansion of y in z
0.910 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y
0.910 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y
0.910 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.910 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.910 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.910 * [taylor]: Taking taylor expansion of x in y
0.910 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.910 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.910 * [taylor]: Taking taylor expansion of x in y
0.910 * [taylor]: Taking taylor expansion of 2 in y
0.910 * [taylor]: Taking taylor expansion of (* x z) in y
0.910 * [taylor]: Taking taylor expansion of x in y
0.910 * [taylor]: Taking taylor expansion of z in y
0.910 * [taylor]: Taking taylor expansion of y in y
0.910 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.911 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.911 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.911 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.911 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.911 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.911 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of 2 in x
0.911 * [taylor]: Taking taylor expansion of (* x z) in x
0.911 * [taylor]: Taking taylor expansion of x in x
0.911 * [taylor]: Taking taylor expansion of z in x
0.911 * [taylor]: Taking taylor expansion of y in x
0.911 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
0.911 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
0.911 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.912 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.912 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.912 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of 2 in x
0.912 * [taylor]: Taking taylor expansion of (* x z) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of z in x
0.912 * [taylor]: Taking taylor expansion of y in x
0.912 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y
0.912 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y
0.912 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in y
0.912 * [taylor]: Taking taylor expansion of 1/2 in y
0.912 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in y
0.912 * [taylor]: Taking taylor expansion of z in y
0.912 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.912 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.913 * [taylor]: Taking taylor expansion of x in y
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.913 * [taylor]: Taking taylor expansion of 1/2 in y
0.913 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.913 * [taylor]: Taking taylor expansion of z in y
0.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.913 * [taylor]: Taking taylor expansion of x in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.913 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in z
0.913 * [taylor]: Taking taylor expansion of 1/2 in z
0.913 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in z
0.913 * [taylor]: Taking taylor expansion of z in z
0.913 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
0.913 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.913 * [taylor]: Taking taylor expansion of x in z
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.913 * [taylor]: Taking taylor expansion of 1/2 in z
0.913 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.913 * [taylor]: Taking taylor expansion of z in z
0.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.913 * [taylor]: Taking taylor expansion of x in z
0.915 * [taylor]: Taking taylor expansion of 0 in y
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [taylor]: Taking taylor expansion of 0 in y
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.918 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0
0.918 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z
0.918 * [taylor]: Taking taylor expansion of -1 in z
0.918 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z
0.918 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z
0.918 * [taylor]: Taking taylor expansion of x in z
0.918 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z
0.918 * [taylor]: Taking taylor expansion of z in z
0.918 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z
0.918 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.918 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in z
0.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.918 * [taylor]: Taking taylor expansion of -1 in z
0.918 * [taylor]: Taking taylor expansion of x in z
0.918 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in z
0.918 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in z
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.918 * [taylor]: Taking taylor expansion of -1 in z
0.918 * [taylor]: Taking taylor expansion of x in z
0.919 * [taylor]: Taking taylor expansion of 2 in z
0.919 * [taylor]: Taking taylor expansion of y in z
0.919 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y
0.919 * [taylor]: Taking taylor expansion of -1 in y
0.919 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y
0.919 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y
0.919 * [taylor]: Taking taylor expansion of x in y
0.919 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y
0.919 * [taylor]: Taking taylor expansion of z in y
0.920 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.920 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.920 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.920 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of x in y
0.920 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.920 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of x in y
0.920 * [taylor]: Taking taylor expansion of 2 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.920 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.920 * [taylor]: Taking taylor expansion of -1 in x
0.920 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.920 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.920 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.920 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.920 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.920 * [taylor]: Taking taylor expansion of -1 in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.921 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.921 * [taylor]: Taking taylor expansion of -1 in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of 2 in x
0.921 * [taylor]: Taking taylor expansion of y in x
0.921 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x
0.921 * [taylor]: Taking taylor expansion of -1 in x
0.921 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x
0.921 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x
0.921 * [taylor]: Taking taylor expansion of z in x
0.921 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.921 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.921 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.921 * [taylor]: Taking taylor expansion of -1 in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.922 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.922 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.922 * [taylor]: Taking taylor expansion of -1 in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [taylor]: Taking taylor expansion of 2 in x
0.922 * [taylor]: Taking taylor expansion of y in x
0.922 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y
0.922 * [taylor]: Taking taylor expansion of -1 in y
0.922 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y
0.923 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y
0.923 * [taylor]: Taking taylor expansion of 1/2 in y
0.923 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y
0.923 * [taylor]: Taking taylor expansion of z in y
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.923 * [taylor]: Taking taylor expansion of x in y
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y
0.923 * [taylor]: Taking taylor expansion of 1/2 in y
0.923 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y
0.923 * [taylor]: Taking taylor expansion of z in y
0.923 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.923 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.923 * [taylor]: Taking taylor expansion of -1 in y
0.923 * [taylor]: Taking taylor expansion of x in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z
0.923 * [taylor]: Taking taylor expansion of -1 in z
0.923 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
0.923 * [taylor]: Taking taylor expansion of 1/2 in z
0.923 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.923 * [taylor]: Taking taylor expansion of x in z
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z
0.923 * [taylor]: Taking taylor expansion of 1/2 in z
0.924 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
0.924 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.924 * [taylor]: Taking taylor expansion of -1 in z
0.924 * [taylor]: Taking taylor expansion of x in z
0.925 * [taylor]: Taking taylor expansion of 0 in y
0.926 * [taylor]: Taking taylor expansion of 0 in z
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of 0 in z
0.928 * [taylor]: Taking taylor expansion of 0 in z
0.929 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.929 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) x) in (x y) around 0
0.929 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in y
0.929 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.929 * [taylor]: Taking taylor expansion of (cosh x) in y
0.929 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.929 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.929 * [taylor]: Taking taylor expansion of (exp x) in y
0.929 * [taylor]: Taking taylor expansion of x in y
0.929 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.929 * [taylor]: Taking taylor expansion of (neg x) in y
0.929 * [taylor]: Taking taylor expansion of x in y
0.929 * [taylor]: Taking taylor expansion of 2 in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [taylor]: Taking taylor expansion of x in y
0.932 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.932 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.932 * [taylor]: Taking taylor expansion of (cosh x) in x
0.932 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.932 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.932 * [taylor]: Taking taylor expansion of (exp x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.932 * [taylor]: Taking taylor expansion of (neg x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of 2 in x
0.932 * [taylor]: Taking taylor expansion of y in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x
0.932 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.932 * [taylor]: Taking taylor expansion of (cosh x) in x
0.932 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.932 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.932 * [taylor]: Taking taylor expansion of (exp x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.932 * [taylor]: Taking taylor expansion of (neg x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of 2 in x
0.932 * [taylor]: Taking taylor expansion of y in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.933 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.933 * [taylor]: Taking taylor expansion of 1/2 in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.934 * [taylor]: Taking taylor expansion of 0 in y
0.934 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in (x y) around 0
0.934 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in y
0.934 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in y
0.934 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.934 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.934 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.934 * [taylor]: Taking taylor expansion of x in y
0.934 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.934 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.934 * [taylor]: Taking taylor expansion of x in y
0.934 * [taylor]: Taking taylor expansion of 2 in y
0.935 * [taylor]: Taking taylor expansion of x in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.935 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.935 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.935 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.935 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.935 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.935 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of 2 in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x
0.936 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x
0.936 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.936 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.936 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.936 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.936 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of 2 in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) y) in y
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) in y
0.937 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.937 * [taylor]: Taking taylor expansion of 1/2 in y
0.937 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.937 * [taylor]: Taking taylor expansion of x in y
0.937 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg (/ 1 x)))) in y
0.937 * [taylor]: Taking taylor expansion of 1/2 in y
0.937 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.937 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.937 * [taylor]: Taking taylor expansion of x in y
0.937 * [taylor]: Taking taylor expansion of y in y
0.937 * [taylor]: Taking taylor expansion of 0 in y
0.938 * [taylor]: Taking taylor expansion of 0 in y
0.939 * [taylor]: Taking taylor expansion of 0 in y
0.940 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ -1 x)) x) y) in (x y) around 0
0.940 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ -1 x)) x) y) in y
0.940 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in y
0.940 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.940 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.940 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.940 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.941 * [taylor]: Taking taylor expansion of -1 in y
0.941 * [taylor]: Taking taylor expansion of x in y
0.941 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.941 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.941 * [taylor]: Taking taylor expansion of -1 in y
0.941 * [taylor]: Taking taylor expansion of x in y
0.941 * [taylor]: Taking taylor expansion of 2 in y
0.941 * [taylor]: Taking taylor expansion of x in y
0.941 * [taylor]: Taking taylor expansion of y in y
0.941 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ -1 x)) x) y) in x
0.941 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x
0.941 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.941 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.941 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.941 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.941 * [taylor]: Taking taylor expansion of -1 in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.941 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.941 * [taylor]: Taking taylor expansion of -1 in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [taylor]: Taking taylor expansion of 2 in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of y in x
0.942 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ -1 x)) x) y) in x
0.942 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x
0.942 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.942 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.942 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.942 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.942 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.942 * [taylor]: Taking taylor expansion of -1 in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.942 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.942 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.942 * [taylor]: Taking taylor expansion of -1 in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of 2 in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of y in x
0.943 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y
0.943 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y
0.943 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
0.943 * [taylor]: Taking taylor expansion of 1/2 in y
0.943 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.943 * [taylor]: Taking taylor expansion of x in y
0.943 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y
0.943 * [taylor]: Taking taylor expansion of 1/2 in y
0.943 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.943 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.943 * [taylor]: Taking taylor expansion of -1 in y
0.943 * [taylor]: Taking taylor expansion of x in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.944 * [taylor]: Taking taylor expansion of 0 in y
0.944 * [taylor]: Taking taylor expansion of 0 in y
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.946 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.946 * [approximate]: Taking taylor expansion of (* (cosh x) y) in (x y) around 0
0.946 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
0.946 * [taylor]: Taking taylor expansion of (cosh x) in y
0.946 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.946 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
0.946 * [taylor]: Taking taylor expansion of (exp x) in y
0.946 * [taylor]: Taking taylor expansion of x in y
0.947 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
0.947 * [taylor]: Taking taylor expansion of (neg x) in y
0.947 * [taylor]: Taking taylor expansion of x in y
0.947 * [taylor]: Taking taylor expansion of 2 in y
0.947 * [taylor]: Taking taylor expansion of y in y
0.947 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.947 * [taylor]: Taking taylor expansion of (cosh x) in x
0.947 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.947 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.947 * [taylor]: Taking taylor expansion of (exp x) in x
0.947 * [taylor]: Taking taylor expansion of x in x
0.947 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.947 * [taylor]: Taking taylor expansion of (neg x) in x
0.947 * [taylor]: Taking taylor expansion of x in x
0.947 * [taylor]: Taking taylor expansion of 2 in x
0.947 * [taylor]: Taking taylor expansion of y in x
0.947 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
0.947 * [taylor]: Taking taylor expansion of (cosh x) in x
0.947 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
0.947 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.947 * [taylor]: Taking taylor expansion of (exp x) in x
0.947 * [taylor]: Taking taylor expansion of x in x
0.947 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.947 * [taylor]: Taking taylor expansion of (neg x) in x
0.947 * [taylor]: Taking taylor expansion of x in x
0.947 * [taylor]: Taking taylor expansion of 2 in x
0.947 * [taylor]: Taking taylor expansion of y in x
0.947 * [taylor]: Taking taylor expansion of y in y
0.947 * [taylor]: Taking taylor expansion of 0 in y
0.948 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.948 * [taylor]: Taking taylor expansion of 1/2 in y
0.948 * [taylor]: Taking taylor expansion of y in y
0.948 * [taylor]: Taking taylor expansion of 0 in y
0.949 * [taylor]: Taking taylor expansion of (* 1/24 y) in y
0.949 * [taylor]: Taking taylor expansion of 1/24 in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.950 * [approximate]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in (x y) around 0
0.950 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in y
0.950 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
0.950 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.950 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.950 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.950 * [taylor]: Taking taylor expansion of x in y
0.950 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.950 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.950 * [taylor]: Taking taylor expansion of x in y
0.950 * [taylor]: Taking taylor expansion of 2 in y
0.950 * [taylor]: Taking taylor expansion of y in y
0.950 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x
0.950 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.950 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.950 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.950 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.950 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.950 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.950 * [taylor]: Taking taylor expansion of 2 in x
0.951 * [taylor]: Taking taylor expansion of y in x
0.951 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x
0.951 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
0.951 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
0.951 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.951 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.951 * [taylor]: Taking taylor expansion of x in x
0.951 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.951 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.951 * [taylor]: Taking taylor expansion of x in x
0.951 * [taylor]: Taking taylor expansion of 2 in x
0.951 * [taylor]: Taking taylor expansion of y in x
0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y)) in y
0.951 * [taylor]: Taking taylor expansion of 1/2 in y
0.951 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) y) in y
0.951 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
0.951 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.951 * [taylor]: Taking taylor expansion of x in y
0.952 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
0.952 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.952 * [taylor]: Taking taylor expansion of x in y
0.952 * [taylor]: Taking taylor expansion of y in y
0.952 * [taylor]: Taking taylor expansion of 0 in y
0.953 * [taylor]: Taking taylor expansion of 0 in y
0.954 * [taylor]: Taking taylor expansion of 0 in y
0.955 * [approximate]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in (x y) around 0
0.955 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in y
0.955 * [taylor]: Taking taylor expansion of -1 in y
0.955 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in y
0.955 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
0.955 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.955 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
0.955 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.955 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.955 * [taylor]: Taking taylor expansion of -1 in y
0.955 * [taylor]: Taking taylor expansion of x in y
0.955 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
0.955 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
0.955 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.955 * [taylor]: Taking taylor expansion of -1 in y
0.955 * [taylor]: Taking taylor expansion of x in y
0.955 * [taylor]: Taking taylor expansion of 2 in y
0.956 * [taylor]: Taking taylor expansion of y in y
0.956 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.956 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x
0.956 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.956 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.956 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.956 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.956 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.956 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.956 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of 2 in x
0.956 * [taylor]: Taking taylor expansion of y in x
0.956 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.956 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x
0.956 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
0.956 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
0.956 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.956 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.956 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.956 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.956 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.957 * [taylor]: Taking taylor expansion of -1 in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of 2 in x
0.957 * [taylor]: Taking taylor expansion of y in x
0.957 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y
0.957 * [taylor]: Taking taylor expansion of -1/2 in y
0.957 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y
0.957 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
0.957 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.957 * [taylor]: Taking taylor expansion of x in y
0.957 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.957 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.957 * [taylor]: Taking taylor expansion of -1 in y
0.957 * [taylor]: Taking taylor expansion of x in y
0.957 * [taylor]: Taking taylor expansion of y in y
0.958 * [taylor]: Taking taylor expansion of 0 in y
0.958 * [taylor]: Taking taylor expansion of 0 in y
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.960 * * * [progress]: simplifying candidates
0.961 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (+ (log (cosh x)) (log y)) (neg (log x))) (log z))
  (- (+ (+ (log (cosh x)) (log y)) (- 0 (log x))) (log z))
  (- (+ (+ (log (cosh x)) (log y)) (- (log 1) (log x))) (log z))
  (- (+ (+ (log (cosh x)) (log y)) (log (/ 1 x))) (log z))
  (- (+ (log (* (cosh x) y)) (neg (log x))) (log z))
  (- (+ (log (* (cosh x) y)) (- 0 (log x))) (log z))
  (- (+ (log (* (cosh x) y)) (- (log 1) (log x))) (log z))
  (- (+ (log (* (cosh x) y)) (log (/ 1 x))) (log z))
  (- (log (* (* (cosh x) y) (/ 1 x))) (log z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (exp (/ (* (* (cosh x) y) (/ 1 x)) z))
  (/ (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* x x) x))) (* (* z z) z))
  (/ (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) (* (* z z) z))
  (/ (* (* (* (* (cosh x) y) (* (cosh x) y)) (* (cosh x) y)) (/ (* (* 1 1) 1) (* (* x x) x))) (* (* z z) z))
  (/ (* (* (* (* (cosh x) y) (* (cosh x) y)) (* (cosh x) y)) (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) (* (* z z) z))
  (/ (* (* (* (* (cosh x) y) (/ 1 x)) (* (* (cosh x) y) (/ 1 x))) (* (* (cosh x) y) (/ 1 x))) (* (* z z) z))
  (* (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z)) (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z)))
  (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (* (* (/ (* (* (cosh x) y) (/ 1 x)) z) (/ (* (* (cosh x) y) (/ 1 x)) z)) (/ (* (* (cosh x) y) (/ 1 x)) z))
  (sqrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (sqrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (neg (* (* (cosh x) y) (/ 1 x)))
  (neg z)
  (/ (* (cosh x) y) (* (cbrt z) (cbrt z)))
  (/ (/ 1 x) (cbrt z))
  (/ (* (cosh x) y) (sqrt z))
  (/ (/ 1 x) (sqrt z))
  (/ (* (cosh x) y) 1)
  (/ (/ 1 x) z)
  (/ 1 z)
  (/ z (* (* (cosh x) y) (/ 1 x)))
  (/ (* (* (cosh x) y) (/ 1 x)) (* (cbrt z) (cbrt z)))
  (/ (* (* (cosh x) y) (/ 1 x)) (sqrt z))
  (/ (* (* (cosh x) y) (/ 1 x)) 1)
  (/ z (/ 1 x))
  (* z (* 2 x))
  (* z x)
  (* z x)
  (* z 2)
  (* (* (cosh x) y) (/ 1 x))
  (* (* (cosh x) y) (/ 1 x))
  (+ (+ (log (cosh x)) (log y)) (neg (log x)))
  (+ (+ (log (cosh x)) (log y)) (- 0 (log x)))
  (+ (+ (log (cosh x)) (log y)) (- (log 1) (log x)))
  (+ (+ (log (cosh x)) (log y)) (log (/ 1 x)))
  (+ (log (* (cosh x) y)) (neg (log x)))
  (+ (log (* (cosh x) y)) (- 0 (log x)))
  (+ (log (* (cosh x) y)) (- (log 1) (log x)))
  (+ (log (* (cosh x) y)) (log (/ 1 x)))
  (log (* (* (cosh x) y) (/ 1 x)))
  (exp (* (* (cosh x) y) (/ 1 x)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* x x) x)))
  (* (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y)) (* (* (/ 1 x) (/ 1 x)) (/ 1 x)))
  (* (* (* (* (cosh x) y) (* (cosh x) y)) (* (cosh x) y)) (/ (* (* 1 1) 1) (* (* x x) x)))
  (* (* (* (* (cosh x) y) (* (cosh x) y)) (* (cosh x) y)) (* (* (/ 1 x) (/ 1 x)) (/ 1 x)))
  (* (cbrt (* (* (cosh x) y) (/ 1 x))) (cbrt (* (* (cosh x) y) (/ 1 x))))
  (cbrt (* (* (cosh x) y) (/ 1 x)))
  (* (* (* (* (cosh x) y) (/ 1 x)) (* (* (cosh x) y) (/ 1 x))) (* (* (cosh x) y) (/ 1 x)))
  (sqrt (* (* (cosh x) y) (/ 1 x)))
  (sqrt (* (* (cosh x) y) (/ 1 x)))
  (* (* (+ (exp x) (exp (neg x))) y) 1)
  (* 2 x)
  (* (* (cosh x) y) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
  (* (* (cosh x) y) (sqrt (/ 1 x)))
  (* (* (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))
  (* (* (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) (sqrt x)))
  (* (* (cosh x) y) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (cosh x) y) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (* (cosh x) y) (/ (sqrt 1) (sqrt x)))
  (* (* (cosh x) y) (/ (sqrt 1) 1))
  (* (* (cosh x) y) (/ 1 (* (cbrt x) (cbrt x))))
  (* (* (cosh x) y) (/ 1 (sqrt x)))
  (* (* (cosh x) y) (/ 1 1))
  (* (* (cosh x) y) 1)
  (* (* (cosh x) y) 1)
  (* y (/ 1 x))
  (* (* (cosh x) y) 1)
  (* (* (+ (exp x) (exp (neg x))) y) (/ 1 x))
  (* (cosh x) y)
  (+ (log (cosh x)) (log y))
  (log (* (cosh x) y))
  (exp (* (cosh x) y))
  (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* y y) y))
  (* (cbrt (* (cosh x) y)) (cbrt (* (cosh x) y)))
  (cbrt (* (cosh x) y))
  (* (* (* (cosh x) y) (* (cosh x) y)) (* (cosh x) y))
  (sqrt (* (cosh x) y))
  (sqrt (* (cosh x) y))
  (* (sqrt (cosh x)) (sqrt y))
  (* (sqrt (cosh x)) (sqrt y))
  (* (cosh x) (* (cbrt y) (cbrt y)))
  (* (cosh x) (sqrt y))
  (* (cosh x) 1)
  (* (cbrt (cosh x)) y)
  (* (sqrt (cosh x)) y)
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) y)
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) (* z x))
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x))
  (+ (/ y x) (* 1/2 (* x y)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) x)
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) x)
  (+ (* 1/2 (* (pow x 2) y)) y)
  (* 1/2 (* (+ (exp (neg x)) (exp x)) y))
  (* 1/2 (* y (+ (exp (* -1 x)) (exp x))))
0.967 * * [simplify]: iteration  0 :  517  enodes  (cost  611 )
0.977 * * [simplify]: iteration  1 :  2686  enodes  (cost  476 )
1.020 * * [simplify]: iteration  2 :  5002  enodes  (cost  462 )
1.023 * [simplify]: Simplified to:
   (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (log (/ (* (* (cosh x) y) (/ 1 x)) z))
  (pow (exp (/ y z)) (/ (cosh x) x))
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (* (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z)) (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z)))
  (cbrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (pow (/ (* (* (cosh x) y) (/ 1 x)) z) 3)
  (sqrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (sqrt (/ (* (* (cosh x) y) (/ 1 x)) z))
  (/ (neg (* (cosh x) y)) x)
  (neg z)
  (/ (* (cosh x) y) (* (cbrt z) (cbrt z)))
  (/ (/ 1 x) (cbrt z))
  (/ (* (cosh x) y) (sqrt z))
  (/ (/ 1 x) (sqrt z))
  (* (cosh x) y)
  (/ (/ 1 x) z)
  (/ 1 z)
  (* (/ z (* (cosh x) y)) x)
  (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z))
  (/ (* (cosh x) y) (* (sqrt z) x))
  (/ (* (cosh x) y) x)
  (* x z)
  (* z (* 2 x))
  (* x z)
  (* x z)
  (* z 2)
  (/ (* (cosh x) y) x)
  (/ (* (cosh x) y) x)
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (log (/ (* (cosh x) y) x))
  (pow (exp (/ y x)) (cosh x))
  (pow (/ (* (cosh x) y) x) 3)
  (pow (/ (* (cosh x) y) x) 3)
  (pow (/ (* (cosh x) y) x) 3)
  (pow (/ (* (cosh x) y) x) 3)
  (* (cbrt (* (* (cosh x) y) (/ 1 x))) (cbrt (* (* (cosh x) y) (/ 1 x))))
  (cbrt (* (* (cosh x) y) (/ 1 x)))
  (pow (/ (* (cosh x) y) x) 3)
  (sqrt (* (* (cosh x) y) (/ 1 x)))
  (sqrt (* (* (cosh x) y) (/ 1 x)))
  (* (+ (exp x) (exp (neg x))) y)
  (* 2 x)
  (* (* (cosh x) y) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
  (* (* (cosh x) y) (sqrt (/ 1 x)))
  (/ (* (cosh x) y) (* (cbrt x) (cbrt x)))
  (/ (* (cosh x) y) (sqrt x))
  (* (cosh x) y)
  (/ (* (cosh x) y) (* (cbrt x) (cbrt x)))
  (/ (* (cosh x) y) (sqrt x))
  (* (cosh x) y)
  (/ (* (cosh x) y) (* (cbrt x) (cbrt x)))
  (/ (* (cosh x) y) (sqrt x))
  (* (cosh x) y)
  (* (cosh x) y)
  (* (cosh x) y)
  (/ y x)
  (* (cosh x) y)
  (/ (* (+ (exp x) (exp (neg x))) y) x)
  (* (cosh x) y)
  (log (* (cosh x) y))
  (log (* (cosh x) y))
  (exp (* (cosh x) y))
  (pow (* (cosh x) y) 3)
  (* (cbrt (* (cosh x) y)) (cbrt (* (cosh x) y)))
  (cbrt (* (cosh x) y))
  (pow (* (cosh x) y) 3)
  (sqrt (* (cosh x) y))
  (sqrt (* (cosh x) y))
  (* (sqrt (cosh x)) (sqrt y))
  (* (sqrt (cosh x)) (sqrt y))
  (* (cosh x) (* (cbrt y) (cbrt y)))
  (* (cosh x) (sqrt y))
  (cosh x)
  (* (cbrt (cosh x)) y)
  (* (sqrt (cosh x)) y)
  (* (cosh x) y)
  (* (+ (exp x) (exp (neg x))) y)
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
  (+ (/ y x) (* 1/2 (* x y)))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ x y))
  (+ (* 1/2 (* (pow x 2) y)) y)
  (* 1/2 (* (+ (exp (neg x)) (exp x)) y))
  (* 1/2 (* (+ (exp (neg x)) (exp x)) y))
1.024 * * * [progress]: adding candidates to table
1.098 * * [progress]: iteration 4 / 4
1.098 * * * [progress]: picking best candidate
1.118 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))>
1.118 * * * [progress]: localizing error
1.125 * * * [progress]: generating rewritten candidates
1.125 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.130 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.157 * * * [progress]: generating series expansions
1.157 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.157 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (z y x) around 0
1.157 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.157 * [taylor]: Taking taylor expansion of (* x z) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [taylor]: Taking taylor expansion of z in x
1.157 * [taylor]: Taking taylor expansion of y in x
1.157 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
1.157 * [taylor]: Taking taylor expansion of (* x z) in y
1.157 * [taylor]: Taking taylor expansion of x in y
1.157 * [taylor]: Taking taylor expansion of z in y
1.157 * [taylor]: Taking taylor expansion of y in y
1.157 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
1.157 * [taylor]: Taking taylor expansion of (* x z) in z
1.157 * [taylor]: Taking taylor expansion of x in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of y in z
1.158 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
1.158 * [taylor]: Taking taylor expansion of (* x z) in z
1.158 * [taylor]: Taking taylor expansion of x in z
1.158 * [taylor]: Taking taylor expansion of z in z
1.158 * [taylor]: Taking taylor expansion of y in z
1.158 * [taylor]: Taking taylor expansion of (/ x y) in y
1.158 * [taylor]: Taking taylor expansion of x in y
1.158 * [taylor]: Taking taylor expansion of y in y
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of 0 in y
1.158 * [taylor]: Taking taylor expansion of 0 in x
1.158 * [taylor]: Taking taylor expansion of 0 in y
1.158 * [taylor]: Taking taylor expansion of 0 in x
1.158 * [taylor]: Taking taylor expansion of 0 in x
1.158 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (z y x) around 0
1.158 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.158 * [taylor]: Taking taylor expansion of y in x
1.158 * [taylor]: Taking taylor expansion of (* x z) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of z in x
1.159 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.159 * [taylor]: Taking taylor expansion of y in y
1.159 * [taylor]: Taking taylor expansion of (* x z) in y
1.159 * [taylor]: Taking taylor expansion of x in y
1.159 * [taylor]: Taking taylor expansion of z in y
1.159 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.159 * [taylor]: Taking taylor expansion of y in z
1.159 * [taylor]: Taking taylor expansion of (* x z) in z
1.159 * [taylor]: Taking taylor expansion of x in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.159 * [taylor]: Taking taylor expansion of y in z
1.159 * [taylor]: Taking taylor expansion of (* x z) in z
1.159 * [taylor]: Taking taylor expansion of x in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of (/ y x) in y
1.159 * [taylor]: Taking taylor expansion of y in y
1.159 * [taylor]: Taking taylor expansion of x in y
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.159 * [taylor]: Taking taylor expansion of 0 in y
1.159 * [taylor]: Taking taylor expansion of 0 in x
1.159 * [taylor]: Taking taylor expansion of 0 in x
1.159 * [taylor]: Taking taylor expansion of 0 in y
1.159 * [taylor]: Taking taylor expansion of 0 in x
1.159 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [taylor]: Taking taylor expansion of 0 in y
1.160 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [taylor]: Taking taylor expansion of 0 in x
1.160 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (z y x) around 0
1.160 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x
1.160 * [taylor]: Taking taylor expansion of -1 in x
1.160 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.160 * [taylor]: Taking taylor expansion of y in x
1.160 * [taylor]: Taking taylor expansion of (* x z) in x
1.160 * [taylor]: Taking taylor expansion of x in x
1.160 * [taylor]: Taking taylor expansion of z in x
1.160 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y
1.160 * [taylor]: Taking taylor expansion of -1 in y
1.160 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.160 * [taylor]: Taking taylor expansion of (* x z) in y
1.160 * [taylor]: Taking taylor expansion of x in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z
1.161 * [taylor]: Taking taylor expansion of -1 in z
1.161 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.161 * [taylor]: Taking taylor expansion of y in z
1.161 * [taylor]: Taking taylor expansion of (* x z) in z
1.161 * [taylor]: Taking taylor expansion of x in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.161 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z
1.161 * [taylor]: Taking taylor expansion of -1 in z
1.161 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.161 * [taylor]: Taking taylor expansion of y in z
1.161 * [taylor]: Taking taylor expansion of (* x z) in z
1.161 * [taylor]: Taking taylor expansion of x in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.161 * [taylor]: Taking taylor expansion of (* -1 (/ y x)) in y
1.161 * [taylor]: Taking taylor expansion of -1 in y
1.161 * [taylor]: Taking taylor expansion of (/ y x) in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of x in y
1.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.161 * [taylor]: Taking taylor expansion of -1 in x
1.161 * [taylor]: Taking taylor expansion of x in x
1.161 * [taylor]: Taking taylor expansion of 0 in y
1.161 * [taylor]: Taking taylor expansion of 0 in x
1.161 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in y
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in y
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * [taylor]: Taking taylor expansion of 0 in x
1.162 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.162 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x z y) around 0
1.162 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y
1.162 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y
1.162 * [taylor]: Taking taylor expansion of (cosh x) in y
1.163 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
1.163 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in y
1.163 * [taylor]: Taking taylor expansion of (exp x) in y
1.163 * [taylor]: Taking taylor expansion of x in y
1.163 * [taylor]: Taking taylor expansion of (exp (neg x)) in y
1.163 * [taylor]: Taking taylor expansion of (neg x) in y
1.163 * [taylor]: Taking taylor expansion of x in y
1.163 * [taylor]: Taking taylor expansion of 2 in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (* x z) in y
1.163 * [taylor]: Taking taylor expansion of x in y
1.163 * [taylor]: Taking taylor expansion of z in y
1.163 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z
1.163 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z
1.163 * [taylor]: Taking taylor expansion of (cosh x) in z
1.163 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
1.163 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in z
1.163 * [taylor]: Taking taylor expansion of (exp x) in z
1.163 * [taylor]: Taking taylor expansion of x in z
1.163 * [taylor]: Taking taylor expansion of (exp (neg x)) in z
1.163 * [taylor]: Taking taylor expansion of (neg x) in z
1.164 * [taylor]: Taking taylor expansion of x in z
1.164 * [taylor]: Taking taylor expansion of 2 in z
1.164 * [taylor]: Taking taylor expansion of y in z
1.164 * [taylor]: Taking taylor expansion of (* x z) in z
1.164 * [taylor]: Taking taylor expansion of x in z
1.164 * [taylor]: Taking taylor expansion of z in z
1.164 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
1.164 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
1.164 * [taylor]: Taking taylor expansion of (cosh x) in x
1.164 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
1.164 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
1.164 * [taylor]: Taking taylor expansion of (exp x) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.164 * [taylor]: Taking taylor expansion of (neg x) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of 2 in x
1.164 * [taylor]: Taking taylor expansion of y in x
1.164 * [taylor]: Taking taylor expansion of (* x z) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of z in x
1.164 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x
1.164 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x
1.164 * [taylor]: Taking taylor expansion of (cosh x) in x
1.164 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (neg x))) 2)
1.164 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
1.164 * [taylor]: Taking taylor expansion of (exp x) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.164 * [taylor]: Taking taylor expansion of (neg x) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of 2 in x
1.165 * [taylor]: Taking taylor expansion of y in x
1.165 * [taylor]: Taking taylor expansion of (* x z) in x
1.165 * [taylor]: Taking taylor expansion of x in x
1.165 * [taylor]: Taking taylor expansion of z in x
1.165 * [taylor]: Taking taylor expansion of (/ y z) in z
1.165 * [taylor]: Taking taylor expansion of y in z
1.165 * [taylor]: Taking taylor expansion of z in z
1.165 * [taylor]: Taking taylor expansion of y in y
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in z
1.166 * [taylor]: Taking taylor expansion of 1/2 in z
1.166 * [taylor]: Taking taylor expansion of (/ y z) in z
1.166 * [taylor]: Taking taylor expansion of y in z
1.166 * [taylor]: Taking taylor expansion of z in z
1.166 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
1.166 * [taylor]: Taking taylor expansion of 1/2 in y
1.166 * [taylor]: Taking taylor expansion of y in y
1.166 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of 0 in z
1.167 * [taylor]: Taking taylor expansion of 0 in y
1.167 * [taylor]: Taking taylor expansion of 0 in y
1.167 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x z y) around 0
1.167 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y
1.167 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y
1.167 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y
1.167 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
1.167 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in y
1.167 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.167 * [taylor]: Taking taylor expansion of x in y
1.167 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
1.167 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.167 * [taylor]: Taking taylor expansion of x in y
1.167 * [taylor]: Taking taylor expansion of 2 in y
1.167 * [taylor]: Taking taylor expansion of (* x z) in y
1.167 * [taylor]: Taking taylor expansion of x in y
1.167 * [taylor]: Taking taylor expansion of z in y
1.167 * [taylor]: Taking taylor expansion of y in y
1.168 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z
1.168 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z
1.168 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z
1.168 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
1.168 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in z
1.168 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
1.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.168 * [taylor]: Taking taylor expansion of x in z
1.168 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
1.168 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
1.168 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.168 * [taylor]: Taking taylor expansion of x in z
1.168 * [taylor]: Taking taylor expansion of 2 in z
1.168 * [taylor]: Taking taylor expansion of (* x z) in z
1.168 * [taylor]: Taking taylor expansion of x in z
1.168 * [taylor]: Taking taylor expansion of z in z
1.168 * [taylor]: Taking taylor expansion of y in z
1.169 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
1.169 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
1.169 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
1.169 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
1.169 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
1.169 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.169 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of 2 in x
1.169 * [taylor]: Taking taylor expansion of (* x z) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of z in x
1.169 * [taylor]: Taking taylor expansion of y in x
1.170 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x
1.170 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x
1.170 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x
1.170 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2)
1.170 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
1.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.170 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.170 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.170 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of 2 in x
1.170 * [taylor]: Taking taylor expansion of (* x z) in x
1.170 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of z in x
1.170 * [taylor]: Taking taylor expansion of y in x
1.171 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in z
1.171 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (neg (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z
1.171 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (neg (/ 1 x))))) in z
1.171 * [taylor]: Taking taylor expansion of 1/2 in z
1.171 * [taylor]: Taking taylor expansion of (* z (exp (neg (/ 1 x)))) in z
1.171 * [taylor]: Taking taylor expansion of z in z
1.171 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in z
1.171 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z
1.171 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.171 * [taylor]: Taking taylor expansion of x in z
1.171 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
1.171 * [taylor]: Taking taylor expansion of 1/2 in z
1.171 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
1.171 * [taylor]: Taking taylor expansion of z in z
1.171 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
1.171 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.171 * [taylor]: Taking taylor expansion of x in z
1.171 * [taylor]: Taking taylor expansion of y in z
1.172 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) y) in y
1.172 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (neg (/ 1 x))))) in y
1.172 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
1.172 * [taylor]: Taking taylor expansion of 1/2 in y
1.172 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.172 * [taylor]: Taking taylor expansion of x in y
1.172 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg (/ 1 x)))) in y
1.172 * [taylor]: Taking taylor expansion of 1/2 in y
1.172 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in y
1.172 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in y
1.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.172 * [taylor]: Taking taylor expansion of x in y
1.172 * [taylor]: Taking taylor expansion of y in y
1.173 * [taylor]: Taking taylor expansion of 0 in z
1.173 * [taylor]: Taking taylor expansion of 0 in y
1.174 * [taylor]: Taking taylor expansion of 0 in y
1.175 * [taylor]: Taking taylor expansion of 0 in z
1.175 * [taylor]: Taking taylor expansion of 0 in y
1.175 * [taylor]: Taking taylor expansion of 0 in y
1.176 * [taylor]: Taking taylor expansion of 0 in y
1.177 * [taylor]: Taking taylor expansion of 0 in z
1.177 * [taylor]: Taking taylor expansion of 0 in y
1.177 * [taylor]: Taking taylor expansion of 0 in y
1.177 * [taylor]: Taking taylor expansion of 0 in y
1.178 * [taylor]: Taking taylor expansion of 0 in y
1.178 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in (x z y) around 0
1.179 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in y
1.179 * [taylor]: Taking taylor expansion of -1 in y
1.179 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in y
1.179 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in y
1.179 * [taylor]: Taking taylor expansion of z in y
1.179 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in y
1.179 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y
1.179 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
1.179 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in y
1.179 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.179 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.179 * [taylor]: Taking taylor expansion of -1 in y
1.179 * [taylor]: Taking taylor expansion of x in y
1.179 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in y
1.179 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in y
1.179 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.179 * [taylor]: Taking taylor expansion of -1 in y
1.179 * [taylor]: Taking taylor expansion of x in y
1.179 * [taylor]: Taking taylor expansion of 2 in y
1.179 * [taylor]: Taking taylor expansion of x in y
1.179 * [taylor]: Taking taylor expansion of y in y
1.179 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in z
1.179 * [taylor]: Taking taylor expansion of -1 in z
1.179 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in z
1.179 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in z
1.179 * [taylor]: Taking taylor expansion of z in z
1.179 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in z
1.179 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z
1.179 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
1.180 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in z
1.180 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
1.180 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.180 * [taylor]: Taking taylor expansion of -1 in z
1.180 * [taylor]: Taking taylor expansion of x in z
1.180 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in z
1.180 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in z
1.180 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.180 * [taylor]: Taking taylor expansion of -1 in z
1.180 * [taylor]: Taking taylor expansion of x in z
1.180 * [taylor]: Taking taylor expansion of 2 in z
1.180 * [taylor]: Taking taylor expansion of x in z
1.180 * [taylor]: Taking taylor expansion of y in z
1.181 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x
1.181 * [taylor]: Taking taylor expansion of -1 in x
1.181 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x
1.181 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x
1.181 * [taylor]: Taking taylor expansion of z in x
1.181 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x
1.181 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
1.181 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
1.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
1.181 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.181 * [taylor]: Taking taylor expansion of -1 in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
1.181 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.181 * [taylor]: Taking taylor expansion of -1 in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of 2 in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of y in x
1.182 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x
1.182 * [taylor]: Taking taylor expansion of -1 in x
1.182 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x
1.182 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x
1.182 * [taylor]: Taking taylor expansion of z in x
1.182 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x
1.182 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x
1.182 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) 2)
1.182 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
1.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.182 * [taylor]: Taking taylor expansion of -1 in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
1.182 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
1.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.182 * [taylor]: Taking taylor expansion of -1 in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of 2 in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in z
1.183 * [taylor]: Taking taylor expansion of -1 in z
1.183 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in z
1.183 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z
1.183 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z
1.183 * [taylor]: Taking taylor expansion of 1/2 in z
1.183 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z
1.183 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.183 * [taylor]: Taking taylor expansion of x in z
1.183 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z
1.183 * [taylor]: Taking taylor expansion of 1/2 in z
1.183 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z
1.183 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.183 * [taylor]: Taking taylor expansion of -1 in z
1.183 * [taylor]: Taking taylor expansion of x in z
1.183 * [taylor]: Taking taylor expansion of y in z
1.184 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y)) in y
1.184 * [taylor]: Taking taylor expansion of -1 in y
1.184 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y
1.184 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y
1.184 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y
1.184 * [taylor]: Taking taylor expansion of 1/2 in y
1.184 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y
1.184 * [taylor]: Taking taylor expansion of 1/2 in y
1.184 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.184 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.184 * [taylor]: Taking taylor expansion of -1 in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.185 * [taylor]: Taking taylor expansion of 0 in z
1.185 * [taylor]: Taking taylor expansion of 0 in y
1.190 * [taylor]: Taking taylor expansion of 0 in y
1.191 * [taylor]: Taking taylor expansion of 0 in z
1.191 * [taylor]: Taking taylor expansion of 0 in y
1.191 * [taylor]: Taking taylor expansion of 0 in y
1.192 * [taylor]: Taking taylor expansion of 0 in y
1.193 * [taylor]: Taking taylor expansion of 0 in z
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.195 * [taylor]: Taking taylor expansion of 0 in y
1.195 * * * [progress]: simplifying candidates
1.199 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log z) (- (log y) (log x)))
  (- (log z) (log (/ y x)))
  (log (/ z (/ y x)))
  (exp (/ z (/ y x)))
  (/ (* (* z z) z) (/ (* (* y y) y) (* (* x x) x)))
  (/ (* (* z z) z) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x))))
  (cbrt (/ z (/ y x)))
  (* (* (/ z (/ y x)) (/ z (/ y x))) (/ z (/ y x)))
  (sqrt (/ z (/ y x)))
  (sqrt (/ z (/ y x)))
  (neg z)
  (neg (/ y x))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (cbrt z) (cbrt (/ y x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x)))
  (/ (cbrt z) (sqrt (/ y x)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt z) (/ (cbrt y) (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (cbrt z) (/ (cbrt y) (sqrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt z) (/ (cbrt y) x))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (cbrt z) (/ (sqrt y) (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x)))
  (/ (cbrt z) (/ (sqrt y) (sqrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1))
  (/ (cbrt z) (/ (sqrt y) x))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (cbrt z) (/ y (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x)))
  (/ (cbrt z) (/ y (sqrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 1))
  (/ (cbrt z) (/ y x))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (/ y x))
  (/ (* (cbrt z) (cbrt z)) y)
  (/ (cbrt z) (/ 1 x))
  (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (sqrt z) (cbrt (/ y x)))
  (/ (sqrt z) (sqrt (/ y x)))
  (/ (sqrt z) (sqrt (/ y x)))
  (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt z) (/ (cbrt y) (cbrt x)))
  (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (sqrt z) (/ (cbrt y) (sqrt x)))
  (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt z) (/ (cbrt y) x))
  (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (sqrt z) (/ (sqrt y) (cbrt x)))
  (/ (sqrt z) (/ (sqrt y) (sqrt x)))
  (/ (sqrt z) (/ (sqrt y) (sqrt x)))
  (/ (sqrt z) (/ (sqrt y) 1))
  (/ (sqrt z) (/ (sqrt y) x))
  (/ (sqrt z) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (sqrt z) (/ y (cbrt x)))
  (/ (sqrt z) (/ 1 (sqrt x)))
  (/ (sqrt z) (/ y (sqrt x)))
  (/ (sqrt z) (/ 1 1))
  (/ (sqrt z) (/ y x))
  (/ (sqrt z) 1)
  (/ (sqrt z) (/ y x))
  (/ (sqrt z) y)
  (/ (sqrt z) (/ 1 x))
  (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ z (cbrt (/ y x)))
  (/ 1 (sqrt (/ y x)))
  (/ z (sqrt (/ y x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ z (/ (cbrt y) (cbrt x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ z (/ (cbrt y) (sqrt x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ z (/ (cbrt y) x))
  (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ z (/ (sqrt y) (cbrt x)))
  (/ 1 (/ (sqrt y) (sqrt x)))
  (/ z (/ (sqrt y) (sqrt x)))
  (/ 1 (/ (sqrt y) 1))
  (/ z (/ (sqrt y) x))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ z (/ y (cbrt x)))
  (/ 1 (/ 1 (sqrt x)))
  (/ z (/ y (sqrt x)))
  (/ 1 (/ 1 1))
  (/ z (/ y x))
  (/ 1 1)
  (/ z (/ y x))
  (/ 1 y)
  (/ z (/ 1 x))
  (/ 1 (/ y x))
  (/ (/ y x) z)
  (/ z (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ z (sqrt (/ y x)))
  (/ z (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ z (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ z (/ (* (cbrt y) (cbrt y)) 1))
  (/ z (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ z (/ (sqrt y) (sqrt x)))
  (/ z (/ (sqrt y) 1))
  (/ z (/ 1 (* (cbrt x) (cbrt x))))
  (/ z (/ 1 (sqrt x)))
  (/ z (/ 1 1))
  (/ z 1)
  (/ z y)
  (/ (/ y x) (cbrt z))
  (/ (/ y x) (sqrt z))
  (/ (/ y x) z)
  (/ z y)
  (- (log (cosh x)) (- (log z) (- (log y) (log x))))
  (- (log (cosh x)) (- (log z) (log (/ y x))))
  (- (log (cosh x)) (log (/ z (/ y x))))
  (log (/ (cosh x) (/ z (/ y x))))
  (exp (/ (cosh x) (/ z (/ y x))))
  (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* z z) z) (/ (* (* y y) y) (* (* x x) x))))
  (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* z z) z) (* (* (/ y x) (/ y x)) (/ y x))))
  (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ z (/ y x)) (/ z (/ y x))) (/ z (/ y x))))
  (* (cbrt (/ (cosh x) (/ z (/ y x)))) (cbrt (/ (cosh x) (/ z (/ y x)))))
  (cbrt (/ (cosh x) (/ z (/ y x))))
  (* (* (/ (cosh x) (/ z (/ y x))) (/ (cosh x) (/ z (/ y x)))) (/ (cosh x) (/ z (/ y x))))
  (sqrt (/ (cosh x) (/ z (/ y x))))
  (sqrt (/ (cosh x) (/ z (/ y x))))
  (neg (cosh x))
  (neg (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cbrt (cosh x)) (cbrt (/ z (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z (/ y x))))
  (/ (cbrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ 1 1)))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) y))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ 1 x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt (/ y x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (sqrt y) 1)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ 1 (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ 1 1)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) 1))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) y))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ 1 x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cbrt (cosh x)) (/ z (cbrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt (/ y x))))
  (/ (cbrt (cosh x)) (/ z (sqrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ (sqrt y) 1)))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ z (/ y (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ 1 (sqrt x))))
  (/ (cbrt (cosh x)) (/ z (/ y (sqrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (/ 1 1)))
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1))
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 y))
  (/ (cbrt (cosh x)) (/ z (/ 1 x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1)
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z)
  (/ (cbrt (cosh x)) (/ 1 (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ z y))
  (/ (cbrt (cosh x)) x)
  (/ (sqrt (cosh x)) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (sqrt (cosh x)) (cbrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y (cbrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y (sqrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ 1 1)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) y))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ 1 x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) 1)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y (cbrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ 1 (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ 1 1)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) 1))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) y))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ 1 x)))
  (/ (sqrt (cosh x)) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (sqrt (cosh x)) (/ z (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ 1 (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ z (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) x)))
  (/ (sqrt (cosh x)) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ (sqrt y) 1)))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) x)))
  (/ (sqrt (cosh x)) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ z (/ y (cbrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ 1 (sqrt x))))
  (/ (sqrt (cosh x)) (/ z (/ y (sqrt x))))
  (/ (sqrt (cosh x)) (/ 1 (/ 1 1)))
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (/ (sqrt (cosh x)) (/ 1 1))
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (/ (sqrt (cosh x)) (/ 1 y))
  (/ (sqrt (cosh x)) (/ z (/ 1 x)))
  (/ (sqrt (cosh x)) 1)
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (/ (sqrt (cosh x)) z)
  (/ (sqrt (cosh x)) (/ 1 (/ y x)))
  (/ (sqrt (cosh x)) (/ z y))
  (/ (sqrt (cosh x)) x)
  (/ 1 (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cosh x) (cbrt (/ z (/ y x))))
  (/ 1 (sqrt (/ z (/ y x))))
  (/ (cosh x) (sqrt (/ z (/ y x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (cbrt z) (cbrt (/ y x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (cosh x) (/ (cbrt z) (sqrt (/ y x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) x)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) x)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (cbrt z) (/ y (cbrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x))))
  (/ (cosh x) (/ (cbrt z) (/ y (sqrt x))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (/ 1 1)))
  (/ (cosh x) (/ (cbrt z) (/ y x)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cosh x) (/ (cbrt z) (/ y x)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) y))
  (/ (cosh x) (/ (cbrt z) (/ 1 x)))
  (/ 1 (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (sqrt z) (cbrt (/ y x))))
  (/ 1 (/ (sqrt z) (sqrt (/ y x))))
  (/ (cosh x) (/ (sqrt z) (sqrt (/ y x))))
  (/ 1 (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ 1 (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (/ 1 (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) x)))
  (/ 1 (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ 1 (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ 1 (/ (sqrt z) (/ (sqrt y) 1)))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) x)))
  (/ 1 (/ (sqrt z) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ y (cbrt x))))
  (/ 1 (/ (sqrt z) (/ 1 (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ y (sqrt x))))
  (/ 1 (/ (sqrt z) (/ 1 1)))
  (/ (cosh x) (/ (sqrt z) (/ y x)))
  (/ 1 (/ (sqrt z) 1))
  (/ (cosh x) (/ (sqrt z) (/ y x)))
  (/ 1 (/ (sqrt z) y))
  (/ (cosh x) (/ (sqrt z) (/ 1 x)))
  (/ 1 (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ z (cbrt (/ y x))))
  (/ 1 (/ 1 (sqrt (/ y x))))
  (/ (cosh x) (/ z (sqrt (/ y x))))
  (/ 1 (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ z (/ (cbrt y) (cbrt x))))
  (/ 1 (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ z (/ (cbrt y) (sqrt x))))
  (/ 1 (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ z (/ (cbrt y) x)))
  (/ 1 (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ z (/ (sqrt y) (cbrt x))))
  (/ 1 (/ 1 (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ z (/ (sqrt y) (sqrt x))))
  (/ 1 (/ 1 (/ (sqrt y) 1)))
  (/ (cosh x) (/ z (/ (sqrt y) x)))
  (/ 1 (/ 1 (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ z (/ y (cbrt x))))
  (/ 1 (/ 1 (/ 1 (sqrt x))))
  (/ (cosh x) (/ z (/ y (sqrt x))))
  (/ 1 (/ 1 (/ 1 1)))
  (/ (cosh x) (/ z (/ y x)))
  (/ 1 (/ 1 1))
  (/ (cosh x) (/ z (/ y x)))
  (/ 1 (/ 1 y))
  (/ (cosh x) (/ z (/ 1 x)))
  (/ 1 1)
  (/ (cosh x) (/ z (/ y x)))
  (/ 1 z)
  (/ (cosh x) (/ 1 (/ y x)))
  (/ 1 (/ z y))
  (/ (cosh x) x)
  (/ 1 (/ z (/ y x)))
  (/ (/ z (/ y x)) (cosh x))
  (/ (cosh x) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cosh x) (sqrt (/ z (/ y x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) 1)))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ 1 1)))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) y))
  (/ (cosh x) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (sqrt z) (sqrt (/ y x))))
  (/ (cosh x) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) 1)))
  (/ (cosh x) (/ (sqrt z) (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ 1 (sqrt x))))
  (/ (cosh x) (/ (sqrt z) (/ 1 1)))
  (/ (cosh x) (/ (sqrt z) 1))
  (/ (cosh x) (/ (sqrt z) y))
  (/ (cosh x) (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ 1 (sqrt (/ y x))))
  (/ (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))
  (/ (cosh x) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ 1 (/ (sqrt y) (sqrt x))))
  (/ (cosh x) (/ 1 (/ (sqrt y) 1)))
  (/ (cosh x) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ 1 (/ 1 (sqrt x))))
  (/ (cosh x) (/ 1 (/ 1 1)))
  (/ (cosh x) (/ 1 1))
  (/ (cosh x) (/ 1 y))
  (/ (cosh x) 1)
  (/ (cosh x) z)
  (/ (cosh x) (/ z y))
  (/ (/ z (/ y x)) (cbrt (cosh x)))
  (/ (/ z (/ y x)) (sqrt (cosh x)))
  (/ (/ z (/ y x)) (cosh x))
  (/ (cosh x) z)
  (* (/ z (/ y x)) 2)
  (/ (* x z) y)
  (/ (* x z) y)
  (/ (* x z) y)
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* (+ (* 1/2 (exp (neg x))) (* 1/2 (exp x))) y) (* z x))
  (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x))
1.212 * * [simplify]: iteration  0 :  1113  enodes  (cost  2717 )
1.233 * * [simplify]: iteration  1 :  5001  enodes  (cost  2614 )
1.246 * [simplify]: Simplified to:
   (log (/ z (/ y x)))
  (log (/ z (/ y x)))
  (log (/ z (/ y x)))
  (exp (/ z (/ y x)))
  (pow (/ z (/ y x)) 3)
  (pow (/ z (/ y x)) 3)
  (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x))))
  (cbrt (/ z (/ y x)))
  (pow (/ z (/ y x)) 3)
  (sqrt (/ z (/ y x)))
  (sqrt (/ z (/ y x)))
  (neg z)
  (neg (/ y x))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (cbrt z) (cbrt (/ y x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x)))
  (/ (cbrt z) (sqrt (/ y x)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt z) (/ (cbrt y) (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (cbrt z) (/ (cbrt y) (sqrt x)))
  (/ (cbrt z) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (/ (cbrt z) (/ (cbrt y) x))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (cbrt z) (/ (sqrt y) (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x)))
  (/ (cbrt z) (/ (sqrt y) (sqrt x)))
  (/ (cbrt z) (/ (sqrt y) (cbrt z)))
  (/ (cbrt z) (/ (sqrt y) x))
  (* (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))
  (/ (cbrt z) (/ y (cbrt x)))
  (* (* (cbrt z) (cbrt z)) (sqrt x))
  (/ (cbrt z) (/ y (sqrt x)))
  (* (cbrt z) (cbrt z))
  (/ (cbrt z) (/ y x))
  (* (cbrt z) (cbrt z))
  (/ (cbrt z) (/ y x))
  (/ (* (cbrt z) (cbrt z)) y)
  (* (cbrt z) x)
  (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (sqrt z) (cbrt (/ y x)))
  (/ (sqrt z) (sqrt (/ y x)))
  (/ (sqrt z) (sqrt (/ y x)))
  (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt z) (/ (cbrt y) (cbrt x)))
  (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (sqrt z) (/ (cbrt y) (sqrt x)))
  (/ (sqrt z) (* (cbrt y) (cbrt y)))
  (/ (sqrt z) (/ (cbrt y) x))
  (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (sqrt z) (/ (sqrt y) (cbrt x)))
  (/ (sqrt z) (/ (sqrt y) (sqrt x)))
  (/ (sqrt z) (/ (sqrt y) (sqrt x)))
  (/ (sqrt z) (sqrt y))
  (/ (sqrt z) (/ (sqrt y) x))
  (* (sqrt z) (* (cbrt x) (cbrt x)))
  (/ (sqrt z) (/ y (cbrt x)))
  (* (sqrt z) (sqrt x))
  (/ (sqrt z) (/ y (sqrt x)))
  (sqrt z)
  (/ (sqrt z) (/ y x))
  (sqrt z)
  (/ (sqrt z) (/ y x))
  (/ (sqrt z) y)
  (* (sqrt z) x)
  (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ z (cbrt (/ y x)))
  (/ 1 (sqrt (/ y x)))
  (/ z (sqrt (/ y x)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ z (/ (cbrt y) (cbrt x)))
  (/ (sqrt x) (* (cbrt y) (cbrt y)))
  (/ z (/ (cbrt y) (sqrt x)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ z (/ (cbrt y) x))
  (/ (* (cbrt x) (cbrt x)) (sqrt y))
  (/ z (/ (sqrt y) (cbrt x)))
  (/ (sqrt x) (sqrt y))
  (/ z (/ (sqrt y) (sqrt x)))
  (/ 1 (sqrt y))
  (/ z (/ (sqrt y) x))
  (* (cbrt x) (cbrt x))
  (/ z (/ y (cbrt x)))
  (sqrt x)
  (/ z (/ y (sqrt x)))
  1
  (/ (* x z) y)
  1
  (/ (* x z) y)
  (/ 1 y)
  (* x z)
  (/ 1 (/ y x))
  (/ y (* x z))
  (/ z (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ z (sqrt (/ y x)))
  (/ z (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ z (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ z (/ (sqrt y) (sqrt x)))
  (/ z (sqrt y))
  (* z (* (cbrt x) (cbrt x)))
  (* z (sqrt x))
  z
  z
  (/ z y)
  (/ (/ y x) (cbrt z))
  (/ (/ y x) (sqrt z))
  (/ y (* x z))
  (/ z y)
  (log (/ (cosh x) (/ z (/ y x))))
  (log (/ (cosh x) (/ z (/ y x))))
  (log (/ (cosh x) (/ z (/ y x))))
  (log (/ (cosh x) (/ z (/ y x))))
  (exp (/ (cosh x) (/ z (/ y x))))
  (pow (/ (cosh x) (/ z (/ y x))) 3)
  (pow (/ (cosh x) (/ z (/ y x))) 3)
  (pow (/ (cosh x) (/ z (/ y x))) 3)
  (* (cbrt (/ (cosh x) (/ z (/ y x)))) (cbrt (/ (cosh x) (/ z (/ y x)))))
  (cbrt (/ (cosh x) (/ z (/ y x))))
  (pow (/ (cosh x) (/ z (/ y x))) 3)
  (sqrt (/ (cosh x) (/ z (/ y x))))
  (sqrt (/ (cosh x) (/ z (/ y x))))
  (neg (cosh x))
  (neg (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cbrt (cosh x)) (cbrt (/ z (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z (/ y x))))
  (/ (cbrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (/ (cbrt z) (/ (* (cbrt y) (cbrt y)) (cbrt z))) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (cbrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (/ (cbrt z) (/ (sqrt y) (cbrt z))) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ (sqrt y) x)))
  (* (/ (cbrt (cosh x)) (* (cbrt z) (cbrt z))) (/ (cbrt (cosh x)) (* (cbrt x) (cbrt x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y (cbrt x))))
  (* (/ (cbrt (cosh x)) (* (cbrt z) (cbrt z))) (/ (cbrt (cosh x)) (sqrt x)))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y (sqrt x))))
  (/ (cbrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (cbrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) y))
  (/ (/ (cbrt (cosh x)) (cbrt z)) x)
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt (/ y x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (cbrt y) x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (sqrt y))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ (sqrt y) x)))
  (* (/ (cbrt (cosh x)) (sqrt z)) (/ (cbrt (cosh x)) (* (cbrt x) (cbrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y (cbrt x))))
  (* (/ (cbrt (cosh x)) (sqrt z)) (/ (cbrt (cosh x)) (sqrt x)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y (sqrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) y))
  (/ (/ (cbrt (cosh x)) (sqrt z)) x)
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (cbrt (cosh x)) (/ z (cbrt (/ y x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ y x)))
  (/ (cbrt (cosh x)) (/ z (sqrt (/ y x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) (cbrt x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) (sqrt x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (cosh x)) (/ z (/ (cbrt y) x)))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) (cbrt x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt y) (sqrt x)))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) (sqrt x))))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y))
  (/ (cbrt (cosh x)) (/ z (/ (sqrt y) x)))
  (/ (cbrt (cosh x)) (/ (* (cbrt x) (cbrt x)) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ z (/ y (cbrt x))))
  (/ (cbrt (cosh x)) (/ (sqrt x) (cbrt (cosh x))))
  (/ (cbrt (cosh x)) (/ z (/ y (sqrt x))))
  (* (cbrt (cosh x)) (cbrt (cosh x)))
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (* (cbrt (cosh x)) (cbrt (cosh x)))
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (* (* (cbrt (cosh x)) (cbrt (cosh x))) y)
  (/ (/ (cbrt (cosh x)) z) x)
  (* (cbrt (cosh x)) (cbrt (cosh x)))
  (/ (cbrt (cosh x)) (/ z (/ y x)))
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z)
  (/ (* (cbrt (cosh x)) y) x)
  (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ z y))
  (/ (cbrt (cosh x)) x)
  (/ (sqrt (cosh x)) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (sqrt (cosh x)) (cbrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (sqrt (/ z (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (* (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (cbrt y) x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (* (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ (sqrt y) x)))
  (/ (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y (cbrt x))))
  (/ (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (sqrt x))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y (sqrt x))))
  (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) y))
  (/ (sqrt (cosh x)) (/ (cbrt z) (/ 1 x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt (/ y x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (* (/ (sqrt (cosh x)) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (cbrt y) x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (* (/ (sqrt (cosh x)) (sqrt z)) (sqrt y))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ (sqrt y) x)))
  (/ (/ (sqrt (cosh x)) (sqrt z)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y (cbrt x))))
  (/ (/ (sqrt (cosh x)) (sqrt z)) (sqrt x))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y (sqrt x))))
  (/ (sqrt (cosh x)) (sqrt z))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (sqrt (cosh x)) (sqrt z))
  (/ (sqrt (cosh x)) (/ (sqrt z) (/ y x)))
  (/ (sqrt (cosh x)) (/ (sqrt z) y))
  (/ (/ (sqrt (cosh x)) (sqrt z)) x)
  (* (sqrt (cosh x)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (sqrt (cosh x)) (/ z (cbrt (/ y x))))
  (* (sqrt (cosh x)) (sqrt (/ y x)))
  (/ (sqrt (cosh x)) (/ z (sqrt (/ y x))))
  (* (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) (cbrt x))))
  (* (sqrt (cosh x)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) (sqrt x))))
  (* (sqrt (cosh x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cosh x)) (/ z (/ (cbrt y) x)))
  (* (sqrt (cosh x)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) (cbrt x))))
  (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x)))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) (sqrt x))))
  (* (sqrt (cosh x)) (sqrt y))
  (/ (sqrt (cosh x)) (/ z (/ (sqrt y) x)))
  (/ (sqrt (cosh x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cosh x)) (/ z (/ y (cbrt x))))
  (/ (sqrt (cosh x)) (sqrt x))
  (/ (sqrt (cosh x)) (/ z (/ y (sqrt x))))
  (sqrt (cosh x))
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (sqrt (cosh x))
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (* (sqrt (cosh x)) y)
  (/ (/ (sqrt (cosh x)) z) x)
  (sqrt (cosh x))
  (/ (sqrt (cosh x)) (/ z (/ y x)))
  (/ (sqrt (cosh x)) z)
  (* (sqrt (cosh x)) (/ y x))
  (/ (sqrt (cosh x)) (/ z y))
  (/ (sqrt (cosh x)) x)
  (/ 1 (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cosh x) (cbrt (/ z (/ y x))))
  (/ 1 (sqrt (/ z (/ y x))))
  (/ (cosh x) (sqrt (/ z (/ y x))))
  (/ (* (cbrt (/ y x)) (cbrt (/ y x))) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (cbrt (/ y x))))
  (/ (sqrt (/ y x)) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (sqrt (/ y x))))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) (cbrt x))))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (cbrt y) x)))
  (/ (/ (sqrt y) (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) (cbrt x))))
  (/ (/ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ (sqrt y) x)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (/ (cbrt z) (/ y (cbrt x))))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt x))
  (/ (cosh x) (/ (cbrt z) (/ y (sqrt x))))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ y x)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ y x)))
  (/ y (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (cbrt z) (/ 1 x)))
  (/ (* (cbrt (/ y x)) (cbrt (/ y x))) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (cbrt (/ y x))))
  (/ (sqrt (/ y x)) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (sqrt (/ y x))))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) (cbrt x))))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt x)) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) (sqrt x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (cbrt y) x)))
  (/ (/ (sqrt y) (* (cbrt x) (cbrt x))) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (cbrt x))))
  (/ (/ (sqrt y) (sqrt x)) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (/ (sqrt y) (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) x)))
  (/ (/ 1 (sqrt z)) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (/ (sqrt z) (/ y (cbrt x))))
  (/ (/ 1 (sqrt z)) (sqrt x))
  (/ (cosh x) (/ (sqrt z) (/ y (sqrt x))))
  (/ 1 (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ y x)))
  (/ 1 (sqrt z))
  (/ (cosh x) (/ (sqrt z) (/ y x)))
  (/ y (sqrt z))
  (/ (/ (cosh x) (sqrt z)) x)
  (* (cbrt (/ y x)) (cbrt (/ y x)))
  (/ (cosh x) (/ z (cbrt (/ y x))))
  (sqrt (/ y x))
  (/ (cosh x) (/ z (sqrt (/ y x))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (/ z (/ (cbrt y) (cbrt x))))
  (/ (* (cbrt y) (cbrt y)) (sqrt x))
  (/ (cosh x) (/ z (/ (cbrt y) (sqrt x))))
  (* (cbrt y) (cbrt y))
  (/ (cosh x) (/ z (/ (cbrt y) x)))
  (/ (sqrt y) (* (cbrt x) (cbrt x)))
  (/ (cosh x) (/ z (/ (sqrt y) (cbrt x))))
  (/ (sqrt y) (sqrt x))
  (/ (cosh x) (/ z (/ (sqrt y) (sqrt x))))
  (sqrt y)
  (/ (cosh x) (/ z (/ (sqrt y) x)))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (cosh x) (/ z (/ y (cbrt x))))
  (/ 1 (sqrt x))
  (/ (cosh x) (/ z (/ y (sqrt x))))
  1
  (/ (cosh x) (/ z (/ y x)))
  1
  (/ (cosh x) (/ z (/ y x)))
  y
  (/ (/ (cosh x) z) x)
  1
  (/ (cosh x) (/ z (/ y x)))
  (/ 1 z)
  (* (cosh x) (/ y x))
  (/ y z)
  (/ (cosh x) x)
  (/ y (* x z))
  (/ (/ z (/ y x)) (cosh x))
  (/ (cosh x) (* (cbrt (/ z (/ y x))) (cbrt (/ z (/ y x)))))
  (/ (cosh x) (sqrt (/ z (/ y x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (sqrt (/ y x))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (* (/ (cosh x) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))
  (* (/ (cosh x) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cosh x) (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x)))
  (/ (/ (cosh x) (* (cbrt z) (cbrt z))) (sqrt x))
  (/ (cosh x) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (* (cbrt z) (cbrt z)))
  (/ (cosh x) (/ (* (cbrt z) (cbrt z)) y))
  (/ (cosh x) (/ (sqrt z) (* (cbrt (/ y x)) (cbrt (/ y x)))))
  (/ (cosh x) (/ (sqrt z) (sqrt (/ y x))))
  (/ (cosh x) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (* (cbrt y) (cbrt y)) (sqrt x))))
  (* (/ (cosh x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (* (cbrt x) (cbrt x)))))
  (/ (cosh x) (/ (sqrt z) (/ (sqrt y) (sqrt x))))
  (* (/ (cosh x) (sqrt z)) (sqrt y))
  (/ (/ (cosh x) (sqrt z)) (* (cbrt x) (cbrt x)))
  (/ (/ (cosh x) (sqrt z)) (sqrt x))
  (/ (cosh x) (sqrt z))
  (/ (cosh x) (sqrt z))
  (/ (cosh x) (/ (sqrt z) y))
  (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (* (cosh x) (sqrt (/ y x)))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (* (cosh x) (* (cbrt y) (cbrt y)))
  (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (* (cosh x) (/ (sqrt y) (sqrt x)))
  (* (cosh x) (sqrt y))
  (/ (/ (cosh x) (cbrt x)) (cbrt x))
  (* (cosh x) (/ 1 (sqrt x)))
  (cosh x)
  (cosh x)
  (* (cosh x) y)
  (cosh x)
  (/ (cosh x) z)
  (/ (cosh x) (/ z y))
  (/ (/ z (/ y x)) (cbrt (cosh x)))
  (/ (/ z (/ y x)) (sqrt (cosh x)))
  (/ (/ z (/ y x)) (cosh x))
  (/ (cosh x) z)
  (* (/ z (/ y x)) 2)
  (/ (* x z) y)
  (/ (* x z) y)
  (/ (* x z) y)
  (+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
  (/ (* 1/2 (+ (exp (* -1 x)) (exp x))) (/ (* z x) y))
1.248 * * * [progress]: adding candidates to table
1.466 * [progress]: [Phase 3 of 3] Extracting.
1.466 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
1.467 * * * [regime-changes]: Trying 4 branch expressions: ((* (cosh x) (/ y x)) z y x)
1.467 * * * * [regimes]: Trying to branch on (* (cosh x) (/ y x)) from (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
1.548 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
1.626 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
1.703 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
1.791 * * * [regime]: Found split indices: #<option (#s(si 0 74) #s(si 6 158) #s(si 0 255))>
1.791 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
2.227 * [regimes]: Found splitpoints: (#s(sp 0 z -0.00014953740651292447) #s(sp 6 z 5.844040437297533e-33) #s(sp 0 z +nan.0)) , with alts (#<alt (λ (x y z) (* (cosh x) (/ y (* x z))))> #<alt (λ (x y z) (/ (* (* (* (cosh x) (sqrt y)) (sqrt y)) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) (/ y x)) (/ 1 z)))> #<alt (λ (x y z) (/ (cosh x) (/ z (/ y x))))> #<alt (λ (x y z) (/ (* (* (cosh x) y) (/ 1 x)) z))> #<alt (λ (x y z) (* (* (cosh x) y) (/ (/ 1 x) z)))> #<alt (λ (x y z) (/ (/ (* (cosh x) y) z) x))> #<alt (λ (x y z) (/ (/ (/ (/ (* (cosh x) y) x) (cbrt z)) (cbrt z)) (cbrt z)))>)
2.228 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= z -0.00014953740651292447) (* (cosh x) (/ y (* x z))) (if (<= z 5.844040437297533e-33) (/ (/ (* (cosh x) y) z) x) (* (cosh x) (/ y (* x z)))))
2.228 * * [simplify]: iteration  0 :  22  enodes  (cost  8 )
2.229 * * [simplify]: iteration  1 :  22  enodes  (cost  8 )
2.229 * [simplify]: Simplified to:
   (if (or (<= z -0.00014953740651292447) (not (<= z 5.844040437297533e-33))) (* (cosh x) (/ y (* x z))) (/ (/ (* (cosh x) y) z) x))
4.343 * [regime-testing]: End program error score: 0.30824856939593354
4.449 * [regime-testing]: Target error score: 0.3954825411299846