26.771 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (/ a (- (acos a)))
0.024 * * [simplify]: Extracting # 0 : cost  0
0.024 * * [simplify]: Extracting # 1 : cost  0
0.024 * * [simplify]: Extracting # 2 : cost  0
0.024 * * [simplify]: Extracting # 3 : cost  0
0.024 * * [simplify]: Extracting # 4 : cost  0
0.024 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: iteration done:  4  enodes  (cost  5 )
0.025 * [simplify]: Simplified to:
  (/ a (- (acos a)))
0.025 * * [progress]: iteration 1 / 4
0.025 * * * [progress]: picking best candidate
0.026 * * * * [pick]: Picked  #<alt (λ (a) (/ a (- (acos a))))>
0.026 * * * [progress]: localizing error
0.031 * * * [progress]: generating rewritten candidates
0.031 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.051 * * * [progress]: generating series expansions
0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.051 * [backup-simplify]: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a)))
0.051 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0
0.052 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
0.052 * [taylor]: Taking taylor expansion of -1 in a
0.052 * [backup-simplify]: Simplify -1 into -1
0.052 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
0.052 * [taylor]: Taking taylor expansion of a in a
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of (acos a) in a
0.052 * [backup-simplify]: Simplify (acos a) into (acos a)
0.052 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
0.052 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
0.052 * [taylor]: Taking taylor expansion of -1 in a
0.052 * [backup-simplify]: Simplify -1 into -1
0.052 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
0.052 * [taylor]: Taking taylor expansion of a in a
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of (acos a) in a
0.052 * [backup-simplify]: Simplify (acos a) into (acos a)
0.052 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
0.053 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a))
0.053 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
0.053 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0
0.054 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
0.055 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
0.056 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0
0.056 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
0.058 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
0.059 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
0.061 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a)))
0.061 * [backup-simplify]: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a))
0.061 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0
0.061 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
0.061 * [taylor]: Taking taylor expansion of -1 in a
0.061 * [backup-simplify]: Simplify -1 into -1
0.061 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
0.061 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
0.061 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
0.061 * [taylor]: Taking taylor expansion of a in a
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 1 into 1
0.061 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
0.062 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
0.062 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
0.062 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
0.062 * [taylor]: Taking taylor expansion of -1 in a
0.062 * [backup-simplify]: Simplify -1 into -1
0.062 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
0.062 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
0.062 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 1 into 1
0.062 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
0.062 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
0.063 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
0.063 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
0.063 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
0.063 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.064 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.065 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.066 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.067 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.069 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a)))
0.069 * [backup-simplify]: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a))))
0.069 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0
0.069 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
0.069 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
0.069 * [taylor]: Taking taylor expansion of a in a
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 1 into 1
0.069 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
0.069 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
0.069 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
0.070 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
0.070 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
0.070 * [taylor]: Taking taylor expansion of a in a
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify 1 into 1
0.070 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
0.070 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
0.070 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
0.070 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
0.071 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
0.071 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0
0.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0
0.072 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0
0.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0
0.075 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0
0.077 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0
0.079 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a)))
0.079 * * * [progress]: simplifying candidates
0.080 * [simplify]: Simplifying:
  (expm1 (/ a (- (acos a))))
  (log1p (/ a (- (acos a))))
  (- (log a) (log (- (acos a))))
  (log (/ a (- (acos a))))
  (exp (/ a (- (acos a))))
  (/ (* (* a a) a) (* (* (- (acos a)) (- (acos a))) (- (acos a))))
  (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a)))))
  (cbrt (/ a (- (acos a))))
  (* (* (/ a (- (acos a))) (/ a (- (acos a)))) (/ a (- (acos a))))
  (sqrt (/ a (- (acos a))))
  (sqrt (/ a (- (acos a))))
  (- a)
  (- (- (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ (cbrt a) (cbrt (- (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (- (acos a))))
  (/ (cbrt a) (sqrt (- (acos a))))
  (/ (* (cbrt a) (cbrt a)) 1)
  (/ (cbrt a) (- (acos a)))
  (/ (* (cbrt a) (cbrt a)) -1)
  (/ (cbrt a) (acos a))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- 1))
  (/ (cbrt a) (acos a))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt a) (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) 1)
  (/ (cbrt a) (- (acos a)))
  (/ (sqrt a) (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ (sqrt a) (cbrt (- (acos a))))
  (/ (sqrt a) (sqrt (- (acos a))))
  (/ (sqrt a) (sqrt (- (acos a))))
  (/ (sqrt a) 1)
  (/ (sqrt a) (- (acos a)))
  (/ (sqrt a) -1)
  (/ (sqrt a) (acos a))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- 1))
  (/ (sqrt a) (acos a))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (- (cbrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) 1)
  (/ (sqrt a) (- (acos a)))
  (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ a (cbrt (- (acos a))))
  (/ 1 (sqrt (- (acos a))))
  (/ a (sqrt (- (acos a))))
  (/ 1 1)
  (/ a (- (acos a)))
  (/ 1 -1)
  (/ a (acos a))
  (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ a (cbrt (acos a)))
  (/ 1 (- (sqrt (acos a))))
  (/ a (sqrt (acos a)))
  (/ 1 (- 1))
  (/ a (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (- (cbrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ a (- (sqrt (acos a))))
  (/ 1 1)
  (/ a (- (acos a)))
  (/ 1 (- (acos a)))
  (/ (- (acos a)) a)
  (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ a (sqrt (- (acos a))))
  (/ a 1)
  (/ a -1)
  (/ a (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ a (- (sqrt (acos a))))
  (/ a (- 1))
  (/ a (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (sqrt (acos a)))
  (/ a 1)
  (/ (- (acos a)) (cbrt a))
  (/ (- (acos a)) (sqrt a))
  (/ (- (acos a)) a)
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
0.081 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: Extracting # 3 : cost  0
0.081 * * [simplify]: Extracting # 4 : cost  0
0.082 * * [simplify]: iteration  0 :  96  enodes  (cost  613 )
0.122 * * [simplify]: Extracting # 0 : cost  0
0.123 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: Extracting # 3 : cost  0
0.124 * * [simplify]: iteration  1 :  166  enodes  (cost  581 )
0.194 * * [simplify]: Extracting # 0 : cost  0
0.195 * * [simplify]: Extracting # 1 : cost  0
0.195 * * [simplify]: Extracting # 2 : cost  0
0.196 * * [simplify]: Extracting # 3 : cost  0
0.196 * * [simplify]: Extracting # 4 : cost  0
0.197 * * [simplify]: iteration  2 :  333  enodes  (cost  563 )
0.301 * * [simplify]: Extracting # 0 : cost  0
0.301 * * [simplify]: Extracting # 1 : cost  0
0.302 * * [simplify]: Extracting # 2 : cost  0
0.302 * * [simplify]: Extracting # 3 : cost  0
0.303 * * [simplify]: Extracting # 4 : cost  0
0.303 * * [simplify]: iteration  3 :  587  enodes  (cost  563 )
0.602 * * [simplify]: Extracting # 0 : cost  0
0.604 * * [simplify]: Extracting # 1 : cost  0
0.606 * * [simplify]: Extracting # 2 : cost  0
0.608 * * [simplify]: Extracting # 3 : cost  0
0.609 * * [simplify]: Extracting # 4 : cost  0
0.611 * * [simplify]: iteration  4 :  1105  enodes  (cost  563 )
2.013 * * [simplify]: Extracting # 0 : cost  0
2.016 * * [simplify]: Extracting # 1 : cost  0
2.018 * * [simplify]: Extracting # 2 : cost  0
2.019 * * [simplify]: Extracting # 3 : cost  0
2.021 * * [simplify]: Extracting # 4 : cost  0
2.023 * * [simplify]: iteration  5 :  2150  enodes  (cost  558 )
4.859 * * [simplify]: Extracting # 0 : cost  0
4.870 * * [simplify]: Extracting # 1 : cost  0
4.879 * * [simplify]: Extracting # 2 : cost  0
4.888 * * [simplify]: Extracting # 3 : cost  0
4.896 * * [simplify]: Extracting # 4 : cost  0
4.904 * * [simplify]: iteration done:  5001  enodes  (cost  558 )
4.904 * [simplify]: Simplified to:
  (expm1 (/ a (- (acos a))))
  (log1p (/ a (- (acos a))))
  (log (/ a (- (acos a))))
  (log (/ a (- (acos a))))
  (exp (/ a (- (acos a))))
  (pow (/ a (- (acos a))) 3)
  (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a)))))
  (cbrt (/ a (- (acos a))))
  (pow (/ a (- (acos a))) 3)
  (sqrt (/ a (- (acos a))))
  (sqrt (/ a (- (acos a))))
  (- a)
  (acos a)
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ (cbrt a) (cbrt (- (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (- (acos a))))
  (/ (cbrt a) (sqrt (- (acos a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (/ (* (cbrt a) (cbrt a)) -1)
  (/ (cbrt a) (acos a))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) -1)
  (/ (cbrt a) (acos a))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt a) (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (/ (sqrt a) (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ (sqrt a) (cbrt (- (acos a))))
  (/ (sqrt a) (sqrt (- (acos a))))
  (/ (sqrt a) (sqrt (- (acos a))))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  (/ (sqrt a) -1)
  (/ (sqrt a) (acos a))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) -1)
  (/ (sqrt a) (acos a))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (- (cbrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ a (cbrt (- (acos a))))
  (/ 1 (sqrt (- (acos a))))
  (/ a (sqrt (- (acos a))))
  1
  (/ a (- (acos a)))
  -1
  (/ a (acos a))
  (/ (/ -1 (cbrt (acos a))) (cbrt (acos a)))
  (/ a (cbrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (- (cbrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ a (- (sqrt (acos a))))
  1
  (/ a (- (acos a)))
  (/ -1 (acos a))
  (- (/ (acos a) a))
  (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a)))))
  (/ a (sqrt (- (acos a))))
  a
  (- a)
  (/ a (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ a (- (sqrt (acos a))))
  (- a)
  (/ a (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (sqrt (acos a)))
  a
  (/ (- (acos a)) (cbrt a))
  (/ (- (acos a)) (sqrt a))
  (- (/ (acos a) a))
  (/ a (- (acos a)))
  (/ a (- (acos a)))
  (/ a (- (acos a)))
4.905 * * * [progress]: adding candidates to table
5.047 * * [progress]: iteration 2 / 4
5.047 * * * [progress]: picking best candidate
5.071 * * * * [pick]: Picked  #<alt (λ (a) (* a (/ -1 (acos a))))>
5.072 * * * [progress]: localizing error
5.077 * * * [progress]: generating rewritten candidates
5.077 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.091 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.102 * * * [progress]: generating series expansions
5.102 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.102 * [backup-simplify]: Simplify (* a (/ -1 (acos a))) into (* -1 (/ a (acos a)))
5.102 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0
5.102 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
5.102 * [taylor]: Taking taylor expansion of -1 in a
5.102 * [backup-simplify]: Simplify -1 into -1
5.102 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
5.102 * [taylor]: Taking taylor expansion of a in a
5.102 * [backup-simplify]: Simplify 0 into 0
5.102 * [backup-simplify]: Simplify 1 into 1
5.102 * [taylor]: Taking taylor expansion of (acos a) in a
5.102 * [backup-simplify]: Simplify (acos a) into (acos a)
5.102 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
5.102 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
5.102 * [taylor]: Taking taylor expansion of -1 in a
5.102 * [backup-simplify]: Simplify -1 into -1
5.102 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
5.102 * [taylor]: Taking taylor expansion of a in a
5.103 * [backup-simplify]: Simplify 0 into 0
5.103 * [backup-simplify]: Simplify 1 into 1
5.103 * [taylor]: Taking taylor expansion of (acos a) in a
5.103 * [backup-simplify]: Simplify (acos a) into (acos a)
5.103 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
5.103 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a))
5.103 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.103 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0
5.104 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0
5.104 * [backup-simplify]: Simplify 0 into 0
5.104 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.104 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0
5.104 * [backup-simplify]: Simplify 0 into 0
5.105 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.105 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0
5.105 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.107 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0
5.107 * [backup-simplify]: Simplify 0 into 0
5.107 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.108 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0
5.108 * [backup-simplify]: Simplify 0 into 0
5.108 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.110 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0
5.110 * [backup-simplify]: Simplify 0 into 0
5.110 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a)))
5.110 * [backup-simplify]: Simplify (* (/ 1 a) (/ -1 (acos (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a))
5.110 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0
5.110 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
5.110 * [taylor]: Taking taylor expansion of -1 in a
5.110 * [backup-simplify]: Simplify -1 into -1
5.110 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
5.110 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
5.110 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
5.110 * [taylor]: Taking taylor expansion of a in a
5.110 * [backup-simplify]: Simplify 0 into 0
5.110 * [backup-simplify]: Simplify 1 into 1
5.110 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
5.111 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
5.111 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.111 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
5.111 * [taylor]: Taking taylor expansion of -1 in a
5.111 * [backup-simplify]: Simplify -1 into -1
5.111 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
5.111 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
5.111 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
5.111 * [taylor]: Taking taylor expansion of a in a
5.111 * [backup-simplify]: Simplify 0 into 0
5.111 * [backup-simplify]: Simplify 1 into 1
5.111 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
5.111 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
5.111 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.112 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.112 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
5.112 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
5.112 * [backup-simplify]: Simplify 0 into 0
5.113 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.113 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.113 * [backup-simplify]: Simplify 0 into 0
5.114 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.114 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.114 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.115 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.115 * [backup-simplify]: Simplify 0 into 0
5.116 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.116 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.116 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.117 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.117 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a)))
5.118 * [backup-simplify]: Simplify (* (/ 1 (- a)) (/ -1 (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a))))
5.118 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0
5.118 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
5.118 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
5.118 * [taylor]: Taking taylor expansion of a in a
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
5.118 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
5.118 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
5.118 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
5.118 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
5.118 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
5.118 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
5.118 * [taylor]: Taking taylor expansion of a in a
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify 1 into 1
5.118 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
5.118 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
5.119 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
5.119 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
5.119 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
5.119 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
5.120 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0
5.120 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
5.120 * [backup-simplify]: Simplify 0 into 0
5.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0
5.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.121 * [backup-simplify]: Simplify 0 into 0
5.122 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0
5.122 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.122 * [backup-simplify]: Simplify 0 into 0
5.123 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0
5.123 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.124 * [backup-simplify]: Simplify 0 into 0
5.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0
5.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.127 * [backup-simplify]: Simplify 0 into 0
5.129 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0
5.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.130 * [backup-simplify]: Simplify 0 into 0
5.130 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a)))
5.130 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.130 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.130 * [approximate]: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0
5.130 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a
5.130 * [taylor]: Taking taylor expansion of -1 in a
5.130 * [backup-simplify]: Simplify -1 into -1
5.131 * [taylor]: Taking taylor expansion of (acos a) in a
5.131 * [backup-simplify]: Simplify (acos a) into (acos a)
5.131 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.131 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a
5.131 * [taylor]: Taking taylor expansion of -1 in a
5.131 * [backup-simplify]: Simplify -1 into -1
5.131 * [taylor]: Taking taylor expansion of (acos a) in a
5.131 * [backup-simplify]: Simplify (acos a) into (acos a)
5.131 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.131 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.131 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))))) into 0
5.131 * [backup-simplify]: Simplify 0 into 0
5.132 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.132 * [backup-simplify]: Simplify 0 into 0
5.132 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.132 * [backup-simplify]: Simplify 0 into 0
5.133 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.133 * [backup-simplify]: Simplify 0 into 0
5.133 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.133 * [backup-simplify]: Simplify 0 into 0
5.134 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ -1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
5.134 * [backup-simplify]: Simplify 0 into 0
5.134 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
5.134 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.134 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0
5.134 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a
5.134 * [taylor]: Taking taylor expansion of -1 in a
5.134 * [backup-simplify]: Simplify -1 into -1
5.134 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
5.134 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
5.134 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.134 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a
5.134 * [taylor]: Taking taylor expansion of -1 in a
5.134 * [backup-simplify]: Simplify -1 into -1
5.134 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
5.135 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
5.135 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.135 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
5.135 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
5.135 * [backup-simplify]: Simplify 0 into 0
5.136 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.136 * [backup-simplify]: Simplify 0 into 0
5.136 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.136 * [backup-simplify]: Simplify 0 into 0
5.137 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.137 * [backup-simplify]: Simplify 0 into 0
5.137 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.137 * [backup-simplify]: Simplify 0 into 0
5.138 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
5.138 * [backup-simplify]: Simplify 0 into 0
5.138 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 (/ 1 a)))) into (/ -1 (acos a))
5.139 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 (- a)))) into (/ -1 (acos (/ -1 a)))
5.139 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0
5.139 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a
5.139 * [taylor]: Taking taylor expansion of -1 in a
5.139 * [backup-simplify]: Simplify -1 into -1
5.139 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
5.139 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
5.139 * [backup-simplify]: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a)))
5.139 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a
5.139 * [taylor]: Taking taylor expansion of -1 in a
5.139 * [backup-simplify]: Simplify -1 into -1
5.139 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
5.139 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
5.139 * [backup-simplify]: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a)))
5.139 * [backup-simplify]: Simplify (/ -1 (acos (/ -1 a))) into (/ -1 (acos (/ -1 a)))
5.140 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
5.140 * [backup-simplify]: Simplify 0 into 0
5.140 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.140 * [backup-simplify]: Simplify 0 into 0
5.141 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.141 * [backup-simplify]: Simplify 0 into 0
5.141 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.141 * [backup-simplify]: Simplify 0 into 0
5.142 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.142 * [backup-simplify]: Simplify 0 into 0
5.143 * [backup-simplify]: Simplify (- (/ 0 (acos (/ -1 a))) (+ (* (/ -1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
5.143 * [backup-simplify]: Simplify 0 into 0
5.143 * [backup-simplify]: Simplify (/ -1 (acos (/ -1 (/ 1 (- a))))) into (/ -1 (acos a))
5.143 * * * [progress]: simplifying candidates
5.145 * [simplify]: Simplifying:
  (expm1 (* a (/ -1 (acos a))))
  (log1p (* a (/ -1 (acos a))))
  (* a (/ -1 (acos a)))
  (+ (log a) (- (log -1) (log (acos a))))
  (+ (log a) (log (/ -1 (acos a))))
  (log (* a (/ -1 (acos a))))
  (exp (* a (/ -1 (acos a))))
  (* (* (* a a) a) (/ (* (* -1 -1) -1) (* (* (acos a) (acos a)) (acos a))))
  (* (* (* a a) a) (* (* (/ -1 (acos a)) (/ -1 (acos a))) (/ -1 (acos a))))
  (* (cbrt (* a (/ -1 (acos a)))) (cbrt (* a (/ -1 (acos a)))))
  (cbrt (* a (/ -1 (acos a))))
  (* (* (* a (/ -1 (acos a))) (* a (/ -1 (acos a)))) (* a (/ -1 (acos a))))
  (sqrt (* a (/ -1 (acos a))))
  (sqrt (* a (/ -1 (acos a))))
  (* (sqrt a) (sqrt (/ -1 (acos a))))
  (* (sqrt a) (sqrt (/ -1 (acos a))))
  (* (sqrt a) (/ (sqrt -1) (sqrt (acos a))))
  (* (sqrt a) (/ (sqrt -1) (sqrt (acos a))))
  (* a (* (cbrt (/ -1 (acos a))) (cbrt (/ -1 (acos a)))))
  (* a (sqrt (/ -1 (acos a))))
  (* a (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (acos a)) (cbrt (acos a)))))
  (* a (/ (* (cbrt -1) (cbrt -1)) (sqrt (acos a))))
  (* a (/ (* (cbrt -1) (cbrt -1)) 1))
  (* a (/ (sqrt -1) (* (cbrt (acos a)) (cbrt (acos a)))))
  (* a (/ (sqrt -1) (sqrt (acos a))))
  (* a (/ (sqrt -1) 1))
  (* a (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))))
  (* a (/ 1 (sqrt (acos a))))
  (* a (/ 1 1))
  (* a 1)
  (* a -1)
  (* (cbrt a) (/ -1 (acos a)))
  (* (sqrt a) (/ -1 (acos a)))
  (* a (/ -1 (acos a)))
  (* a -1)
  (expm1 (/ -1 (acos a)))
  (log1p (/ -1 (acos a)))
  (- (log -1) (log (acos a)))
  (log (/ -1 (acos a)))
  (exp (/ -1 (acos a)))
  (/ (* (* -1 -1) -1) (* (* (acos a) (acos a)) (acos a)))
  (* (cbrt (/ -1 (acos a))) (cbrt (/ -1 (acos a))))
  (cbrt (/ -1 (acos a)))
  (* (* (/ -1 (acos a)) (/ -1 (acos a))) (/ -1 (acos a)))
  (sqrt (/ -1 (acos a)))
  (sqrt (/ -1 (acos a)))
  (- -1)
  (- (acos a))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt -1) (cbrt (acos a)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (acos a)))
  (/ (cbrt -1) (sqrt (acos a)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (acos a))
  (/ (sqrt -1) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt -1) (cbrt (acos a)))
  (/ (sqrt -1) (sqrt (acos a)))
  (/ (sqrt -1) (sqrt (acos a)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ -1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ 1 1)
  (/ -1 (acos a))
  (/ 1 (acos a))
  (/ (acos a) -1)
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ -1 (sqrt (acos a)))
  (/ -1 1)
  (/ (acos a) (cbrt -1))
  (/ (acos a) (sqrt -1))
  (/ (acos a) -1)
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (/ -1 (acos a))
  (/ -1 (acos a))
  (/ -1 (acos a))
5.147 * * [simplify]: Extracting # 0 : cost  0
5.147 * * [simplify]: Extracting # 1 : cost  0
5.148 * * [simplify]: Extracting # 2 : cost  0
5.148 * * [simplify]: Extracting # 3 : cost  0
5.148 * * [simplify]: Extracting # 4 : cost  0
5.148 * * [simplify]: Extracting # 5 : cost  0
5.149 * * [simplify]: iteration  0 :  90  enodes  (cost  582 )
5.197 * * [simplify]: Extracting # 0 : cost  0
5.198 * * [simplify]: Extracting # 1 : cost  0
5.198 * * [simplify]: Extracting # 2 : cost  0
5.199 * * [simplify]: iteration  1 :  184  enodes  (cost  532 )
5.283 * * [simplify]: Extracting # 0 : cost  0
5.284 * * [simplify]: Extracting # 1 : cost  0
5.285 * * [simplify]: Extracting # 2 : cost  0
5.286 * * [simplify]: Extracting # 3 : cost  0
5.287 * * [simplify]: Extracting # 4 : cost  0
5.288 * * [simplify]: Extracting # 5 : cost  0
5.289 * * [simplify]: iteration  2 :  512  enodes  (cost  482 )
5.698 * * [simplify]: Extracting # 0 : cost  0
5.700 * * [simplify]: Extracting # 1 : cost  0
5.701 * * [simplify]: Extracting # 2 : cost  0
5.703 * * [simplify]: Extracting # 3 : cost  0
5.704 * * [simplify]: Extracting # 4 : cost  0
5.705 * * [simplify]: iteration  3 :  1392  enodes  (cost  480 )
9.341 * * [simplify]: Extracting # 0 : cost  0
9.345 * * [simplify]: Extracting # 1 : cost  0
9.348 * * [simplify]: Extracting # 2 : cost  0
9.353 * * [simplify]: Extracting # 3 : cost  0
9.357 * * [simplify]: Extracting # 4 : cost  0
9.362 * * [simplify]: iteration  4 :  3526  enodes  (cost  480 )
11.474 * * [simplify]: Extracting # 0 : cost  0
11.479 * * [simplify]: Extracting # 1 : cost  0
11.483 * * [simplify]: Extracting # 2 : cost  0
11.487 * * [simplify]: iteration done:  5000  enodes  (cost  480 )
11.488 * [simplify]: Simplified to:
  (expm1 (- (/ a (acos a))))
  (log1p (- (/ a (acos a))))
  (/ (- a) (acos a))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (exp (- (/ a (acos a))))
  (pow (- (/ a (acos a))) 3)
  (pow (- (/ a (acos a))) 3)
  (* (cbrt (- (/ a (acos a)))) (cbrt (- (/ a (acos a)))))
  (cbrt (- (/ a (acos a))))
  (pow (- (/ a (acos a))) 3)
  (sqrt (- (/ a (acos a))))
  (sqrt (- (/ a (acos a))))
  (* (sqrt a) (sqrt (/ -1 (acos a))))
  (* (sqrt a) (sqrt (/ -1 (acos a))))
  (* (sqrt a) (/ (sqrt -1) (sqrt (acos a))))
  (* (sqrt a) (/ (sqrt -1) (sqrt (acos a))))
  (* a (* (cbrt (/ -1 (acos a))) (cbrt (/ -1 (acos a)))))
  (* a (sqrt (/ -1 (acos a))))
  (* a (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (acos a)) (cbrt (acos a)))))
  (* a (/ (* (cbrt -1) (cbrt -1)) (sqrt (acos a))))
  (* a (* (cbrt -1) (cbrt -1)))
  (* a (/ (sqrt -1) (* (cbrt (acos a)) (cbrt (acos a)))))
  (* a (/ (sqrt -1) (sqrt (acos a))))
  (* (sqrt -1) a)
  (/ a (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (sqrt (acos a)))
  a
  a
  (- a)
  (/ (- (cbrt a)) (acos a))
  (/ (- (sqrt a)) (acos a))
  (/ (- a) (acos a))
  (- a)
  (expm1 (/ -1 (acos a)))
  (log1p (/ -1 (acos a)))
  (log (/ -1 (acos a)))
  (log (/ -1 (acos a)))
  (exp (/ -1 (acos a)))
  (pow (/ -1 (acos a)) 3)
  (* (cbrt (/ -1 (acos a))) (cbrt (/ -1 (acos a))))
  (cbrt (/ -1 (acos a)))
  (pow (/ -1 (acos a)) 3)
  (sqrt (/ -1 (acos a)))
  (sqrt (/ -1 (acos a)))
  1
  (- (acos a))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt -1) (cbrt (acos a)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (acos a)))
  (/ (cbrt -1) (sqrt (acos a)))
  (* (cbrt -1) (cbrt -1))
  (/ (cbrt -1) (acos a))
  (/ (sqrt -1) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt -1) (cbrt (acos a)))
  (/ (sqrt -1) (sqrt (acos a)))
  (/ (sqrt -1) (sqrt (acos a)))
  (sqrt -1)
  (/ (sqrt -1) (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ -1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  1
  (/ -1 (acos a))
  (/ 1 (acos a))
  (/ (acos a) -1)
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ -1 (sqrt (acos a)))
  -1
  (/ (acos a) (cbrt -1))
  (/ (acos a) (sqrt -1))
  (/ (acos a) -1)
  (/ (- a) (acos a))
  (/ (- a) (acos a))
  (/ (- a) (acos a))
  (/ -1 (acos a))
  (/ -1 (acos a))
  (/ -1 (acos a))
11.488 * * * [progress]: adding candidates to table
11.691 * * [progress]: iteration 3 / 4
11.691 * * * [progress]: picking best candidate
11.700 * * * * [pick]: Picked  #<alt (λ (a) (/ 1 (- (/ (acos a) a))))>
11.700 * * * [progress]: localizing error
11.710 * * * [progress]: generating rewritten candidates
11.710 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
11.740 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
11.763 * * * [progress]: generating series expansions
11.763 * * * * [progress]: [ 1 / 2 ] generating series at (2)
11.763 * [backup-simplify]: Simplify (/ 1 (- (/ (acos a) a))) into (* -1 (/ a (acos a)))
11.763 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0
11.763 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
11.763 * [taylor]: Taking taylor expansion of -1 in a
11.763 * [backup-simplify]: Simplify -1 into -1
11.763 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
11.763 * [taylor]: Taking taylor expansion of a in a
11.763 * [backup-simplify]: Simplify 0 into 0
11.763 * [backup-simplify]: Simplify 1 into 1
11.763 * [taylor]: Taking taylor expansion of (acos a) in a
11.763 * [backup-simplify]: Simplify (acos a) into (acos a)
11.763 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
11.763 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
11.763 * [taylor]: Taking taylor expansion of -1 in a
11.763 * [backup-simplify]: Simplify -1 into -1
11.763 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
11.763 * [taylor]: Taking taylor expansion of a in a
11.763 * [backup-simplify]: Simplify 0 into 0
11.763 * [backup-simplify]: Simplify 1 into 1
11.763 * [taylor]: Taking taylor expansion of (acos a) in a
11.763 * [backup-simplify]: Simplify (acos a) into (acos a)
11.763 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
11.764 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a))
11.764 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
11.764 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0
11.764 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0
11.764 * [backup-simplify]: Simplify 0 into 0
11.765 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
11.766 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0
11.766 * [backup-simplify]: Simplify 0 into 0
11.766 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
11.767 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0
11.767 * [backup-simplify]: Simplify 0 into 0
11.767 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
11.768 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0
11.768 * [backup-simplify]: Simplify 0 into 0
11.768 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
11.769 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0
11.769 * [backup-simplify]: Simplify 0 into 0
11.770 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
11.771 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0
11.771 * [backup-simplify]: Simplify 0 into 0
11.771 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a)))
11.771 * [backup-simplify]: Simplify (/ 1 (- (/ (acos (/ 1 a)) (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a))
11.771 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0
11.771 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
11.771 * [taylor]: Taking taylor expansion of -1 in a
11.771 * [backup-simplify]: Simplify -1 into -1
11.771 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
11.771 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
11.772 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
11.772 * [taylor]: Taking taylor expansion of a in a
11.772 * [backup-simplify]: Simplify 0 into 0
11.772 * [backup-simplify]: Simplify 1 into 1
11.772 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
11.772 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
11.772 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
11.772 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
11.772 * [taylor]: Taking taylor expansion of -1 in a
11.772 * [backup-simplify]: Simplify -1 into -1
11.772 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
11.772 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
11.772 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
11.772 * [taylor]: Taking taylor expansion of a in a
11.772 * [backup-simplify]: Simplify 0 into 0
11.772 * [backup-simplify]: Simplify 1 into 1
11.772 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
11.773 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
11.773 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
11.773 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
11.773 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
11.773 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
11.773 * [backup-simplify]: Simplify 0 into 0
11.774 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.774 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
11.774 * [backup-simplify]: Simplify 0 into 0
11.775 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.775 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
11.775 * [backup-simplify]: Simplify 0 into 0
11.776 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
11.777 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
11.777 * [backup-simplify]: Simplify 0 into 0
11.778 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
11.779 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
11.779 * [backup-simplify]: Simplify 0 into 0
11.780 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
11.781 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
11.782 * [backup-simplify]: Simplify 0 into 0
11.782 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a)))
11.782 * [backup-simplify]: Simplify (/ 1 (- (/ (acos (/ 1 (- a))) (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a))))
11.782 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0
11.782 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
11.782 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
11.782 * [taylor]: Taking taylor expansion of a in a
11.782 * [backup-simplify]: Simplify 0 into 0
11.782 * [backup-simplify]: Simplify 1 into 1
11.782 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
11.782 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
11.783 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
11.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
11.783 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
11.783 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
11.783 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
11.783 * [taylor]: Taking taylor expansion of a in a
11.783 * [backup-simplify]: Simplify 0 into 0
11.783 * [backup-simplify]: Simplify 1 into 1
11.783 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
11.784 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
11.784 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
11.784 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
11.784 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
11.784 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
11.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0
11.786 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
11.786 * [backup-simplify]: Simplify 0 into 0
11.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0
11.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
11.787 * [backup-simplify]: Simplify 0 into 0
11.789 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0
11.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
11.789 * [backup-simplify]: Simplify 0 into 0
11.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0
11.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
11.792 * [backup-simplify]: Simplify 0 into 0
11.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0
11.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
11.793 * [backup-simplify]: Simplify 0 into 0
11.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0
11.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
11.795 * [backup-simplify]: Simplify 0 into 0
11.795 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a)))
11.795 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
11.796 * [backup-simplify]: Simplify (/ (acos a) a) into (/ (acos a) a)
11.796 * [approximate]: Taking taylor expansion of (/ (acos a) a) in (a) around 0
11.796 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a
11.796 * [taylor]: Taking taylor expansion of (acos a) in a
11.796 * [backup-simplify]: Simplify (acos a) into (acos a)
11.796 * [taylor]: Taking taylor expansion of a in a
11.796 * [backup-simplify]: Simplify 0 into 0
11.796 * [backup-simplify]: Simplify 1 into 1
11.796 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a)
11.796 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a
11.796 * [taylor]: Taking taylor expansion of (acos a) in a
11.796 * [backup-simplify]: Simplify (acos a) into (acos a)
11.796 * [taylor]: Taking taylor expansion of a in a
11.796 * [backup-simplify]: Simplify 0 into 0
11.796 * [backup-simplify]: Simplify 1 into 1
11.796 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a)
11.796 * [backup-simplify]: Simplify (acos a) into (acos a)
11.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0
11.797 * [backup-simplify]: Simplify 0 into 0
11.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.797 * [backup-simplify]: Simplify 0 into 0
11.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.799 * [backup-simplify]: Simplify 0 into 0
11.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.800 * [backup-simplify]: Simplify 0 into 0
11.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.802 * [backup-simplify]: Simplify 0 into 0
11.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.804 * [backup-simplify]: Simplify 0 into 0
11.804 * [backup-simplify]: Simplify (* (acos a) (/ 1 a)) into (/ (acos a) a)
11.804 * [backup-simplify]: Simplify (/ (acos (/ 1 a)) (/ 1 a)) into (* (acos (/ 1 a)) a)
11.804 * [approximate]: Taking taylor expansion of (* (acos (/ 1 a)) a) in (a) around 0
11.804 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
11.804 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
11.804 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
11.804 * [taylor]: Taking taylor expansion of a in a
11.804 * [backup-simplify]: Simplify 0 into 0
11.804 * [backup-simplify]: Simplify 1 into 1
11.804 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
11.804 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
11.804 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
11.804 * [taylor]: Taking taylor expansion of a in a
11.804 * [backup-simplify]: Simplify 0 into 0
11.804 * [backup-simplify]: Simplify 1 into 1
11.805 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
11.805 * [backup-simplify]: Simplify 0 into 0
11.805 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
11.805 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
11.805 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
11.805 * [backup-simplify]: Simplify 0 into 0
11.806 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.806 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.807 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
11.807 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
11.808 * [backup-simplify]: Simplify 0 into 0
11.809 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
11.809 * [backup-simplify]: Simplify 0 into 0
11.809 * [backup-simplify]: Simplify (* (acos (/ 1 (/ 1 a))) (/ 1 a)) into (/ (acos a) a)
11.809 * [backup-simplify]: Simplify (/ (acos (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (acos (/ -1 a))))
11.809 * [approximate]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0
11.809 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a
11.809 * [taylor]: Taking taylor expansion of -1 in a
11.809 * [backup-simplify]: Simplify -1 into -1
11.809 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
11.809 * [taylor]: Taking taylor expansion of a in a
11.809 * [backup-simplify]: Simplify 0 into 0
11.809 * [backup-simplify]: Simplify 1 into 1
11.809 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
11.809 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
11.809 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a
11.809 * [taylor]: Taking taylor expansion of -1 in a
11.809 * [backup-simplify]: Simplify -1 into -1
11.809 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
11.809 * [taylor]: Taking taylor expansion of a in a
11.810 * [backup-simplify]: Simplify 0 into 0
11.810 * [backup-simplify]: Simplify 1 into 1
11.810 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
11.810 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
11.810 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
11.810 * [backup-simplify]: Simplify (* -1 0) into 0
11.810 * [backup-simplify]: Simplify 0 into 0
11.810 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
11.811 * [backup-simplify]: Simplify (+ (* -1 (acos (/ -1 a))) (* 0 0)) into (- (acos (/ -1 a)))
11.811 * [backup-simplify]: Simplify (- (acos (/ -1 a))) into (- (acos (/ -1 a)))
11.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0
11.812 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))) into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.813 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0
11.813 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))) into 0
11.813 * [backup-simplify]: Simplify 0 into 0
11.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0
11.815 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))) into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.817 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0
11.818 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))) into 0
11.818 * [backup-simplify]: Simplify 0 into 0
11.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0
11.821 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))))) into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0
11.827 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))))) into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify (* (- (acos (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (acos a) a)
11.827 * * * [progress]: simplifying candidates
11.831 * [simplify]: Simplifying:
  (expm1 (/ 1 (- (/ (acos a) a))))
  (log1p (/ 1 (- (/ (acos a) a))))
  (- 1)
  (- (log (- (/ (acos a) a))))
  (- 0 (log (- (/ (acos a) a))))
  (- (log 1) (log (- (/ (acos a) a))))
  (log (/ 1 (- (/ (acos a) a))))
  (exp (/ 1 (- (/ (acos a) a))))
  (/ (* (* 1 1) 1) (* (* (- (/ (acos a) a)) (- (/ (acos a) a))) (- (/ (acos a) a))))
  (* (cbrt (/ 1 (- (/ (acos a) a)))) (cbrt (/ 1 (- (/ (acos a) a)))))
  (cbrt (/ 1 (- (/ (acos a) a))))
  (* (* (/ 1 (- (/ (acos a) a))) (/ 1 (- (/ (acos a) a)))) (/ 1 (- (/ (acos a) a))))
  (sqrt (/ 1 (- (/ (acos a) a))))
  (sqrt (/ 1 (- (/ (acos a) a))))
  (- 1)
  (- (- (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ (cbrt 1) (cbrt (- (/ (acos a) a))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ (acos a) a))))
  (/ (cbrt 1) (sqrt (- (/ (acos a) a))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) -1)
  (/ (cbrt 1) (/ (acos a) a))
  (/ (* (cbrt 1) (cbrt 1)) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ (cbrt 1) (cbrt (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (sqrt (/ (acos a) a))))
  (/ (cbrt 1) (sqrt (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))))
  (/ (cbrt 1) (/ (cbrt (acos a)) (cbrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))))
  (/ (cbrt 1) (/ (cbrt (acos a)) (sqrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)))
  (/ (cbrt 1) (/ (cbrt (acos a)) a))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))))
  (/ (cbrt 1) (/ (sqrt (acos a)) (cbrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (sqrt a))))
  (/ (cbrt 1) (/ (sqrt (acos a)) (sqrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) 1)))
  (/ (cbrt 1) (/ (sqrt (acos a)) a))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (cbrt 1) (/ (acos a) (cbrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (sqrt a))))
  (/ (cbrt 1) (/ (acos a) (sqrt a)))
  (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 1)))
  (/ (cbrt 1) (/ (acos a) a))
  (/ (* (cbrt 1) (cbrt 1)) (- 1))
  (/ (cbrt 1) (/ (acos a) a))
  (/ (* (cbrt 1) (cbrt 1)) (- (acos a)))
  (/ (cbrt 1) (/ 1 a))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ (cbrt 1) (- (cbrt (/ (acos a) a))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (acos a) a)))
  (/ (cbrt 1) (- (sqrt (/ (acos a) a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))
  (/ (cbrt 1) (- (/ (cbrt (acos a)) (cbrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))
  (/ (cbrt 1) (- (/ (cbrt (acos a)) (sqrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))
  (/ (cbrt 1) (- (/ (cbrt (acos a)) a)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))
  (/ (cbrt 1) (- (/ (sqrt (acos a)) (cbrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (sqrt a)))
  (/ (cbrt 1) (- (/ (sqrt (acos a)) (sqrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) 1))
  (/ (cbrt 1) (- (/ (sqrt (acos a)) a)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (cbrt 1) (- (/ (acos a) (cbrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt a)))
  (/ (cbrt 1) (- (/ (acos a) (sqrt a))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (- (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- (/ (acos a) a)))
  (/ (* (cbrt 1) (cbrt 1)) (acos a))
  (/ (cbrt 1) (- (/ 1 a)))
  (/ (sqrt 1) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ (sqrt 1) (cbrt (- (/ (acos a) a))))
  (/ (sqrt 1) (sqrt (- (/ (acos a) a))))
  (/ (sqrt 1) (sqrt (- (/ (acos a) a))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- (/ (acos a) a)))
  (/ (sqrt 1) -1)
  (/ (sqrt 1) (/ (acos a) a))
  (/ (sqrt 1) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ (sqrt 1) (cbrt (/ (acos a) a)))
  (/ (sqrt 1) (- (sqrt (/ (acos a) a))))
  (/ (sqrt 1) (sqrt (/ (acos a) a)))
  (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))))
  (/ (sqrt 1) (/ (cbrt (acos a)) (cbrt a)))
  (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))))
  (/ (sqrt 1) (/ (cbrt (acos a)) (sqrt a)))
  (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)))
  (/ (sqrt 1) (/ (cbrt (acos a)) a))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))))
  (/ (sqrt 1) (/ (sqrt (acos a)) (cbrt a)))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) (sqrt a))))
  (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a)))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) 1)))
  (/ (sqrt 1) (/ (sqrt (acos a)) a))
  (/ (sqrt 1) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (sqrt 1) (/ (acos a) (cbrt a)))
  (/ (sqrt 1) (- (/ 1 (sqrt a))))
  (/ (sqrt 1) (/ (acos a) (sqrt a)))
  (/ (sqrt 1) (- (/ 1 1)))
  (/ (sqrt 1) (/ (acos a) a))
  (/ (sqrt 1) (- 1))
  (/ (sqrt 1) (/ (acos a) a))
  (/ (sqrt 1) (- (acos a)))
  (/ (sqrt 1) (/ 1 a))
  (/ (sqrt 1) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ (sqrt 1) (- (cbrt (/ (acos a) a))))
  (/ (sqrt 1) (sqrt (/ (acos a) a)))
  (/ (sqrt 1) (- (sqrt (/ (acos a) a))))
  (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))
  (/ (sqrt 1) (- (/ (cbrt (acos a)) (cbrt a))))
  (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))
  (/ (sqrt 1) (- (/ (cbrt (acos a)) (sqrt a))))
  (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))
  (/ (sqrt 1) (- (/ (cbrt (acos a)) a)))
  (/ (sqrt 1) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) (cbrt a))))
  (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a)))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) (sqrt a))))
  (/ (sqrt 1) (/ (sqrt (acos a)) 1))
  (/ (sqrt 1) (- (/ (sqrt (acos a)) a)))
  (/ (sqrt 1) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (sqrt 1) (- (/ (acos a) (cbrt a))))
  (/ (sqrt 1) (/ 1 (sqrt a)))
  (/ (sqrt 1) (- (/ (acos a) (sqrt a))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (- (/ (acos a) a)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- (/ (acos a) a)))
  (/ (sqrt 1) (acos a))
  (/ (sqrt 1) (- (/ 1 a)))
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (cbrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 1)
  (/ 1 (- (/ (acos a) a)))
  (/ 1 -1)
  (/ 1 (/ (acos a) a))
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (cbrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))))
  (/ 1 (/ (cbrt (acos a)) (cbrt a)))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))))
  (/ 1 (/ (cbrt (acos a)) (sqrt a)))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)))
  (/ 1 (/ (cbrt (acos a)) a))
  (/ 1 (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))))
  (/ 1 (/ (sqrt (acos a)) (cbrt a)))
  (/ 1 (- (/ (sqrt (acos a)) (sqrt a))))
  (/ 1 (/ (sqrt (acos a)) (sqrt a)))
  (/ 1 (- (/ (sqrt (acos a)) 1)))
  (/ 1 (/ (sqrt (acos a)) a))
  (/ 1 (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ 1 (/ (acos a) (cbrt a)))
  (/ 1 (- (/ 1 (sqrt a))))
  (/ 1 (/ (acos a) (sqrt a)))
  (/ 1 (- (/ 1 1)))
  (/ 1 (/ (acos a) a))
  (/ 1 (- 1))
  (/ 1 (/ (acos a) a))
  (/ 1 (- (acos a)))
  (/ 1 (/ 1 a))
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (- (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))
  (/ 1 (- (/ (cbrt (acos a)) (cbrt a))))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))
  (/ 1 (- (/ (cbrt (acos a)) (sqrt a))))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))
  (/ 1 (- (/ (cbrt (acos a)) a)))
  (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))
  (/ 1 (- (/ (sqrt (acos a)) (cbrt a))))
  (/ 1 (/ (sqrt (acos a)) (sqrt a)))
  (/ 1 (- (/ (sqrt (acos a)) (sqrt a))))
  (/ 1 (/ (sqrt (acos a)) 1))
  (/ 1 (- (/ (sqrt (acos a)) a)))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ 1 (- (/ (acos a) (cbrt a))))
  (/ 1 (/ 1 (sqrt a)))
  (/ 1 (- (/ (acos a) (sqrt a))))
  (/ 1 (/ 1 1))
  (/ 1 (- (/ (acos a) a)))
  (/ 1 1)
  (/ 1 (- (/ (acos a) a)))
  (/ 1 (acos a))
  (/ 1 (- (/ 1 a)))
  (/ 1 (- (/ (acos a) a)))
  (/ (- (/ (acos a) a)) 1)
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 1)
  (/ 1 -1)
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))))
  (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)))
  (/ 1 (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))))
  (/ 1 (- (/ (sqrt (acos a)) (sqrt a))))
  (/ 1 (- (/ (sqrt (acos a)) 1)))
  (/ 1 (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ 1 (- (/ 1 (sqrt a))))
  (/ 1 (- (/ 1 1)))
  (/ 1 (- 1))
  (/ 1 (- (acos a)))
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))
  (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))
  (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))
  (/ 1 (/ (sqrt (acos a)) (sqrt a)))
  (/ 1 (/ (sqrt (acos a)) 1))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ 1 (/ 1 (sqrt a)))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (acos a))
  (/ (- (/ (acos a) a)) (cbrt 1))
  (/ (- (/ (acos a) a)) (sqrt 1))
  (/ (- (/ (acos a) a)) 1)
  (/ 1 (- (acos a)))
  (expm1 (/ (acos a) a))
  (log1p (/ (acos a) a))
  (- (log (acos a)) (log a))
  (log (/ (acos a) a))
  (exp (/ (acos a) a))
  (/ (* (* (acos a) (acos a)) (acos a)) (* (* a a) a))
  (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))
  (cbrt (/ (acos a) a))
  (* (* (/ (acos a) a) (/ (acos a) a)) (/ (acos a) a))
  (sqrt (/ (acos a) a))
  (sqrt (/ (acos a) a))
  (- (acos a))
  (- a)
  (/ (/ PI 2) a)
  (/ (asin a) a)
  (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (acos a)) (cbrt a))
  (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))
  (/ (cbrt (acos a)) (sqrt a))
  (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)
  (/ (cbrt (acos a)) a)
  (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (acos a)) (cbrt a))
  (/ (sqrt (acos a)) (sqrt a))
  (/ (sqrt (acos a)) (sqrt a))
  (/ (sqrt (acos a)) 1)
  (/ (sqrt (acos a)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (acos a) (cbrt a))
  (/ 1 (sqrt a))
  (/ (acos a) (sqrt a))
  (/ 1 1)
  (/ (acos a) a)
  (/ 1 a)
  (/ a (acos a))
  (/ (acos a) (* (cbrt a) (cbrt a)))
  (/ (acos a) (sqrt a))
  (/ (acos a) 1)
  (/ a (cbrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ a (acos a))
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (/ (acos a) a)
  (/ (acos a) a)
  (/ (acos a) a)
11.840 * * [simplify]: Extracting # 0 : cost  0
11.840 * * [simplify]: Extracting # 1 : cost  0
11.841 * * [simplify]: Extracting # 2 : cost  0
11.842 * * [simplify]: Extracting # 3 : cost  0
11.842 * * [simplify]: Extracting # 4 : cost  0
11.843 * * [simplify]: Extracting # 5 : cost  0
11.844 * * [simplify]: Extracting # 6 : cost  0
11.845 * * [simplify]: iteration  0 :  265  enodes  (cost  2409 )
12.054 * * [simplify]: Extracting # 0 : cost  0
12.054 * * [simplify]: Extracting # 1 : cost  0
12.055 * * [simplify]: Extracting # 2 : cost  0
12.055 * * [simplify]: iteration  1 :  472  enodes  (cost  2004 )
12.157 * * [simplify]: Extracting # 0 : cost  0
12.158 * * [simplify]: Extracting # 1 : cost  0
12.158 * * [simplify]: Extracting # 2 : cost  0
12.159 * * [simplify]: Extracting # 3 : cost  0
12.159 * * [simplify]: iteration  2 :  774  enodes  (cost  1861 )
12.631 * * [simplify]: Extracting # 0 : cost  0
12.634 * * [simplify]: Extracting # 1 : cost  0
12.636 * * [simplify]: Extracting # 2 : cost  0
12.639 * * [simplify]: Extracting # 3 : cost  0
12.641 * * [simplify]: Extracting # 4 : cost  0
12.644 * * [simplify]: iteration  3 :  1510  enodes  (cost  1711 )
13.888 * * [simplify]: Extracting # 0 : cost  0
13.890 * * [simplify]: Extracting # 1 : cost  0
13.892 * * [simplify]: Extracting # 2 : cost  0
13.894 * * [simplify]: Extracting # 3 : cost  0
13.895 * * [simplify]: Extracting # 4 : cost  0
13.897 * * [simplify]: iteration  4 :  2755  enodes  (cost  1711 )
18.298 * * [simplify]: Extracting # 0 : cost  0
18.302 * * [simplify]: Extracting # 1 : cost  0
18.305 * * [simplify]: Extracting # 2 : cost  0
18.308 * * [simplify]: Extracting # 3 : cost  0
18.310 * * [simplify]: Extracting # 4 : cost  0
18.313 * * [simplify]: iteration done:  5000  enodes  (cost  1711 )
18.314 * [simplify]: Simplified to:
  (expm1 (/ a (- (acos a))))
  (log1p (/ a (- (acos a))))
  -1
  (log (/ a (- (acos a))))
  (log (/ a (- (acos a))))
  (log (/ a (- (acos a))))
  (log (/ a (- (acos a))))
  (exp (/ a (- (acos a))))
  (pow (/ a (- (acos a))) 3)
  (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a)))))
  (cbrt (/ a (- (acos a))))
  (pow (/ a (- (acos a))) 3)
  (sqrt (/ a (- (acos a))))
  (sqrt (/ a (- (acos a))))
  -1
  (/ (acos a) a)
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (cbrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  1
  (- (/ a (acos a)))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (cbrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ 1 (- (sqrt (acos a))))
  (/ a (sqrt (acos a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (acos a)))
  a
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (- (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt a) (- (cbrt (acos a))))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (- (cbrt (acos a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (acos a)))
  (/ a (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ a (- (sqrt (acos a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (- (/ a (acos a)))
  1
  (- (/ a (acos a)))
  (/ 1 (acos a))
  (- a)
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (cbrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  1
  (- (/ a (acos a)))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (cbrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ 1 (- (sqrt (acos a))))
  (/ a (sqrt (acos a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (acos a)))
  a
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (- (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt a) (- (cbrt (acos a))))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (- (cbrt (acos a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (acos a)))
  (/ a (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ a (- (sqrt (acos a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (- (/ a (acos a)))
  1
  (- (/ a (acos a)))
  (/ 1 (acos a))
  (- a)
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (cbrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  1
  (- (/ a (acos a)))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (cbrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ 1 (- (sqrt (acos a))))
  (/ a (sqrt (acos a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (acos a)))
  a
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (- (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt a) (- (cbrt (acos a))))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (- (cbrt (acos a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (acos a)))
  (/ a (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ a (- (sqrt (acos a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (- (/ a (acos a)))
  1
  (- (/ a (acos a)))
  (/ 1 (acos a))
  (- a)
  (- (/ a (acos a)))
  (- (/ (acos a) a))
  (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a)))))
  (/ 1 (sqrt (- (/ (acos a) a))))
  1
  -1
  (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))))
  (/ 1 (- (sqrt (/ (acos a) a))))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a))))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (- (sqrt (acos a))))
  (- (* (cbrt a) (cbrt a)))
  (- (sqrt a))
  -1
  -1
  (/ 1 (- (acos a)))
  (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))
  (/ 1 (sqrt (/ (acos a) a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (sqrt a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (* (cbrt a) (cbrt a))
  (sqrt a)
  1
  1
  (/ 1 (acos a))
  (- (/ (acos a) a))
  (- (/ (acos a) a))
  (- (/ (acos a) a))
  (/ 1 (- (acos a)))
  (expm1 (/ (acos a) a))
  (log1p (/ (acos a) a))
  (log (/ (acos a) a))
  (log (/ (acos a) a))
  (exp (/ (acos a) a))
  (pow (/ (acos a) a) 3)
  (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))
  (cbrt (/ (acos a) a))
  (pow (/ (acos a) a) 3)
  (sqrt (/ (acos a) a))
  (sqrt (/ (acos a) a))
  (- (acos a))
  (- a)
  (/ (/ PI 2) a)
  (/ (asin a) a)
  (/ (* (cbrt (acos a)) (/ (cbrt (acos a)) (cbrt a))) (cbrt a))
  (/ (cbrt (acos a)) (cbrt a))
  (/ (cbrt (acos a)) (/ (sqrt a) (cbrt (acos a))))
  (/ (cbrt (acos a)) (sqrt a))
  (* (cbrt (acos a)) (cbrt (acos a)))
  (/ (cbrt (acos a)) a)
  (/ (/ (sqrt (acos a)) (cbrt a)) (cbrt a))
  (/ (sqrt (acos a)) (cbrt a))
  (/ (sqrt (acos a)) (sqrt a))
  (/ (sqrt (acos a)) (sqrt a))
  (sqrt (acos a))
  (/ (sqrt (acos a)) a)
  (/ (/ 1 (cbrt a)) (cbrt a))
  (/ (acos a) (cbrt a))
  (/ 1 (sqrt a))
  (/ (acos a) (sqrt a))
  1
  (/ (acos a) a)
  (/ 1 a)
  (/ a (acos a))
  (/ (acos a) (* (cbrt a) (cbrt a)))
  (/ (acos a) (sqrt a))
  (acos a)
  (/ a (cbrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ a (acos a))
  (- (/ a (acos a)))
  (- (/ a (acos a)))
  (- (/ a (acos a)))
  (/ (acos a) a)
  (/ (acos a) a)
  (/ (acos a) a)
18.316 * * * [progress]: adding candidates to table
18.651 * * [progress]: iteration 4 / 4
18.651 * * * [progress]: picking best candidate
18.665 * * * * [pick]: Picked  #<alt (λ (a) (/ (/ 1 (acos a)) (- (/ 1 a))))>
18.665 * * * [progress]: localizing error
18.680 * * * [progress]: generating rewritten candidates
18.680 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
18.722 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
18.790 * * * [progress]: generating series expansions
18.790 * * * * [progress]: [ 1 / 2 ] generating series at (2)
18.790 * [backup-simplify]: Simplify (/ (/ 1 (acos a)) (- (/ 1 a))) into (* -1 (/ a (acos a)))
18.790 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0
18.790 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
18.790 * [taylor]: Taking taylor expansion of -1 in a
18.790 * [backup-simplify]: Simplify -1 into -1
18.790 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
18.790 * [taylor]: Taking taylor expansion of a in a
18.790 * [backup-simplify]: Simplify 0 into 0
18.791 * [backup-simplify]: Simplify 1 into 1
18.791 * [taylor]: Taking taylor expansion of (acos a) in a
18.791 * [backup-simplify]: Simplify (acos a) into (acos a)
18.791 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.791 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a
18.791 * [taylor]: Taking taylor expansion of -1 in a
18.791 * [backup-simplify]: Simplify -1 into -1
18.791 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a
18.791 * [taylor]: Taking taylor expansion of a in a
18.791 * [backup-simplify]: Simplify 0 into 0
18.791 * [backup-simplify]: Simplify 1 into 1
18.791 * [taylor]: Taking taylor expansion of (acos a) in a
18.791 * [backup-simplify]: Simplify (acos a) into (acos a)
18.791 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.791 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a))
18.791 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a))
18.792 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0
18.793 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0
18.793 * [backup-simplify]: Simplify 0 into 0
18.793 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0
18.794 * [backup-simplify]: Simplify 0 into 0
18.794 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.796 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0
18.796 * [backup-simplify]: Simplify 0 into 0
18.796 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.798 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0
18.798 * [backup-simplify]: Simplify 0 into 0
18.798 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.800 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0
18.800 * [backup-simplify]: Simplify 0 into 0
18.801 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.803 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0
18.803 * [backup-simplify]: Simplify 0 into 0
18.803 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a)))
18.804 * [backup-simplify]: Simplify (/ (/ 1 (acos (/ 1 a))) (- (/ 1 (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a))
18.804 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0
18.804 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
18.804 * [taylor]: Taking taylor expansion of -1 in a
18.804 * [backup-simplify]: Simplify -1 into -1
18.804 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
18.804 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
18.804 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
18.804 * [taylor]: Taking taylor expansion of a in a
18.804 * [backup-simplify]: Simplify 0 into 0
18.804 * [backup-simplify]: Simplify 1 into 1
18.804 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
18.804 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
18.805 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
18.805 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a
18.805 * [taylor]: Taking taylor expansion of -1 in a
18.805 * [backup-simplify]: Simplify -1 into -1
18.805 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a
18.805 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
18.805 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
18.805 * [taylor]: Taking taylor expansion of a in a
18.805 * [backup-simplify]: Simplify 0 into 0
18.805 * [backup-simplify]: Simplify 1 into 1
18.805 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0
18.806 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a))
18.806 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
18.806 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a)))
18.807 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
18.807 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
18.807 * [backup-simplify]: Simplify 0 into 0
18.808 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
18.808 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.808 * [backup-simplify]: Simplify 0 into 0
18.809 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
18.810 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.810 * [backup-simplify]: Simplify 0 into 0
18.811 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
18.811 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.811 * [backup-simplify]: Simplify 0 into 0
18.813 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
18.813 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.813 * [backup-simplify]: Simplify 0 into 0
18.815 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
18.816 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.816 * [backup-simplify]: Simplify 0 into 0
18.816 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a)))
18.816 * [backup-simplify]: Simplify (/ (/ 1 (acos (/ 1 (- a)))) (- (/ 1 (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a))))
18.816 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0
18.816 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
18.816 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
18.816 * [taylor]: Taking taylor expansion of a in a
18.816 * [backup-simplify]: Simplify 0 into 0
18.816 * [backup-simplify]: Simplify 1 into 1
18.816 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
18.816 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
18.817 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
18.817 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
18.817 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.817 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a
18.817 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a
18.817 * [taylor]: Taking taylor expansion of a in a
18.817 * [backup-simplify]: Simplify 0 into 0
18.817 * [backup-simplify]: Simplify 1 into 1
18.817 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
18.817 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
18.817 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0
18.818 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a))
18.818 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.818 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0
18.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
18.819 * [backup-simplify]: Simplify 0 into 0
18.821 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0
18.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.821 * [backup-simplify]: Simplify 0 into 0
18.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0
18.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.823 * [backup-simplify]: Simplify 0 into 0
18.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0
18.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.825 * [backup-simplify]: Simplify 0 into 0
18.827 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0
18.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.828 * [backup-simplify]: Simplify 0 into 0
18.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0
18.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.832 * [backup-simplify]: Simplify 0 into 0
18.832 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a)))
18.832 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
18.832 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.832 * [approximate]: Taking taylor expansion of (/ 1 (acos a)) in (a) around 0
18.832 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a
18.832 * [taylor]: Taking taylor expansion of (acos a) in a
18.832 * [backup-simplify]: Simplify (acos a) into (acos a)
18.832 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.832 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a
18.832 * [taylor]: Taking taylor expansion of (acos a) in a
18.832 * [backup-simplify]: Simplify (acos a) into (acos a)
18.832 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.833 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0
18.833 * [backup-simplify]: Simplify 0 into 0
18.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.833 * [backup-simplify]: Simplify 0 into 0
18.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.834 * [backup-simplify]: Simplify 0 into 0
18.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.834 * [backup-simplify]: Simplify 0 into 0
18.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.834 * [backup-simplify]: Simplify 0 into 0
18.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0
18.835 * [backup-simplify]: Simplify 0 into 0
18.835 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a))
18.835 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a)))
18.835 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in (a) around 0
18.835 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a
18.835 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
18.835 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
18.836 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a)))
18.836 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a
18.836 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a
18.836 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a))
18.836 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a)))
18.836 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a)))
18.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0
18.836 * [backup-simplify]: Simplify 0 into 0
18.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.837 * [backup-simplify]: Simplify 0 into 0
18.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.837 * [backup-simplify]: Simplify 0 into 0
18.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.838 * [backup-simplify]: Simplify 0 into 0
18.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.838 * [backup-simplify]: Simplify 0 into 0
18.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0
18.839 * [backup-simplify]: Simplify 0 into 0
18.839 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (/ 1 a)))) into (/ 1 (acos a))
18.839 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (- a)))) into (/ 1 (acos (/ -1 a)))
18.839 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in (a) around 0
18.839 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a
18.839 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
18.840 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
18.840 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.840 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a
18.840 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a
18.840 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a))
18.840 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.840 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a)))
18.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0
18.840 * [backup-simplify]: Simplify 0 into 0
18.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.841 * [backup-simplify]: Simplify 0 into 0
18.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.841 * [backup-simplify]: Simplify 0 into 0
18.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.842 * [backup-simplify]: Simplify 0 into 0
18.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.842 * [backup-simplify]: Simplify 0 into 0
18.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0
18.843 * [backup-simplify]: Simplify 0 into 0
18.843 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 (/ 1 (- a))))) into (/ 1 (acos a))
18.843 * * * [progress]: simplifying candidates
18.868 * [simplify]: Simplifying:
  (expm1 (/ (/ 1 (acos a)) (- (/ 1 a))))
  (log1p (/ (/ 1 (acos a)) (- (/ 1 a))))
  (- (- (log (acos a))) (log (- (/ 1 a))))
  (- (- 0 (log (acos a))) (log (- (/ 1 a))))
  (- (- (log 1) (log (acos a))) (log (- (/ 1 a))))
  (- (log (/ 1 (acos a))) (log (- (/ 1 a))))
  (log (/ (/ 1 (acos a)) (- (/ 1 a))))
  (exp (/ (/ 1 (acos a)) (- (/ 1 a))))
  (/ (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a))) (* (* (- (/ 1 a)) (- (/ 1 a))) (- (/ 1 a))))
  (/ (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a))) (* (* (- (/ 1 a)) (- (/ 1 a))) (- (/ 1 a))))
  (* (cbrt (/ (/ 1 (acos a)) (- (/ 1 a)))) (cbrt (/ (/ 1 (acos a)) (- (/ 1 a)))))
  (cbrt (/ (/ 1 (acos a)) (- (/ 1 a))))
  (* (* (/ (/ 1 (acos a)) (- (/ 1 a))) (/ (/ 1 (acos a)) (- (/ 1 a)))) (/ (/ 1 (acos a)) (- (/ 1 a))))
  (sqrt (/ (/ 1 (acos a)) (- (/ 1 a))))
  (sqrt (/ (/ 1 (acos a)) (- (/ 1 a))))
  (- (/ 1 (acos a)))
  (- (- (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (cbrt (/ 1 (acos a))) (cbrt (- (/ 1 a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (- (/ 1 a))))
  (/ (cbrt (/ 1 (acos a))) (sqrt (- (/ 1 a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1)
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (/ (cbrt (/ 1 (acos a))) (/ 1 a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (cbrt (/ 1 (acos a))) (cbrt (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (sqrt (/ 1 a))))
  (/ (cbrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) (sqrt a))))
  (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) 1)))
  (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (cbrt (/ 1 (acos a))) (/ 1 (cbrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 (sqrt a))))
  (/ (cbrt (/ 1 (acos a))) (/ 1 (sqrt a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 1)))
  (/ (cbrt (/ 1 (acos a))) (/ 1 a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- 1))
  (/ (cbrt (/ 1 (acos a))) (/ 1 a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- 1))
  (/ (cbrt (/ 1 (acos a))) (/ 1 a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (cbrt (/ 1 (acos a))) (- (cbrt (/ 1 a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ 1 a)))
  (/ (cbrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) (sqrt a)))
  (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) 1))
  (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 (cbrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 (sqrt a)))
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 (sqrt a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 1))
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1)
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1)
  (/ (cbrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (sqrt (/ 1 (acos a))) (cbrt (- (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (- (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (- (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) 1)
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) -1)
  (/ (sqrt (/ 1 (acos a))) (/ 1 a))
  (/ (sqrt (/ 1 (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (sqrt (/ 1 (acos a))) (cbrt (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) a))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) 1)))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) a))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (sqrt (/ 1 (acos a))) (/ 1 (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ 1 (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 1)))
  (/ (sqrt (/ 1 (acos a))) (/ 1 a))
  (/ (sqrt (/ 1 (acos a))) (- 1))
  (/ (sqrt (/ 1 (acos a))) (/ 1 a))
  (/ (sqrt (/ 1 (acos a))) (- 1))
  (/ (sqrt (/ 1 (acos a))) (/ 1 a))
  (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (- (cbrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) a)))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) 1))
  (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) a)))
  (/ (sqrt (/ 1 (acos a))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 (cbrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ 1 (sqrt a)))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 (sqrt a))))
  (/ (sqrt (/ 1 (acos a))) (/ 1 1))
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) 1)
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) 1)
  (/ (sqrt (/ 1 (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) -1)
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a)))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1))
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1)
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) -1)
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) 1)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 1)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- 1))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- 1))
  (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 1))
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1)
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1)
  (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (cbrt 1) (acos a)) (cbrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (- (/ 1 a))))
  (/ (/ (cbrt 1) (acos a)) (sqrt (- (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) -1)
  (/ (/ (cbrt 1) (acos a)) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (cbrt 1) (acos a)) (cbrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (sqrt (/ 1 a))))
  (/ (/ (cbrt 1) (acos a)) (sqrt (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) 1)))
  (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (cbrt 1) (acos a)) (/ 1 (cbrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 (sqrt a))))
  (/ (/ (cbrt 1) (acos a)) (/ 1 (sqrt a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 1)))
  (/ (/ (cbrt 1) (acos a)) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- 1))
  (/ (/ (cbrt 1) (acos a)) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- 1))
  (/ (/ (cbrt 1) (acos a)) (/ 1 a))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (cbrt 1) (acos a)) (- (cbrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 a)))
  (/ (/ (cbrt 1) (acos a)) (- (sqrt (/ 1 a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt a)))
  (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 (cbrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt a)))
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 (sqrt a))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) -1)
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1))
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) 1)
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) -1)
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) 1)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 1)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- 1))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- 1))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a))
  (/ (/ (sqrt 1) (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 1))
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) 1)
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) (sqrt (acos a))) 1)
  (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ (sqrt 1) 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ (sqrt 1) (acos a)) (cbrt (- (/ 1 a))))
  (/ (/ (sqrt 1) 1) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) (acos a)) (sqrt (- (/ 1 a))))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (sqrt 1) 1) -1)
  (/ (/ (sqrt 1) (acos a)) (/ 1 a))
  (/ (/ (sqrt 1) 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ (sqrt 1) (acos a)) (cbrt (/ 1 a)))
  (/ (/ (sqrt 1) 1) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) (acos a)) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) (cbrt a)))
  (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) (sqrt a)))
  (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) a))
  (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) (cbrt a)))
  (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) 1)))
  (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) a))
  (/ (/ (sqrt 1) 1) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ (sqrt 1) (acos a)) (/ 1 (cbrt a)))
  (/ (/ (sqrt 1) 1) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) (acos a)) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) 1) (- (/ 1 1)))
  (/ (/ (sqrt 1) (acos a)) (/ 1 a))
  (/ (/ (sqrt 1) 1) (- 1))
  (/ (/ (sqrt 1) (acos a)) (/ 1 a))
  (/ (/ (sqrt 1) 1) (- 1))
  (/ (/ (sqrt 1) (acos a)) (/ 1 a))
  (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) (acos a)) (- (cbrt (/ 1 a))))
  (/ (/ (sqrt 1) 1) (sqrt (/ 1 a)))
  (/ (/ (sqrt 1) (acos a)) (- (sqrt (/ 1 a))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) a)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt a)))
  (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) a)))
  (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 (cbrt a))))
  (/ (/ (sqrt 1) 1) (/ 1 (sqrt a)))
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 (sqrt a))))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (acos a)) (- (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) -1)
  (/ (/ 1 (cbrt (acos a))) (/ 1 a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1)))
  (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (cbrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a))))
  (/ (/ 1 (cbrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1)))
  (/ (/ 1 (cbrt (acos a))) (/ 1 a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ 1 (cbrt (acos a))) (/ 1 a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- 1))
  (/ (/ 1 (cbrt (acos a))) (/ 1 a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1))
  (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a)))
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1))
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1)
  (/ (/ 1 (cbrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (- (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (- (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) 1)
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) -1)
  (/ (/ 1 (sqrt (acos a))) (/ 1 a))
  (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) (cbrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) a))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (cbrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) 1)))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) a))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (sqrt (acos a))) (/ 1 (cbrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 1)))
  (/ (/ 1 (sqrt (acos a))) (/ 1 a))
  (/ (/ 1 (sqrt (acos a))) (- 1))
  (/ (/ 1 (sqrt (acos a))) (/ 1 a))
  (/ (/ 1 (sqrt (acos a))) (- 1))
  (/ (/ 1 (sqrt (acos a))) (/ 1 a))
  (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) a)))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) 1))
  (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) a)))
  (/ (/ 1 (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 (cbrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ 1 (sqrt a)))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 (sqrt a))))
  (/ (/ 1 (sqrt (acos a))) (/ 1 1))
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) 1)
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) 1)
  (/ (/ 1 (sqrt (acos a))) (- (/ 1 a)))
  (/ (/ 1 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (- (/ 1 a))))
  (/ (/ 1 1) (sqrt (- (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (- (/ 1 a))))
  (/ (/ 1 1) 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ (/ 1 1) -1)
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ (/ 1 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ (/ 1 1) (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a)))
  (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a)))
  (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (acos a)) (/ (cbrt 1) a))
  (/ (/ 1 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a)))
  (/ (/ 1 1) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 1) (- (/ (sqrt 1) 1)))
  (/ (/ 1 (acos a)) (/ (sqrt 1) a))
  (/ (/ 1 1) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ 1 (cbrt a)))
  (/ (/ 1 1) (- (/ 1 (sqrt a))))
  (/ (/ 1 (acos a)) (/ 1 (sqrt a)))
  (/ (/ 1 1) (- (/ 1 1)))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ (/ 1 1) (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ (/ 1 1) (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ (/ 1 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ (/ 1 1) (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) a)))
  (/ (/ 1 1) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a))))
  (/ (/ 1 1) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) a)))
  (/ (/ 1 1) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ 1 (cbrt a))))
  (/ (/ 1 1) (/ 1 (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ 1 (sqrt a))))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (- (/ 1 a))))
  (/ 1 (sqrt (- (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (- (/ 1 a))))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 -1)
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (acos a)) (/ (cbrt 1) a))
  (/ 1 (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a)))
  (/ 1 (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ 1 (- (/ (sqrt 1) 1)))
  (/ (/ 1 (acos a)) (/ (sqrt 1) a))
  (/ 1 (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ 1 (cbrt a)))
  (/ 1 (- (/ 1 (sqrt a))))
  (/ (/ 1 (acos a)) (/ 1 (sqrt a)))
  (/ 1 (- (/ 1 1)))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) a)))
  (/ 1 (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a))))
  (/ 1 (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) a)))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ 1 (cbrt a))))
  (/ 1 (/ 1 (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ 1 (sqrt a))))
  (/ 1 (/ 1 1))
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (- (/ 1 a))))
  (/ 1 (sqrt (- (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (- (/ 1 a))))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 -1)
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a)))
  (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (acos a)) (/ (cbrt 1) a))
  (/ 1 (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a)))
  (/ 1 (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ 1 (- (/ (sqrt 1) 1)))
  (/ (/ 1 (acos a)) (/ (sqrt 1) a))
  (/ 1 (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (/ 1 (cbrt a)))
  (/ 1 (- (/ 1 (sqrt a))))
  (/ (/ 1 (acos a)) (/ 1 (sqrt a)))
  (/ 1 (- (/ 1 1)))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (- 1))
  (/ (/ 1 (acos a)) (/ 1 a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (acos a)) (- (/ (cbrt 1) a)))
  (/ 1 (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a))))
  (/ 1 (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) a)))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (- (/ 1 (cbrt a))))
  (/ 1 (/ 1 (sqrt a)))
  (/ (/ 1 (acos a)) (- (/ 1 (sqrt a))))
  (/ 1 (/ 1 1))
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 1)
  (/ (/ 1 (acos a)) (- (/ 1 a)))
  (/ 1 (- (/ 1 a)))
  (/ (- (/ 1 a)) (/ 1 (acos a)))
  (/ (/ 1 (acos a)) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a)))))
  (/ (/ 1 (acos a)) (sqrt (- (/ 1 a))))
  (/ (/ 1 (acos a)) 1)
  (/ (/ 1 (acos a)) -1)
  (/ (/ 1 (acos a)) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a))))
  (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) 1)))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a))))
  (/ (/ 1 (acos a)) (- (/ (sqrt 1) 1)))
  (/ (/ 1 (acos a)) (- (/ 1 (* (cbrt a) (cbrt a)))))
  (/ (/ 1 (acos a)) (- (/ 1 (sqrt a))))
  (/ (/ 1 (acos a)) (- (/ 1 1)))
  (/ (/ 1 (acos a)) (- 1))
  (/ (/ 1 (acos a)) (- 1))
  (/ (/ 1 (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))
  (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a)))
  (/ (/ 1 (acos a)) (/ (sqrt 1) 1))
  (/ (/ 1 (acos a)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (/ 1 (acos a)) (/ 1 (sqrt a)))
  (/ (/ 1 (acos a)) (/ 1 1))
  (/ (/ 1 (acos a)) 1)
  (/ (/ 1 (acos a)) 1)
  (/ (- (/ 1 a)) (cbrt (/ 1 (acos a))))
  (/ (- (/ 1 a)) (sqrt (/ 1 (acos a))))
  (/ (- (/ 1 a)) (/ (cbrt 1) (cbrt (acos a))))
  (/ (- (/ 1 a)) (/ (cbrt 1) (sqrt (acos a))))
  (/ (- (/ 1 a)) (/ (cbrt 1) (acos a)))
  (/ (- (/ 1 a)) (/ (sqrt 1) (cbrt (acos a))))
  (/ (- (/ 1 a)) (/ (sqrt 1) (sqrt (acos a))))
  (/ (- (/ 1 a)) (/ (sqrt 1) (acos a)))
  (/ (- (/ 1 a)) (/ 1 (cbrt (acos a))))
  (/ (- (/ 1 a)) (/ 1 (sqrt (acos a))))
  (/ (- (/ 1 a)) (/ 1 (acos a)))
  (/ (- (/ 1 a)) (/ 1 (acos a)))
  (/ (- (/ 1 a)) (/ 1 (acos a)))
  (/ (/ 1 (acos a)) (- 1))
  (* (- (/ 1 a)) (acos a))
  (expm1 (/ 1 (acos a)))
  (log1p (/ 1 (acos a)))
  (- 1)
  (- (log (acos a)))
  (- 0 (log (acos a)))
  (- (log 1) (log (acos a)))
  (log (/ 1 (acos a)))
  (exp (/ 1 (acos a)))
  (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a)))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (cbrt (/ 1 (acos a)))
  (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a)))
  (sqrt (/ 1 (acos a)))
  (sqrt (/ 1 (acos a)))
  (- 1)
  (- (acos a))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (cbrt 1) (cbrt (acos a)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a)))
  (/ (cbrt 1) (sqrt (acos a)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (acos a))
  (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (sqrt 1) (cbrt (acos a)))
  (/ (sqrt 1) (sqrt (acos a)))
  (/ (sqrt 1) (sqrt (acos a)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ 1 1)
  (/ 1 (acos a))
  (/ 1 (acos a))
  (/ (acos a) 1)
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ 1 1)
  (/ (acos a) (cbrt 1))
  (/ (acos a) (sqrt 1))
  (/ (acos a) 1)
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (* -1 (/ a (acos a)))
  (/ 1 (acos a))
  (/ 1 (acos a))
  (/ 1 (acos a))
18.900 * * [simplify]: Extracting # 0 : cost  0
18.903 * * [simplify]: Extracting # 1 : cost  0
18.905 * * [simplify]: Extracting # 2 : cost  0
18.907 * * [simplify]: Extracting # 3 : cost  0
18.909 * * [simplify]: Extracting # 4 : cost  0
18.911 * * [simplify]: Extracting # 5 : cost  0
18.913 * * [simplify]: Extracting # 6 : cost  0
18.915 * * [simplify]: iteration  0 :  713  enodes  (cost  10319 )
19.640 * * [simplify]: Extracting # 0 : cost  0
19.644 * * [simplify]: Extracting # 1 : cost  0
19.644 * * [simplify]: Extracting # 2 : cost  0
19.645 * * [simplify]: Extracting # 3 : cost  0
19.646 * * [simplify]: iteration  1 :  1737  enodes  (cost  7603 )
19.979 * * [simplify]: Extracting # 0 : cost  0
19.982 * * [simplify]: Extracting # 1 : cost  0
19.986 * * [simplify]: Extracting # 2 : cost  0
19.989 * * [simplify]: Extracting # 3 : cost  0
19.992 * * [simplify]: Extracting # 4 : cost  0
19.995 * * [simplify]: iteration  2 :  2640  enodes  (cost  6678 )
21.333 * * [simplify]: Extracting # 0 : cost  0
21.337 * * [simplify]: Extracting # 1 : cost  0
21.343 * * [simplify]: Extracting # 2 : cost  0
21.349 * * [simplify]: Extracting # 3 : cost  0
21.352 * * [simplify]: Extracting # 4 : cost  0
21.356 * * [simplify]: Extracting # 5 : cost  0
21.360 * * [simplify]: iteration done:  5000  enodes  (cost  6309 )
21.363 * [simplify]: Simplified to:
  (expm1 (- (/ a (acos a))))
  (log1p (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (log (- (/ a (acos a))))
  (exp (- (/ a (acos a))))
  (pow (- (/ a (acos a))) 3)
  (pow (- (/ a (acos a))) 3)
  (* (cbrt (- (/ a (acos a)))) (cbrt (- (/ a (acos a)))))
  (cbrt (- (/ a (acos a))))
  (pow (- (/ a (acos a))) 3)
  (sqrt (- (/ a (acos a))))
  (sqrt (- (/ a (acos a))))
  (/ -1 (acos a))
  (/ 1 a)
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (cbrt (/ 1 (acos a))) (cbrt (/ -1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ -1 a)))
  (/ (cbrt (/ 1 (acos a))) (sqrt (/ -1 a)))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (cbrt (/ 1 (acos a))) (cbrt (/ 1 a)))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (sqrt (/ 1 a))))
  (/ (cbrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a))))
  (* (cbrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))))
  (* (sqrt a) (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a))))
  (* (cbrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))))
  (* (sqrt a) (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a))))
  (* (cbrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))))
  (* (sqrt a) (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1)
  (* a (cbrt (/ 1 (acos a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (cbrt (/ 1 (acos a))) (- (cbrt (/ 1 a))))
  (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ 1 a)))
  (/ (cbrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a)))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a)))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a))
  (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a)))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (/ (cbrt (/ 1 (acos a))) (/ -1 a))
  (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (sqrt (/ 1 (acos a))) (cbrt (/ -1 a)))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ -1 a)))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ -1 a)))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (/ (sqrt (/ 1 (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (sqrt (/ 1 (acos a))) (cbrt (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a))))
  (* (sqrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a))))
  (* (sqrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a))))
  (* (sqrt (/ 1 (acos a))) (cbrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (/ (sqrt (/ 1 (acos a))) -1)
  (* (sqrt (/ 1 (acos a))) a)
  (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (- (cbrt (/ 1 a))))
  (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a)))
  (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a))))
  (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a)))
  (* (sqrt (/ 1 (acos a))) (sqrt a))
  (* (- (sqrt a)) (sqrt (/ 1 (acos a))))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (sqrt (/ 1 (acos a)))
  (* (- a) (sqrt (/ 1 (acos a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a)))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (acos a)) (cbrt (/ -1 a)))
  (/ 1 (sqrt (/ -1 a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  1
  (/ (- a) (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a)))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (acos a)) (cbrt (/ -1 a)))
  (/ 1 (sqrt (/ -1 a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  1
  (/ (- a) (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a)))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (cbrt a) (cbrt (acos a)))
  (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a)))))
  (/ (sqrt a) (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ -1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ a (cbrt (acos a)))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a)))
  (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (/ (cbrt a) (cbrt (acos a))) -1)
  (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a)))
  (/ (- (sqrt a)) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ (- a) (cbrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a))))
  (/ (cbrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ -1 (sqrt (acos a)))
  (/ a (sqrt (acos a)))
  (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a))))
  (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a)))
  (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a))))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (acos a)))
  (/ (cbrt a) (- (sqrt (acos a))))
  (/ (sqrt a) (sqrt (acos a)))
  (/ (sqrt a) (- (sqrt (acos a))))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ (- a) (sqrt (acos a)))
  (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (acos a)) (cbrt (/ -1 a)))
  (/ 1 (sqrt (/ -1 a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  1
  (/ (- a) (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (acos a)) (cbrt (/ -1 a)))
  (/ 1 (sqrt (/ -1 a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  1
  (/ (- a) (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a))))
  (/ (/ 1 (acos a)) (cbrt (/ -1 a)))
  (/ 1 (sqrt (/ -1 a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  1
  (/ (- a) (acos a))
  -1
  (/ a (acos a))
  (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (cbrt (/ 1 a)))
  (/ 1 (- (sqrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  (- (* (cbrt a) (cbrt a)))
  (/ (cbrt a) (acos a))
  (- (sqrt a))
  (/ (sqrt a) (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  -1
  (/ a (acos a))
  (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (- (cbrt (/ 1 a))))
  (/ 1 (sqrt (/ 1 a)))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- (acos a)))
  (sqrt a)
  (/ (sqrt a) (- (acos a)))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  1
  (/ (- a) (acos a))
  (- a)
  (/ (- (acos a)) a)
  (/ 1 (* (* (cbrt (/ -1 a)) (cbrt (/ -1 a))) (acos a)))
  (/ (/ 1 (acos a)) (sqrt (/ -1 a)))
  (/ 1 (acos a))
  (/ -1 (acos a))
  (/ (/ 1 (acos a)) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))))
  (/ (/ 1 (acos a)) (- (sqrt (/ 1 a))))
  (- (/ (* (cbrt a) (cbrt a)) (acos a)))
  (/ (sqrt a) (- (acos a)))
  (/ -1 (acos a))
  (- (/ (* (cbrt a) (cbrt a)) (acos a)))
  (/ (sqrt a) (- (acos a)))
  (/ -1 (acos a))
  (- (/ (* (cbrt a) (cbrt a)) (acos a)))
  (/ (sqrt a) (- (acos a)))
  (/ -1 (acos a))
  (/ -1 (acos a))
  (/ -1 (acos a))
  (/ (/ 1 (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))
  (/ (/ 1 (acos a)) (sqrt (/ 1 a)))
  (/ (* (cbrt a) (cbrt a)) (acos a))
  (/ (sqrt a) (acos a))
  (/ 1 (acos a))
  (/ (* (cbrt a) (cbrt a)) (acos a))
  (/ (sqrt a) (acos a))
  (/ 1 (acos a))
  (/ (* (cbrt a) (cbrt a)) (acos a))
  (/ (sqrt a) (acos a))
  (/ 1 (acos a))
  (/ 1 (acos a))
  (/ 1 (acos a))
  (/ (/ -1 a) (cbrt (/ 1 (acos a))))
  (/ (/ -1 a) (sqrt (/ 1 (acos a))))
  (/ (- (cbrt (acos a))) a)
  (/ (- (sqrt (acos a))) a)
  (/ (- (acos a)) a)
  (/ (- (cbrt (acos a))) a)
  (/ (- (sqrt (acos a))) a)
  (/ (- (acos a)) a)
  (/ (- (cbrt (acos a))) a)
  (/ (- (sqrt (acos a))) a)
  (/ (- (acos a)) a)
  (/ (- (acos a)) a)
  (/ (- (acos a)) a)
  (/ -1 (acos a))
  (/ (- (acos a)) a)
  (expm1 (/ 1 (acos a)))
  (log1p (/ 1 (acos a)))
  -1
  (- (log (acos a)))
  (- (log (acos a)))
  (- (log (acos a)))
  (- (log (acos a)))
  (exp (/ 1 (acos a)))
  (pow (/ 1 (acos a)) 3)
  (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))
  (cbrt (/ 1 (acos a)))
  (pow (/ 1 (acos a)) 3)
  (sqrt (/ 1 (acos a)))
  (sqrt (/ 1 (acos a)))
  -1
  (- (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  1
  (/ 1 (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  1
  (/ 1 (acos a))
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (cbrt (acos a)))
  (/ 1 (sqrt (acos a)))
  (/ 1 (sqrt (acos a)))
  1
  (/ 1 (acos a))
  (/ 1 (acos a))
  (acos a)
  (/ 1 (* (cbrt (acos a)) (cbrt (acos a))))
  (/ 1 (sqrt (acos a)))
  1
  (acos a)
  (acos a)
  (acos a)
  (/ (- a) (acos a))
  (/ (- a) (acos a))
  (/ (- a) (acos a))
  (/ 1 (acos a))
  (/ 1 (acos a))
  (/ 1 (acos a))
21.367 * * * [progress]: adding candidates to table
21.761 * [progress]: [Phase 3 of 3] Extracting.
21.761 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (/ 1 (- (/ (acos a) a))))> #<alt (λ (a) (/ (/ 1 (sqrt (/ (acos a) a))) (- (sqrt (/ (acos a) a)))))> #<alt (λ (a) (* a (cbrt (pow (/ -1 (acos a)) 3))))> #<alt (λ (a) (/ a (- (acos a))))> #<alt (λ (a) (/ (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (cbrt (- (/ (acos a) a)))))> #<alt (λ (a) (/ (/ 1 (acos a)) (- (/ 1 a))))> #<alt (λ (a) (/ (expm1 (log1p (/ 1 (acos a)))) (- (/ 1 a))))>)