84.711 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (/ a (- (acos a))) 0.038 * [simplify]: Sending expressions to egg_math: (/ h0 (- (acos h0))) 0.049 * * [progress]: iteration 1 / 4 0.049 * * * [progress]: picking best candidate 0.051 * * * * [pick]: Picked # 0.051 * * * [progress]: localizing error 0.056 * * * [progress]: generating rewritten candidates 0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.066 * * * [progress]: generating series expansions 0.066 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.066 * [backup-simplify]: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 0.066 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.066 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.066 * [taylor]: Taking taylor expansion of -1 in a 0.066 * [backup-simplify]: Simplify -1 into -1 0.066 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.066 * [taylor]: Taking taylor expansion of a in a 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [taylor]: Taking taylor expansion of (acos a) in a 0.074 * [backup-simplify]: Simplify (acos a) into (acos a) 0.074 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 0.074 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.074 * [taylor]: Taking taylor expansion of -1 in a 0.074 * [backup-simplify]: Simplify -1 into -1 0.074 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.074 * [taylor]: Taking taylor expansion of a in a 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [taylor]: Taking taylor expansion of (acos a) in a 0.074 * [backup-simplify]: Simplify (acos a) into (acos a) 0.074 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 0.074 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 0.074 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 0.075 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 0.075 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 0.076 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 0.077 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [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.078 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.079 * [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.080 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [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.082 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 0.082 * [backup-simplify]: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a)) 0.082 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.082 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.082 * [taylor]: Taking taylor expansion of -1 in a 0.082 * [backup-simplify]: Simplify -1 into -1 0.082 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.082 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.082 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 0.082 * [taylor]: Taking taylor expansion of a in a 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 0.082 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 0.083 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.083 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.083 * [taylor]: Taking taylor expansion of -1 in a 0.083 * [backup-simplify]: Simplify -1 into -1 0.083 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.083 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.083 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 0.083 * [taylor]: Taking taylor expansion of a in a 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 1 into 1 0.083 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 0.083 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 0.083 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.083 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.084 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.085 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 0.085 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.086 * [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.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.087 * [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.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.088 * [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.088 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.089 * [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.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 0.089 * [backup-simplify]: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 0.089 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.089 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.089 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.089 * [taylor]: Taking taylor expansion of a in a 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify 1 into 1 0.090 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.090 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 0.090 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 0.090 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 0.090 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.090 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.090 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.090 * [taylor]: Taking taylor expansion of a in a 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 1 into 1 0.090 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.090 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 0.090 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 0.091 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 0.091 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.091 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 0.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 0.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 0.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 0.095 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 0.097 * [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.098 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 0.101 * [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.101 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 0.104 * [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.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 0.105 * * * [progress]: simplifying candidates 0.106 * [simplify]: Simplifying: (- (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.107 * [simplify]: Sending expressions to egg_math: (- (log h0) (log (- (acos h0)))) (log (/ h0 (- (acos h0)))) (exp (/ h0 (- (acos h0)))) (/ (* (* h0 h0) h0) (* (* (- (acos h0)) (- (acos h0))) (- (acos h0)))) (* (cbrt (/ h0 (- (acos h0)))) (cbrt (/ h0 (- (acos h0))))) (cbrt (/ h0 (- (acos h0)))) (* (* (/ h0 (- (acos h0))) (/ h0 (- (acos h0)))) (/ h0 (- (acos h0)))) (sqrt (/ h0 (- (acos h0)))) (sqrt (/ h0 (- (acos h0)))) (- h0) (- (- (acos h0))) (/ (* (cbrt h0) (cbrt h0)) (* (cbrt (- (acos h0))) (cbrt (- (acos h0))))) (/ (cbrt h0) (cbrt (- (acos h0)))) (/ (* (cbrt h0) (cbrt h0)) (sqrt (- (acos h0)))) (/ (cbrt h0) (sqrt (- (acos h0)))) (/ (* (cbrt h0) (cbrt h0)) 1) (/ (cbrt h0) (- (acos h0))) (/ (* (cbrt h0) (cbrt h0)) -1) (/ (cbrt h0) (acos h0)) (/ (* (cbrt h0) (cbrt h0)) (- (* (cbrt (acos h0)) (cbrt (acos h0))))) (/ (cbrt h0) (cbrt (acos h0))) (/ (* (cbrt h0) (cbrt h0)) (- (sqrt (acos h0)))) (/ (cbrt h0) (sqrt (acos h0))) (/ (* (cbrt h0) (cbrt h0)) (- 1)) (/ (cbrt h0) (acos h0)) (/ (* (cbrt h0) (cbrt h0)) (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ (cbrt h0) (- (cbrt (acos h0)))) (/ (* (cbrt h0) (cbrt h0)) (sqrt (acos h0))) (/ (cbrt h0) (- (sqrt (acos h0)))) (/ (* (cbrt h0) (cbrt h0)) 1) (/ (cbrt h0) (- (acos h0))) (/ (sqrt h0) (* (cbrt (- (acos h0))) (cbrt (- (acos h0))))) (/ (sqrt h0) (cbrt (- (acos h0)))) (/ (sqrt h0) (sqrt (- (acos h0)))) (/ (sqrt h0) (sqrt (- (acos h0)))) (/ (sqrt h0) 1) (/ (sqrt h0) (- (acos h0))) (/ (sqrt h0) -1) (/ (sqrt h0) (acos h0)) (/ (sqrt h0) (- (* (cbrt (acos h0)) (cbrt (acos h0))))) (/ (sqrt h0) (cbrt (acos h0))) (/ (sqrt h0) (- (sqrt (acos h0)))) (/ (sqrt h0) (sqrt (acos h0))) (/ (sqrt h0) (- 1)) (/ (sqrt h0) (acos h0)) (/ (sqrt h0) (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ (sqrt h0) (- (cbrt (acos h0)))) (/ (sqrt h0) (sqrt (acos h0))) (/ (sqrt h0) (- (sqrt (acos h0)))) (/ (sqrt h0) 1) (/ (sqrt h0) (- (acos h0))) (/ 1 (* (cbrt (- (acos h0))) (cbrt (- (acos h0))))) (/ h0 (cbrt (- (acos h0)))) (/ 1 (sqrt (- (acos h0)))) (/ h0 (sqrt (- (acos h0)))) (/ 1 1) (/ h0 (- (acos h0))) (/ 1 -1) (/ h0 (acos h0)) (/ 1 (- (* (cbrt (acos h0)) (cbrt (acos h0))))) (/ h0 (cbrt (acos h0))) (/ 1 (- (sqrt (acos h0)))) (/ h0 (sqrt (acos h0))) (/ 1 (- 1)) (/ h0 (acos h0)) (/ 1 (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ h0 (- (cbrt (acos h0)))) (/ 1 (sqrt (acos h0))) (/ h0 (- (sqrt (acos h0)))) (/ 1 1) (/ h0 (- (acos h0))) (/ 1 (- (acos h0))) (/ (- (acos h0)) h0) (/ h0 (* (cbrt (- (acos h0))) (cbrt (- (acos h0))))) (/ h0 (sqrt (- (acos h0)))) (/ h0 1) (/ h0 -1) (/ h0 (- (* (cbrt (acos h0)) (cbrt (acos h0))))) (/ h0 (- (sqrt (acos h0)))) (/ h0 (- 1)) (/ h0 (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ h0 (sqrt (acos h0))) (/ h0 1) (/ (- (acos h0)) (cbrt h0)) (/ (- (acos h0)) (sqrt h0)) (/ (- (acos h0)) h0) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) 1.516 * * * [progress]: adding candidates to table 1.688 * * [progress]: iteration 2 / 4 1.688 * * * [progress]: picking best candidate 1.720 * * * * [pick]: Picked # 1.720 * * * [progress]: localizing error 1.733 * * * [progress]: generating rewritten candidates 1.733 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.766 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.789 * * * [progress]: generating series expansions 1.789 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.789 * [backup-simplify]: Simplify (/ 1 (/ (- (acos a)) a)) into (* -1 (/ a (acos a))) 1.790 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1.790 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1.790 * [taylor]: Taking taylor expansion of -1 in a 1.790 * [backup-simplify]: Simplify -1 into -1 1.790 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 1.790 * [taylor]: Taking taylor expansion of a in a 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify 1 into 1 1.790 * [taylor]: Taking taylor expansion of (acos a) in a 1.790 * [backup-simplify]: Simplify (acos a) into (acos a) 1.790 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1.790 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1.790 * [taylor]: Taking taylor expansion of -1 in a 1.790 * [backup-simplify]: Simplify -1 into -1 1.790 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 1.790 * [taylor]: Taking taylor expansion of a in a 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify 1 into 1 1.790 * [taylor]: Taking taylor expansion of (acos a) in a 1.790 * [backup-simplify]: Simplify (acos a) into (acos a) 1.790 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 1.790 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 1.790 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 1.790 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 1.791 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1.792 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 1.792 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [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 1.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 1.794 * [backup-simplify]: Simplify 0 into 0 1.794 * [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 1.796 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 1.796 * [backup-simplify]: Simplify 0 into 0 1.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))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 1.797 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 1.797 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 1.798 * [backup-simplify]: Simplify (/ 1 (/ (- (acos (/ 1 a))) (/ 1 a))) into (/ -1 (* (acos (/ 1 a)) a)) 1.798 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 1.798 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 1.798 * [taylor]: Taking taylor expansion of -1 in a 1.798 * [backup-simplify]: Simplify -1 into -1 1.798 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.798 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.798 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1.798 * [taylor]: Taking taylor expansion of a in a 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify 1 into 1 1.798 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 1.798 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 1.798 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1.798 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 1.798 * [taylor]: Taking taylor expansion of -1 in a 1.798 * [backup-simplify]: Simplify -1 into -1 1.798 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.798 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.798 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1.798 * [taylor]: Taking taylor expansion of a in a 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 1 into 1 1.799 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 1.799 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 1.799 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1.799 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 1.800 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 1.800 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.801 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 1.801 * [backup-simplify]: Simplify 0 into 0 1.802 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.803 * [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 1.803 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.805 * [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 1.805 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.807 * [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 1.807 * [backup-simplify]: Simplify 0 into 0 1.808 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.809 * [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 1.809 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 1.810 * [backup-simplify]: Simplify (/ 1 (/ (- (acos (/ 1 (- a)))) (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 1.810 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1.810 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1.810 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.810 * [taylor]: Taking taylor expansion of a in a 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify 1 into 1 1.810 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.810 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1.810 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 1.811 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1.811 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1.811 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1.811 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.811 * [taylor]: Taking taylor expansion of a in a 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify 1 into 1 1.811 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.811 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1.811 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 1.812 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1.812 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1.812 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 1.813 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 1.813 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1.815 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1.817 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 1.817 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1.820 * [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 1.820 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1.824 * [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 1.824 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1.835 * [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 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 1.835 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.835 * [backup-simplify]: Simplify (/ (- (acos a)) a) into (* -1 (/ (acos a) a)) 1.835 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 1.835 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1.836 * [taylor]: Taking taylor expansion of -1 in a 1.836 * [backup-simplify]: Simplify -1 into -1 1.836 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 1.836 * [taylor]: Taking taylor expansion of (acos a) in a 1.836 * [backup-simplify]: Simplify (acos a) into (acos a) 1.836 * [taylor]: Taking taylor expansion of a in a 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 1.836 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 1.836 * [taylor]: Taking taylor expansion of -1 in a 1.836 * [backup-simplify]: Simplify -1 into -1 1.836 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 1.836 * [taylor]: Taking taylor expansion of (acos a) in a 1.836 * [backup-simplify]: Simplify (acos a) into (acos a) 1.836 * [taylor]: Taking taylor expansion of a in a 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 1.837 * [backup-simplify]: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1.837 * [backup-simplify]: Simplify (* -1 (acos a)) into (* -1 (acos a)) 1.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 1.838 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (acos a))) into 0 1.838 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.841 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (acos a)))) into 0 1.841 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.844 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))) into 0 1.844 * [backup-simplify]: Simplify 0 into 0 1.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))) into 0 1.848 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a))))))) into 0 1.853 * [backup-simplify]: Simplify 0 into 0 1.856 * [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 1.859 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos a)))))))) into 0 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [backup-simplify]: Simplify (* (* -1 (acos a)) (/ 1 a)) into (* -1 (/ (acos a) a)) 1.859 * [backup-simplify]: Simplify (/ (- (acos (/ 1 a))) (/ 1 a)) into (* -1 (* (acos (/ 1 a)) a)) 1.859 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 1.859 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 1.859 * [taylor]: Taking taylor expansion of -1 in a 1.859 * [backup-simplify]: Simplify -1 into -1 1.859 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.859 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.859 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1.859 * [taylor]: Taking taylor expansion of a in a 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [backup-simplify]: Simplify 1 into 1 1.859 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 1.859 * [taylor]: Taking taylor expansion of -1 in a 1.859 * [backup-simplify]: Simplify -1 into -1 1.860 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.860 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.860 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 1.860 * [taylor]: Taking taylor expansion of a in a 1.860 * [backup-simplify]: Simplify 0 into 0 1.860 * [backup-simplify]: Simplify 1 into 1 1.860 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 1.860 * [backup-simplify]: Simplify (* -1 0) into 0 1.860 * [backup-simplify]: Simplify 0 into 0 1.861 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 1.861 * [backup-simplify]: Simplify (+ (* -1 (acos (/ 1 a))) (* 0 0)) into (- (acos (/ 1 a))) 1.861 * [backup-simplify]: Simplify (- (acos (/ 1 a))) into (- (acos (/ 1 a))) 1.862 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 1.863 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))) into 0 1.863 * [backup-simplify]: Simplify 0 into 0 1.864 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.865 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))) into 0 1.865 * [backup-simplify]: Simplify 0 into 0 1.866 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.868 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))) into 0 1.868 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.871 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))) into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0))))))) into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.876 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ 1 a))) (* 0 0)))))))) into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify (* (- (acos (/ 1 (/ 1 a)))) (/ 1 a)) into (* -1 (/ (acos a) a)) 1.876 * [backup-simplify]: Simplify (/ (- (acos (/ 1 (- a)))) (/ 1 (- a))) into (* a (acos (/ -1 a))) 1.876 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 1.876 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.876 * [taylor]: Taking taylor expansion of a in a 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 1 into 1 1.876 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.876 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1.876 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.876 * [taylor]: Taking taylor expansion of a in a 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 1 into 1 1.876 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.876 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1.876 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 1.877 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 1.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 1.879 * [backup-simplify]: Simplify 0 into 0 1.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 1.880 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 1.882 * [backup-simplify]: Simplify 0 into 0 1.884 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 1.884 * [backup-simplify]: Simplify 0 into 0 1.884 * [backup-simplify]: Simplify (* (acos (/ -1 (/ 1 (- a)))) (/ 1 (- a))) into (* -1 (/ (acos a) a)) 1.884 * * * [progress]: simplifying candidates 1.888 * [simplify]: Simplifying: (- 1) (- (- (log (- (acos a))) (log a))) (- (log (/ (- (acos a)) a))) (- 0 (- (log (- (acos a))) (log a))) (- 0 (log (/ (- (acos a)) a))) (- (log 1) (- (log (- (acos a))) (log a))) (- (log 1) (log (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (exp (/ 1 (/ (- (acos a)) a))) (/ (* (* 1 1) 1) (/ (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* a 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)) (/ (* (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 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)) (/ (- (* (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)) (/ (* (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) (/ (* (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 (* (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) (/ (- (* (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) (/ (* (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 (/ (* (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 (* (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 (/ (- (* (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 (/ (* (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 (/ (* (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 (* (cbrt a) (cbrt a)))) (/ 1 (/ -1 (sqrt a))) (/ 1 (/ -1 1)) (/ 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 (/ (* (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))) (- (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) (/ 0 a) (/ (acos 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 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ -1 (sqrt a)) (/ (acos a) (sqrt a)) (/ -1 1) (/ (acos 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) (/ (* (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) 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))) (/ 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))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) 1.889 * [simplify]: Sending expressions to egg_math: (- 1) (- (- (log (- (acos h0))) (log h0))) (- (log (/ (- (acos h0)) h0))) (- 0 (- (log (- (acos h0))) (log h0))) (- 0 (log (/ (- (acos h0)) h0))) (- (log 1) (- (log (- (acos h0))) (log h0))) (- (log 1) (log (/ (- (acos h0)) h0))) (log (/ 1 (/ (- (acos h0)) h0))) (exp (/ 1 (/ (- (acos h0)) h0))) (/ (* (* 1 1) 1) (/ (* (* (- (acos h0)) (- (acos h0))) (- (acos h0))) (* (* h0 h0) h0))) (/ (* (* 1 1) 1) (* (* (/ (- (acos h0)) h0) (/ (- (acos h0)) h0)) (/ (- (acos h0)) h0))) (* (cbrt (/ 1 (/ (- (acos h0)) h0))) (cbrt (/ 1 (/ (- (acos h0)) h0)))) (cbrt (/ 1 (/ (- (acos h0)) h0))) (* (* (/ 1 (/ (- (acos h0)) h0)) (/ 1 (/ (- (acos h0)) h0))) (/ 1 (/ (- (acos h0)) h0))) (sqrt (/ 1 (/ (- (acos h0)) h0))) (sqrt (/ 1 (/ (- (acos h0)) h0))) (- 1) (- (/ (- (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- (acos h0)) h0)) (cbrt (/ (- (acos h0)) h0)))) (/ (cbrt 1) (cbrt (/ (- (acos h0)) h0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- (acos h0)) h0))) (/ (cbrt 1) (sqrt (/ (- (acos h0)) h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (cbrt (- (acos h0))) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (sqrt h0))) (/ (cbrt 1) (/ (cbrt (- (acos h0))) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) 1)) (/ (cbrt 1) (/ (cbrt (- (acos h0))) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (sqrt (- (acos h0))) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos h0))) (sqrt h0))) (/ (cbrt 1) (/ (sqrt (- (acos h0))) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos h0))) 1)) (/ (cbrt 1) (/ (sqrt (- (acos h0))) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (- (acos h0)) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt h0))) (/ (cbrt 1) (/ (- (acos h0)) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ -1 (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (acos h0) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ -1 (sqrt h0))) (/ (cbrt 1) (/ (acos h0) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ -1 1)) (/ (cbrt 1) (/ (acos h0) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (cbrt (acos h0)) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (sqrt h0))) (/ (cbrt 1) (/ (cbrt (acos h0)) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) 1)) (/ (cbrt 1) (/ (cbrt (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (sqrt (acos h0)) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos h0))) (sqrt h0))) (/ (cbrt 1) (/ (sqrt (acos h0)) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos h0))) 1)) (/ (cbrt 1) (/ (sqrt (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (acos h0) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) (sqrt h0))) (/ (cbrt 1) (/ (acos h0) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) 1)) (/ (cbrt 1) (/ (acos h0) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (- (cbrt (acos h0))) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt h0))) (/ (cbrt 1) (/ (- (cbrt (acos h0))) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (cbrt 1) (/ (- (cbrt (acos h0))) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos h0)) (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (- (sqrt (acos h0))) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos h0)) (sqrt h0))) (/ (cbrt 1) (/ (- (sqrt (acos h0))) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos h0)) 1)) (/ (cbrt 1) (/ (- (sqrt (acos h0))) h0)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (cbrt 1) (/ (- (acos h0)) (cbrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt h0))) (/ (cbrt 1) (/ (- (acos h0)) (sqrt h0))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (- (acos h0)) h0)) (/ (* (cbrt 1) (cbrt 1)) (- (acos h0))) (/ (cbrt 1) (/ 1 h0)) (/ (sqrt 1) (* (cbrt (/ (- (acos h0)) h0)) (cbrt (/ (- (acos h0)) h0)))) (/ (sqrt 1) (cbrt (/ (- (acos h0)) h0))) (/ (sqrt 1) (sqrt (/ (- (acos h0)) h0))) (/ (sqrt 1) (sqrt (/ (- (acos h0)) h0))) (/ (sqrt 1) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (cbrt (- (acos h0))) (cbrt h0))) (/ (sqrt 1) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (sqrt h0))) (/ (sqrt 1) (/ (cbrt (- (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) 1)) (/ (sqrt 1) (/ (cbrt (- (acos h0))) h0)) (/ (sqrt 1) (/ (sqrt (- (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (sqrt (- (acos h0))) (cbrt h0))) (/ (sqrt 1) (/ (sqrt (- (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (sqrt (- (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (sqrt (- (acos h0))) 1)) (/ (sqrt 1) (/ (sqrt (- (acos h0))) h0)) (/ (sqrt 1) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (- (acos h0)) (cbrt h0))) (/ (sqrt 1) (/ 1 (sqrt h0))) (/ (sqrt 1) (/ (- (acos h0)) (sqrt h0))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- (acos h0)) h0)) (/ (sqrt 1) (/ -1 (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (acos h0) (cbrt h0))) (/ (sqrt 1) (/ -1 (sqrt h0))) (/ (sqrt 1) (/ (acos h0) (sqrt h0))) (/ (sqrt 1) (/ -1 1)) (/ (sqrt 1) (/ (acos h0) h0)) (/ (sqrt 1) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (cbrt (acos h0)) (cbrt h0))) (/ (sqrt 1) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (sqrt h0))) (/ (sqrt 1) (/ (cbrt (acos h0)) (sqrt h0))) (/ (sqrt 1) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) 1)) (/ (sqrt 1) (/ (cbrt (acos h0)) h0)) (/ (sqrt 1) (/ (- (sqrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (sqrt (acos h0)) (cbrt h0))) (/ (sqrt 1) (/ (- (sqrt (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt h0))) (/ (sqrt 1) (/ (- (sqrt (acos h0))) 1)) (/ (sqrt 1) (/ (sqrt (acos h0)) h0)) (/ (sqrt 1) (/ (- 1) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (acos h0) (cbrt h0))) (/ (sqrt 1) (/ (- 1) (sqrt h0))) (/ (sqrt 1) (/ (acos h0) (sqrt h0))) (/ (sqrt 1) (/ (- 1) 1)) (/ (sqrt 1) (/ (acos h0) h0)) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (- (cbrt (acos h0))) (cbrt h0))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (- (cbrt (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt 1) (/ (- (cbrt (acos h0))) h0)) (/ (sqrt 1) (/ (sqrt (acos h0)) (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (- (sqrt (acos h0))) (cbrt h0))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt h0))) (/ (sqrt 1) (/ (- (sqrt (acos h0))) (sqrt h0))) (/ (sqrt 1) (/ (sqrt (acos h0)) 1)) (/ (sqrt 1) (/ (- (sqrt (acos h0))) h0)) (/ (sqrt 1) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (sqrt 1) (/ (- (acos h0)) (cbrt h0))) (/ (sqrt 1) (/ 1 (sqrt h0))) (/ (sqrt 1) (/ (- (acos h0)) (sqrt h0))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- (acos h0)) h0)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (- (acos h0)) h0)) (/ (sqrt 1) (- (acos h0))) (/ (sqrt 1) (/ 1 h0)) (/ 1 (* (cbrt (/ (- (acos h0)) h0)) (cbrt (/ (- (acos h0)) h0)))) (/ 1 (cbrt (/ (- (acos h0)) h0))) (/ 1 (sqrt (/ (- (acos h0)) h0))) (/ 1 (sqrt (/ (- (acos h0)) h0))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (cbrt (- (acos h0))) (cbrt h0))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (sqrt h0))) (/ 1 (/ (cbrt (- (acos h0))) (sqrt h0))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) 1)) (/ 1 (/ (cbrt (- (acos h0))) h0)) (/ 1 (/ (sqrt (- (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (sqrt (- (acos h0))) (cbrt h0))) (/ 1 (/ (sqrt (- (acos h0))) (sqrt h0))) (/ 1 (/ (sqrt (- (acos h0))) (sqrt h0))) (/ 1 (/ (sqrt (- (acos h0))) 1)) (/ 1 (/ (sqrt (- (acos h0))) h0)) (/ 1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (acos h0)) (cbrt h0))) (/ 1 (/ 1 (sqrt h0))) (/ 1 (/ (- (acos h0)) (sqrt h0))) (/ 1 (/ 1 1)) (/ 1 (/ (- (acos h0)) h0)) (/ 1 (/ -1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (acos h0) (cbrt h0))) (/ 1 (/ -1 (sqrt h0))) (/ 1 (/ (acos h0) (sqrt h0))) (/ 1 (/ -1 1)) (/ 1 (/ (acos h0) h0)) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (cbrt (acos h0)) (cbrt h0))) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (sqrt h0))) (/ 1 (/ (cbrt (acos h0)) (sqrt h0))) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) 1)) (/ 1 (/ (cbrt (acos h0)) h0)) (/ 1 (/ (- (sqrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (sqrt (acos h0)) (cbrt h0))) (/ 1 (/ (- (sqrt (acos h0))) (sqrt h0))) (/ 1 (/ (sqrt (acos h0)) (sqrt h0))) (/ 1 (/ (- (sqrt (acos h0))) 1)) (/ 1 (/ (sqrt (acos h0)) h0)) (/ 1 (/ (- 1) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (acos h0) (cbrt h0))) (/ 1 (/ (- 1) (sqrt h0))) (/ 1 (/ (acos h0) (sqrt h0))) (/ 1 (/ (- 1) 1)) (/ 1 (/ (acos h0) h0)) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (cbrt (acos h0))) (cbrt h0))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt h0))) (/ 1 (/ (- (cbrt (acos h0))) (sqrt h0))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ 1 (/ (- (cbrt (acos h0))) h0)) (/ 1 (/ (sqrt (acos h0)) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (sqrt (acos h0))) (cbrt h0))) (/ 1 (/ (sqrt (acos h0)) (sqrt h0))) (/ 1 (/ (- (sqrt (acos h0))) (sqrt h0))) (/ 1 (/ (sqrt (acos h0)) 1)) (/ 1 (/ (- (sqrt (acos h0))) h0)) (/ 1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (acos h0)) (cbrt h0))) (/ 1 (/ 1 (sqrt h0))) (/ 1 (/ (- (acos h0)) (sqrt h0))) (/ 1 (/ 1 1)) (/ 1 (/ (- (acos h0)) h0)) (/ 1 1) (/ 1 (/ (- (acos h0)) h0)) (/ 1 (- (acos h0))) (/ 1 (/ 1 h0)) (/ 1 (/ (- (acos h0)) h0)) (/ (/ (- (acos h0)) h0) 1) (/ 1 (* (cbrt (/ (- (acos h0)) h0)) (cbrt (/ (- (acos h0)) h0)))) (/ 1 (sqrt (/ (- (acos h0)) h0))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (sqrt h0))) (/ 1 (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) 1)) (/ 1 (/ (sqrt (- (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (sqrt (- (acos h0))) (sqrt h0))) (/ 1 (/ (sqrt (- (acos h0))) 1)) (/ 1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ 1 (sqrt h0))) (/ 1 (/ 1 1)) (/ 1 (/ -1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ -1 (sqrt h0))) (/ 1 (/ -1 1)) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (sqrt h0))) (/ 1 (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) 1)) (/ 1 (/ (- (sqrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- (sqrt (acos h0))) (sqrt h0))) (/ 1 (/ (- (sqrt (acos h0))) 1)) (/ 1 (/ (- 1) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (- 1) (sqrt h0))) (/ 1 (/ (- 1) 1)) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt h0))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ 1 (/ (sqrt (acos h0)) (* (cbrt h0) (cbrt h0)))) (/ 1 (/ (sqrt (acos h0)) (sqrt h0))) (/ 1 (/ (sqrt (acos h0)) 1)) (/ 1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ 1 (/ 1 (sqrt h0))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (- (acos h0))) (/ (/ (- (acos h0)) h0) (cbrt 1)) (/ (/ (- (acos h0)) h0) (sqrt 1)) (/ (/ (- (acos h0)) h0) 1) (/ 1 (- (acos h0))) (- (log (- (acos h0))) (log h0)) (log (/ (- (acos h0)) h0)) (exp (/ (- (acos h0)) h0)) (/ (* (* (- (acos h0)) (- (acos h0))) (- (acos h0))) (* (* h0 h0) h0)) (* (cbrt (/ (- (acos h0)) h0)) (cbrt (/ (- (acos h0)) h0))) (cbrt (/ (- (acos h0)) h0)) (* (* (/ (- (acos h0)) h0) (/ (- (acos h0)) h0)) (/ (- (acos h0)) h0)) (sqrt (/ (- (acos h0)) h0)) (sqrt (/ (- (acos h0)) h0)) (- (- (acos h0))) (- h0) (/ 0 h0) (/ (acos h0) h0) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (* (cbrt h0) (cbrt h0))) (/ (cbrt (- (acos h0))) (cbrt h0)) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) (sqrt h0)) (/ (cbrt (- (acos h0))) (sqrt h0)) (/ (* (cbrt (- (acos h0))) (cbrt (- (acos h0)))) 1) (/ (cbrt (- (acos h0))) h0) (/ (sqrt (- (acos h0))) (* (cbrt h0) (cbrt h0))) (/ (sqrt (- (acos h0))) (cbrt h0)) (/ (sqrt (- (acos h0))) (sqrt h0)) (/ (sqrt (- (acos h0))) (sqrt h0)) (/ (sqrt (- (acos h0))) 1) (/ (sqrt (- (acos h0))) h0) (/ 1 (* (cbrt h0) (cbrt h0))) (/ (- (acos h0)) (cbrt h0)) (/ 1 (sqrt h0)) (/ (- (acos h0)) (sqrt h0)) (/ 1 1) (/ (- (acos h0)) h0) (/ -1 (* (cbrt h0) (cbrt h0))) (/ (acos h0) (cbrt h0)) (/ -1 (sqrt h0)) (/ (acos h0) (sqrt h0)) (/ -1 1) (/ (acos h0) h0) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (* (cbrt h0) (cbrt h0))) (/ (cbrt (acos h0)) (cbrt h0)) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) (sqrt h0)) (/ (cbrt (acos h0)) (sqrt h0)) (/ (- (* (cbrt (acos h0)) (cbrt (acos h0)))) 1) (/ (cbrt (acos h0)) h0) (/ (- (sqrt (acos h0))) (* (cbrt h0) (cbrt h0))) (/ (sqrt (acos h0)) (cbrt h0)) (/ (- (sqrt (acos h0))) (sqrt h0)) (/ (sqrt (acos h0)) (sqrt h0)) (/ (- (sqrt (acos h0))) 1) (/ (sqrt (acos h0)) h0) (/ (- 1) (* (cbrt h0) (cbrt h0))) (/ (acos h0) (cbrt h0)) (/ (- 1) (sqrt h0)) (/ (acos h0) (sqrt h0)) (/ (- 1) 1) (/ (acos h0) h0) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt h0) (cbrt h0))) (/ (- (cbrt (acos h0))) (cbrt h0)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt h0)) (/ (- (cbrt (acos h0))) (sqrt h0)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1) (/ (- (cbrt (acos h0))) h0) (/ (sqrt (acos h0)) (* (cbrt h0) (cbrt h0))) (/ (- (sqrt (acos h0))) (cbrt h0)) (/ (sqrt (acos h0)) (sqrt h0)) (/ (- (sqrt (acos h0))) (sqrt h0)) (/ (sqrt (acos h0)) 1) (/ (- (sqrt (acos h0))) h0) (/ 1 (* (cbrt h0) (cbrt h0))) (/ (- (acos h0)) (cbrt h0)) (/ 1 (sqrt h0)) (/ (- (acos h0)) (sqrt h0)) (/ 1 1) (/ (- (acos h0)) h0) (/ 1 h0) (/ h0 (- (acos h0))) (/ (acos h0) h0) (/ (- (acos h0)) (* (cbrt h0) (cbrt h0))) (/ (- (acos h0)) (sqrt h0)) (/ (- (acos h0)) 1) (/ h0 (cbrt (- (acos h0)))) (/ h0 (sqrt (- (acos h0)))) (/ h0 (- (acos h0))) (/ h0 (acos h0)) (/ h0 (cbrt (acos h0))) (/ h0 (sqrt (acos h0))) (/ h0 (acos h0)) (/ h0 (- (cbrt (acos h0)))) (/ h0 (- (sqrt (acos h0)))) (/ h0 (- (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ (acos h0) h0)) (* -1 (/ (acos h0) h0)) (* -1 (/ (acos h0) h0)) 2.980 * * * [progress]: adding candidates to table 3.461 * * [progress]: iteration 3 / 4 3.461 * * * [progress]: picking best candidate 3.476 * * * * [pick]: Picked # 3.476 * * * [progress]: localizing error 3.484 * * * [progress]: generating rewritten candidates 3.484 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.505 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 3.519 * * * [progress]: generating series expansions 3.519 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.520 * [backup-simplify]: Simplify (/ (* -1 (/ 1 (acos a))) (/ 1 a)) into (* -1 (/ a (acos a))) 3.520 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 3.520 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 3.520 * [taylor]: Taking taylor expansion of -1 in a 3.520 * [backup-simplify]: Simplify -1 into -1 3.520 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 3.520 * [taylor]: Taking taylor expansion of a in a 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify 1 into 1 3.520 * [taylor]: Taking taylor expansion of (acos a) in a 3.520 * [backup-simplify]: Simplify (acos a) into (acos a) 3.520 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.520 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 3.520 * [taylor]: Taking taylor expansion of -1 in a 3.520 * [backup-simplify]: Simplify -1 into -1 3.520 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 3.520 * [taylor]: Taking taylor expansion of a in a 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify 1 into 1 3.520 * [taylor]: Taking taylor expansion of (acos a) in a 3.520 * [backup-simplify]: Simplify (acos a) into (acos a) 3.520 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.520 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 3.520 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 3.521 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 3.521 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 3.521 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 3.523 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 3.523 * [backup-simplify]: Simplify 0 into 0 3.523 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 3.524 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 3.524 * [backup-simplify]: Simplify 0 into 0 3.524 * [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 3.525 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 3.525 * [backup-simplify]: Simplify 0 into 0 3.525 * [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 3.526 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 3.527 * [backup-simplify]: Simplify 0 into 0 3.527 * [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 3.528 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 3.528 * [backup-simplify]: Simplify 0 into 0 3.528 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 3.529 * [backup-simplify]: Simplify (/ (* -1 (/ 1 (acos (/ 1 a)))) (/ 1 (/ 1 a))) into (/ -1 (* (acos (/ 1 a)) a)) 3.529 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 3.529 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 3.529 * [taylor]: Taking taylor expansion of -1 in a 3.529 * [backup-simplify]: Simplify -1 into -1 3.529 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 3.529 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 3.529 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 3.529 * [taylor]: Taking taylor expansion of a in a 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify 1 into 1 3.529 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 3.529 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 3.529 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 3.529 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 3.529 * [taylor]: Taking taylor expansion of -1 in a 3.529 * [backup-simplify]: Simplify -1 into -1 3.529 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 3.529 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 3.529 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 3.529 * [taylor]: Taking taylor expansion of a in a 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify 1 into 1 3.529 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 3.530 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 3.530 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 3.530 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 3.530 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 3.531 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 3.531 * [backup-simplify]: Simplify 0 into 0 3.531 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.531 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 3.531 * [backup-simplify]: Simplify 0 into 0 3.532 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.532 * [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 3.532 * [backup-simplify]: Simplify 0 into 0 3.533 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.534 * [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 3.534 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 3.535 * [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 3.535 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 3.536 * [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 3.536 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 3.537 * [backup-simplify]: Simplify (/ (* -1 (/ 1 (acos (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 3.537 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 3.537 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 3.537 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 3.537 * [taylor]: Taking taylor expansion of a in a 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 1 into 1 3.537 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 3.537 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 3.537 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 3.538 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 3.538 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.538 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 3.538 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 3.538 * [taylor]: Taking taylor expansion of a in a 3.538 * [backup-simplify]: Simplify 0 into 0 3.538 * [backup-simplify]: Simplify 1 into 1 3.538 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 3.538 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 3.538 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 3.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 3.539 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.539 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 3.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 3.540 * [backup-simplify]: Simplify 0 into 0 3.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 3.542 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 3.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 3.546 * [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 3.546 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 3.549 * [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 3.549 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 3.553 * [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 3.553 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 3.553 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 3.553 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.553 * [approximate]: Taking taylor expansion of (/ 1 (acos a)) in (a) around 0 3.553 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 3.553 * [taylor]: Taking taylor expansion of (acos a) in a 3.553 * [backup-simplify]: Simplify (acos a) into (acos a) 3.554 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.554 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 3.554 * [taylor]: Taking taylor expansion of (acos a) in a 3.554 * [backup-simplify]: Simplify (acos a) into (acos a) 3.554 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.554 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 3.555 * [backup-simplify]: Simplify 0 into 0 3.556 * [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 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [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 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 3.557 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 3.557 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in (a) around 0 3.557 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 3.557 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 3.557 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 3.557 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 3.557 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 3.557 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 3.557 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 3.557 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 3.557 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 3.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.559 * [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 3.559 * [backup-simplify]: Simplify 0 into 0 3.560 * [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 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [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 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (/ 1 a)))) into (/ 1 (acos a)) 3.561 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (- a)))) into (/ 1 (acos (/ -1 a))) 3.561 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in (a) around 0 3.561 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 3.561 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 3.561 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 3.561 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.561 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 3.561 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 3.561 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 3.561 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.561 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.563 * [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 3.563 * [backup-simplify]: Simplify 0 into 0 3.564 * [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 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [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 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 (/ 1 (- a))))) into (/ 1 (acos a)) 3.564 * * * [progress]: simplifying candidates 3.566 * [simplify]: Simplifying: (- (+ (log -1) (- (log (acos a)))) (- (log a))) (- (+ (log -1) (- (log (acos a)))) (- 0 (log a))) (- (+ (log -1) (- (log (acos a)))) (- (log 1) (log a))) (- (+ (log -1) (- (log (acos a)))) (log (/ 1 a))) (- (+ (log -1) (- 0 (log (acos a)))) (- (log a))) (- (+ (log -1) (- 0 (log (acos a)))) (- 0 (log a))) (- (+ (log -1) (- 0 (log (acos a)))) (- (log 1) (log a))) (- (+ (log -1) (- 0 (log (acos a)))) (log (/ 1 a))) (- (+ (log -1) (- (log 1) (log (acos a)))) (- (log a))) (- (+ (log -1) (- (log 1) (log (acos a)))) (- 0 (log a))) (- (+ (log -1) (- (log 1) (log (acos a)))) (- (log 1) (log a))) (- (+ (log -1) (- (log 1) (log (acos a)))) (log (/ 1 a))) (- (+ (log -1) (log (/ 1 (acos a)))) (- (log a))) (- (+ (log -1) (log (/ 1 (acos a)))) (- 0 (log a))) (- (+ (log -1) (log (/ 1 (acos a)))) (- (log 1) (log a))) (- (+ (log -1) (log (/ 1 (acos a)))) (log (/ 1 a))) (- (log (* -1 (/ 1 (acos a)))) (- (log a))) (- (log (* -1 (/ 1 (acos a)))) (- 0 (log a))) (- (log (* -1 (/ 1 (acos a)))) (- (log 1) (log a))) (- (log (* -1 (/ 1 (acos a)))) (log (/ 1 a))) (log (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (exp (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (/ (* (* (* -1 -1) -1) (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 -1) -1) (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (/ (* (* (* -1 -1) -1) (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 -1) -1) (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (/ (* (* (* -1 (/ 1 (acos a))) (* -1 (/ 1 (acos a)))) (* -1 (/ 1 (acos a)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 (/ 1 (acos a))) (* -1 (/ 1 (acos a)))) (* -1 (/ 1 (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (* (cbrt (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (cbrt (/ (* -1 (/ 1 (acos a))) (/ 1 a)))) (cbrt (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (* (* (/ (* -1 (/ 1 (acos a))) (/ 1 a)) (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (sqrt (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (sqrt (/ (* -1 (/ 1 (acos a))) (/ 1 a))) (- (* -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 (/ 1 (acos a)))) (/ (/ 1 (acos a)) (/ 1 a)) (/ (* -1 (/ 1 (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (* -1 (/ 1 (acos a))) (sqrt (/ 1 a))) (/ (* -1 (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (* -1 (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (* -1 (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (* -1 (/ 1 (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (* -1 (/ 1 (acos a))) (/ (sqrt 1) (sqrt a))) (/ (* -1 (/ 1 (acos a))) (/ (sqrt 1) 1)) (/ (* -1 (/ 1 (acos a))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (* -1 (/ 1 (acos a))) (/ 1 (sqrt a))) (/ (* -1 (/ 1 (acos a))) (/ 1 1)) (/ (* -1 (/ 1 (acos a))) 1) (/ (* -1 (/ 1 (acos a))) 1) (/ (/ 1 a) (/ 1 (acos a))) (/ (* -1 (/ 1 (acos a))) 1) (* (/ 1 a) (acos a)) (* (/ 1 a) (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)) 3.566 * [simplify]: Sending expressions to egg_math: (- (+ (log -1) (- (log (acos h0)))) (- (log h0))) (- (+ (log -1) (- (log (acos h0)))) (- 0 (log h0))) (- (+ (log -1) (- (log (acos h0)))) (- (log 1) (log h0))) (- (+ (log -1) (- (log (acos h0)))) (log (/ 1 h0))) (- (+ (log -1) (- 0 (log (acos h0)))) (- (log h0))) (- (+ (log -1) (- 0 (log (acos h0)))) (- 0 (log h0))) (- (+ (log -1) (- 0 (log (acos h0)))) (- (log 1) (log h0))) (- (+ (log -1) (- 0 (log (acos h0)))) (log (/ 1 h0))) (- (+ (log -1) (- (log 1) (log (acos h0)))) (- (log h0))) (- (+ (log -1) (- (log 1) (log (acos h0)))) (- 0 (log h0))) (- (+ (log -1) (- (log 1) (log (acos h0)))) (- (log 1) (log h0))) (- (+ (log -1) (- (log 1) (log (acos h0)))) (log (/ 1 h0))) (- (+ (log -1) (log (/ 1 (acos h0)))) (- (log h0))) (- (+ (log -1) (log (/ 1 (acos h0)))) (- 0 (log h0))) (- (+ (log -1) (log (/ 1 (acos h0)))) (- (log 1) (log h0))) (- (+ (log -1) (log (/ 1 (acos h0)))) (log (/ 1 h0))) (- (log (* -1 (/ 1 (acos h0)))) (- (log h0))) (- (log (* -1 (/ 1 (acos h0)))) (- 0 (log h0))) (- (log (* -1 (/ 1 (acos h0)))) (- (log 1) (log h0))) (- (log (* -1 (/ 1 (acos h0)))) (log (/ 1 h0))) (log (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (exp (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (/ (* (* (* -1 -1) -1) (/ (* (* 1 1) 1) (* (* (acos h0) (acos h0)) (acos h0)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 -1) -1) (/ (* (* 1 1) 1) (* (* (acos h0) (acos h0)) (acos h0)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (/ (* (* (* -1 -1) -1) (* (* (/ 1 (acos h0)) (/ 1 (acos h0))) (/ 1 (acos h0)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 -1) -1) (* (* (/ 1 (acos h0)) (/ 1 (acos h0))) (/ 1 (acos h0)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (/ (* (* (* -1 (/ 1 (acos h0))) (* -1 (/ 1 (acos h0)))) (* -1 (/ 1 (acos h0)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 (/ 1 (acos h0))) (* -1 (/ 1 (acos h0)))) (* -1 (/ 1 (acos h0)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (* (cbrt (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (cbrt (/ (* -1 (/ 1 (acos h0))) (/ 1 h0)))) (cbrt (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (* (* (/ (* -1 (/ 1 (acos h0))) (/ 1 h0)) (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (sqrt (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (sqrt (/ (* -1 (/ 1 (acos h0))) (/ 1 h0))) (- (* -1 (/ 1 (acos h0)))) (- (/ 1 h0)) (/ -1 (* (cbrt (/ 1 h0)) (cbrt (/ 1 h0)))) (/ (/ 1 (acos h0)) (cbrt (/ 1 h0))) (/ -1 (sqrt (/ 1 h0))) (/ (/ 1 (acos h0)) (sqrt (/ 1 h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt h0) (cbrt h0)))) (/ (/ 1 (acos h0)) (/ (cbrt 1) (cbrt h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (sqrt h0))) (/ (/ 1 (acos h0)) (/ (cbrt 1) (sqrt h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (acos h0)) (/ (cbrt 1) h0)) (/ -1 (/ (sqrt 1) (* (cbrt h0) (cbrt h0)))) (/ (/ 1 (acos h0)) (/ (sqrt 1) (cbrt h0))) (/ -1 (/ (sqrt 1) (sqrt h0))) (/ (/ 1 (acos h0)) (/ (sqrt 1) (sqrt h0))) (/ -1 (/ (sqrt 1) 1)) (/ (/ 1 (acos h0)) (/ (sqrt 1) h0)) (/ -1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (/ 1 (acos h0)) (/ 1 (cbrt h0))) (/ -1 (/ 1 (sqrt h0))) (/ (/ 1 (acos h0)) (/ 1 (sqrt h0))) (/ -1 (/ 1 1)) (/ (/ 1 (acos h0)) (/ 1 h0)) (/ -1 1) (/ (/ 1 (acos h0)) (/ 1 h0)) (/ -1 1) (/ (/ 1 (acos h0)) (/ 1 h0)) (/ 1 (/ 1 h0)) (/ (/ 1 h0) (* -1 (/ 1 (acos h0)))) (/ (/ 1 (acos h0)) (/ 1 h0)) (/ (* -1 (/ 1 (acos h0))) (* (cbrt (/ 1 h0)) (cbrt (/ 1 h0)))) (/ (* -1 (/ 1 (acos h0))) (sqrt (/ 1 h0))) (/ (* -1 (/ 1 (acos h0))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ 1 (acos h0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt h0))) (/ (* -1 (/ 1 (acos h0))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (* -1 (/ 1 (acos h0))) (/ (sqrt 1) (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ 1 (acos h0))) (/ (sqrt 1) (sqrt h0))) (/ (* -1 (/ 1 (acos h0))) (/ (sqrt 1) 1)) (/ (* -1 (/ 1 (acos h0))) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ 1 (acos h0))) (/ 1 (sqrt h0))) (/ (* -1 (/ 1 (acos h0))) (/ 1 1)) (/ (* -1 (/ 1 (acos h0))) 1) (/ (* -1 (/ 1 (acos h0))) 1) (/ (/ 1 h0) (/ 1 (acos h0))) (/ (* -1 (/ 1 (acos h0))) 1) (* (/ 1 h0) (acos h0)) (* (/ 1 h0) (acos h0)) (- 1) (- (log (acos h0))) (- 0 (log (acos h0))) (- (log 1) (log (acos h0))) (log (/ 1 (acos h0))) (exp (/ 1 (acos h0))) (/ (* (* 1 1) 1) (* (* (acos h0) (acos h0)) (acos h0))) (* (cbrt (/ 1 (acos h0))) (cbrt (/ 1 (acos h0)))) (cbrt (/ 1 (acos h0))) (* (* (/ 1 (acos h0)) (/ 1 (acos h0))) (/ 1 (acos h0))) (sqrt (/ 1 (acos h0))) (sqrt (/ 1 (acos h0))) (- 1) (- (acos h0)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ (cbrt 1) (cbrt (acos h0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos h0))) (/ (cbrt 1) (sqrt (acos h0))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (acos h0)) (/ (sqrt 1) (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ (sqrt 1) (cbrt (acos h0))) (/ (sqrt 1) (sqrt (acos h0))) (/ (sqrt 1) (sqrt (acos h0))) (/ (sqrt 1) 1) (/ (sqrt 1) (acos h0)) (/ 1 (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ 1 (cbrt (acos h0))) (/ 1 (sqrt (acos h0))) (/ 1 (sqrt (acos h0))) (/ 1 1) (/ 1 (acos h0)) (/ 1 (acos h0)) (/ (acos h0) 1) (/ 1 (* (cbrt (acos h0)) (cbrt (acos h0)))) (/ 1 (sqrt (acos h0))) (/ 1 1) (/ (acos h0) (cbrt 1)) (/ (acos h0) (sqrt 1)) (/ (acos h0) 1) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (/ 1 (acos h0)) (/ 1 (acos h0)) (/ 1 (acos h0)) 4.385 * * * [progress]: adding candidates to table 4.534 * * [progress]: iteration 4 / 4 4.534 * * * [progress]: picking best candidate 4.547 * * * * [pick]: Picked # 4.547 * * * [progress]: localizing error 4.568 * * * [progress]: generating rewritten candidates 4.568 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.601 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 4.638 * * * [progress]: generating series expansions 4.638 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.639 * [backup-simplify]: Simplify (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a)) into (* -1 (/ a (acos a))) 4.639 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 4.639 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.639 * [taylor]: Taking taylor expansion of -1 in a 4.639 * [backup-simplify]: Simplify -1 into -1 4.639 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.639 * [taylor]: Taking taylor expansion of a in a 4.639 * [backup-simplify]: Simplify 0 into 0 4.639 * [backup-simplify]: Simplify 1 into 1 4.640 * [taylor]: Taking taylor expansion of (acos a) in a 4.640 * [backup-simplify]: Simplify (acos a) into (acos a) 4.640 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.640 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.640 * [taylor]: Taking taylor expansion of -1 in a 4.640 * [backup-simplify]: Simplify -1 into -1 4.640 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.640 * [taylor]: Taking taylor expansion of a in a 4.640 * [backup-simplify]: Simplify 0 into 0 4.640 * [backup-simplify]: Simplify 1 into 1 4.640 * [taylor]: Taking taylor expansion of (acos a) in a 4.640 * [backup-simplify]: Simplify (acos a) into (acos a) 4.640 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.640 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 4.640 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 4.641 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 4.641 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 4.641 * [backup-simplify]: Simplify 0 into 0 4.642 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.643 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 4.643 * [backup-simplify]: Simplify 0 into 0 4.643 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.644 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 4.644 * [backup-simplify]: Simplify 0 into 0 4.645 * [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 4.646 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 4.646 * [backup-simplify]: Simplify 0 into 0 4.647 * [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 4.649 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 4.649 * [backup-simplify]: Simplify 0 into 0 4.649 * [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 4.651 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 4.652 * [backup-simplify]: Simplify (/ (* -1 (/ (sqrt 1) (/ (acos (/ 1 a)) 1))) (/ 1 (/ 1 a))) into (/ -1 (* (acos (/ 1 a)) a)) 4.652 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 4.652 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.652 * [taylor]: Taking taylor expansion of -1 in a 4.652 * [backup-simplify]: Simplify -1 into -1 4.652 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.652 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.653 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.653 * [taylor]: Taking taylor expansion of a in a 4.653 * [backup-simplify]: Simplify 0 into 0 4.653 * [backup-simplify]: Simplify 1 into 1 4.653 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 4.653 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 4.653 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.653 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.653 * [taylor]: Taking taylor expansion of -1 in a 4.653 * [backup-simplify]: Simplify -1 into -1 4.653 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.653 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.653 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.654 * [taylor]: Taking taylor expansion of a in a 4.654 * [backup-simplify]: Simplify 0 into 0 4.654 * [backup-simplify]: Simplify 1 into 1 4.654 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 4.654 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 4.654 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.654 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.655 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 4.655 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.656 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.657 * [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 4.657 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.658 * [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 4.658 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.659 * [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 4.659 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.661 * [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 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 4.661 * [backup-simplify]: Simplify (/ (* -1 (/ (sqrt 1) (/ (acos (/ 1 (- a))) 1))) (/ 1 (/ 1 (- a)))) into (/ 1 (* a (acos (/ -1 a)))) 4.661 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 4.661 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.661 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.661 * [taylor]: Taking taylor expansion of a in a 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 1 into 1 4.661 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.661 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.661 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 4.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 4.662 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.662 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.662 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.662 * [taylor]: Taking taylor expansion of a in a 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 1 into 1 4.662 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.662 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.662 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 4.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 4.662 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.663 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.663 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 4.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 4.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 4.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 4.667 * [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 4.667 * [backup-simplify]: Simplify 0 into 0 4.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 4.669 * [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 4.669 * [backup-simplify]: Simplify 0 into 0 4.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 4.671 * [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 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 4.671 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 4.671 * [backup-simplify]: Simplify (/ (sqrt 1) (/ (acos a) 1)) into (/ 1 (acos a)) 4.671 * [approximate]: Taking taylor expansion of (/ 1 (acos a)) in (a) around 0 4.671 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 4.671 * [taylor]: Taking taylor expansion of (acos a) in a 4.672 * [backup-simplify]: Simplify (acos a) into (acos a) 4.672 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.672 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 4.672 * [taylor]: Taking taylor expansion of (acos a) in a 4.672 * [backup-simplify]: Simplify (acos a) into (acos a) 4.672 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.672 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 4.672 * [backup-simplify]: Simplify 0 into 0 4.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.672 * [backup-simplify]: Simplify 0 into 0 4.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.672 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [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 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [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 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.673 * [backup-simplify]: Simplify (/ (sqrt 1) (/ (acos (/ 1 a)) 1)) into (/ 1 (acos (/ 1 a))) 4.674 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in (a) around 0 4.674 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 4.674 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.674 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.674 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 4.674 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 4.674 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.674 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.674 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 4.674 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 4.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 4.674 * [backup-simplify]: Simplify 0 into 0 4.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [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 4.675 * [backup-simplify]: Simplify 0 into 0 4.675 * [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 4.675 * [backup-simplify]: Simplify 0 into 0 4.676 * [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 4.676 * [backup-simplify]: Simplify 0 into 0 4.676 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (/ 1 a)))) into (/ 1 (acos a)) 4.676 * [backup-simplify]: Simplify (/ (sqrt 1) (/ (acos (/ 1 (- a))) 1)) into (/ 1 (acos (/ -1 a))) 4.676 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in (a) around 0 4.676 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 4.676 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.676 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.676 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.676 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 4.676 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.676 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.676 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.676 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 4.677 * [backup-simplify]: Simplify 0 into 0 4.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.677 * [backup-simplify]: Simplify 0 into 0 4.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.677 * [backup-simplify]: Simplify 0 into 0 4.677 * [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 4.677 * [backup-simplify]: Simplify 0 into 0 4.678 * [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 4.678 * [backup-simplify]: Simplify 0 into 0 4.678 * [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 4.678 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 (/ 1 (- a))))) into (/ 1 (acos a)) 4.678 * * * [progress]: simplifying candidates 4.686 * [simplify]: Simplifying: (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) 0))) (- (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) 0))) (- 0 (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) 0))) (- (log 1) (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) 0))) (log (/ 1 a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) (log 1)))) (- (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) (log 1)))) (- 0 (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) (log 1)))) (- (log 1) (log a))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos a)) (log 1)))) (log (/ 1 a))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos a) 1)))) (- (log a))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos a) 1)))) (- 0 (log a))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos a) 1)))) (- (log 1) (log a))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos a) 1)))) (log (/ 1 a))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos a) 1)))) (- (log a))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos a) 1)))) (- 0 (log a))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos a) 1)))) (- (log 1) (log a))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos a) 1)))) (log (/ 1 a))) (- (log (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (- (log a))) (- (log (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (- 0 (log a))) (- (log (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (- (log 1) (log a))) (- (log (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (log (/ 1 a))) (log (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (exp (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos a) (acos a)) (acos a)) (* (* 1 1) 1)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos a) (acos a)) (acos a)) (* (* 1 1) 1)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos a) 1) (/ (acos a) 1)) (/ (acos a) 1)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos a) 1) (/ (acos a) 1)) (/ (acos a) 1)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (/ (* (* (* -1 -1) -1) (* (* (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) (/ (acos a) 1)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 -1) -1) (* (* (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) (/ (acos a) 1)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (/ (* (* (* -1 (/ (sqrt 1) (/ (acos a) 1))) (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (/ (* (* 1 1) 1) (* (* a a) a))) (/ (* (* (* -1 (/ (sqrt 1) (/ (acos a) 1))) (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (* (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a)))) (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (* (* (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a)) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (sqrt (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (sqrt (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 a))) (- (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (- (/ 1 a)) (/ -1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (/ (acos a) 1)) (cbrt (/ 1 a))) (/ -1 (sqrt (/ 1 a))) (/ (/ (sqrt 1) (/ (acos a) 1)) (sqrt (/ 1 a))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (cbrt 1) (cbrt a))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (cbrt 1) (sqrt a))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (cbrt 1) a)) (/ -1 (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (cbrt a))) (/ -1 (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (sqrt a))) (/ -1 (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) a)) (/ -1 (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 (cbrt a))) (/ -1 (/ 1 (sqrt a))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 (sqrt a))) (/ -1 (/ 1 1)) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 a)) (/ -1 1) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 a)) (/ -1 1) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 a)) (/ 1 (/ 1 a)) (/ (/ 1 a) (* -1 (/ (sqrt 1) (/ (acos a) 1)))) (/ (/ (sqrt 1) (/ (acos a) 1)) (/ 1 a)) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (sqrt (/ 1 a))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) (sqrt a))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) 1)) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 (sqrt a))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) (/ 1 1)) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) 1) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) 1) (/ (/ 1 a) (/ (sqrt 1) (/ (acos a) 1))) (/ (* -1 (/ (sqrt 1) (/ (acos a) 1))) 1) (* (/ 1 a) (/ (acos a) 1)) (- (log (sqrt 1)) (- (log (acos a)) 0)) (- (log (sqrt 1)) (- (log (acos a)) (log 1))) (- (log (sqrt 1)) (log (/ (acos a) 1))) (log (/ (sqrt 1) (/ (acos a) 1))) (exp (/ (sqrt 1) (/ (acos a) 1))) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos a) (acos a)) (acos a)) (* (* 1 1) 1))) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos a) 1) (/ (acos a) 1)) (/ (acos a) 1))) (* (cbrt (/ (sqrt 1) (/ (acos a) 1))) (cbrt (/ (sqrt 1) (/ (acos a) 1)))) (cbrt (/ (sqrt 1) (/ (acos a) 1))) (* (* (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (/ (acos a) 1))) (/ (sqrt 1) (/ (acos a) 1))) (sqrt (/ (sqrt 1) (/ (acos a) 1))) (sqrt (/ (sqrt 1) (/ (acos a) 1))) (- (sqrt 1)) (- (/ (acos a) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (cbrt (sqrt 1)) (cbrt (/ (acos a) 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (sqrt (/ (acos a) 1))) (/ (cbrt (sqrt 1)) (sqrt (/ (acos a) 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (cbrt (acos a)) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (cbrt (acos a)) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (cbrt (sqrt 1)) (/ (cbrt (acos a)) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (sqrt (acos a)) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos a)) (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos a)) 1)) (/ (cbrt (sqrt 1)) (/ (sqrt (acos a)) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (acos a) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (acos a) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 1)) (/ (cbrt (sqrt 1)) (/ (acos a) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) 1) (/ (cbrt (sqrt 1)) (/ (acos a) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (acos a)) (/ (cbrt (sqrt 1)) (/ 1 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt (cbrt 1)) (cbrt (/ (acos a) 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (sqrt (/ (acos a) 1))) (/ (sqrt (cbrt 1)) (sqrt (/ (acos a) 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (cbrt (acos a)) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (cbrt (acos a)) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt (cbrt 1)) (/ (cbrt (acos a)) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (sqrt (acos a)) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos a)) 1)) (/ (sqrt (cbrt 1)) (/ (sqrt (acos a)) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (acos a) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (acos a) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 1)) (/ (sqrt (cbrt 1)) (/ (acos a) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) 1) (/ (sqrt (cbrt 1)) (/ (acos a) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (acos a)) (/ (sqrt (cbrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt (sqrt 1)) (cbrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (acos a) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ 1 (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (acos a) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (/ (acos a) 1)) (/ (sqrt (sqrt 1)) 1) (/ (sqrt (sqrt 1)) (/ (acos a) 1)) (/ (sqrt (sqrt 1)) (acos a)) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt 1) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt 1) (cbrt (/ (acos a) 1))) (/ (sqrt 1) (sqrt (/ (acos a) 1))) (/ (sqrt 1) (sqrt (/ (acos a) 1))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (cbrt (acos a)) (cbrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt 1) (/ (cbrt (acos a)) (sqrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt 1) (/ (cbrt (acos a)) 1)) (/ (sqrt 1) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos a)) (cbrt 1))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (acos a) (cbrt 1))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt 1) (/ (acos a) (sqrt 1))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (acos a) 1)) (/ (sqrt 1) (acos a)) (/ (sqrt 1) (/ 1 1)) (/ (sqrt (sqrt 1)) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt (sqrt 1)) (cbrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos a) 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt (sqrt 1)) (/ (cbrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos a)) 1)) (/ (sqrt (sqrt 1)) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (acos a) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ 1 (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (acos a) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (/ (acos a) 1)) (/ (sqrt (sqrt 1)) 1) (/ (sqrt (sqrt 1)) (/ (acos a) 1)) (/ (sqrt (sqrt 1)) (acos a)) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ 1 (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt 1) (cbrt (/ (acos a) 1))) (/ 1 (sqrt (/ (acos a) 1))) (/ (sqrt 1) (sqrt (/ (acos a) 1))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (cbrt (acos a)) (cbrt 1))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt 1) (/ (cbrt (acos a)) (sqrt 1))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt 1) (/ (cbrt (acos a)) 1)) (/ 1 (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos a)) (cbrt 1))) (/ 1 (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt 1))) (/ 1 (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ 1 (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (acos a) (cbrt 1))) (/ 1 (/ 1 (sqrt 1))) (/ (sqrt 1) (/ (acos a) (sqrt 1))) (/ 1 (/ 1 1)) (/ (sqrt 1) (/ (acos a) 1)) (/ 1 1) (/ (sqrt 1) (/ (acos a) 1)) (/ 1 (acos a)) (/ (sqrt 1) (/ 1 1)) (/ 1 (/ (acos a) 1)) (/ (/ (acos a) 1) (sqrt 1)) (/ (sqrt 1) (* (cbrt (/ (acos a) 1)) (cbrt (/ (acos a) 1)))) (/ (sqrt 1) (sqrt (/ (acos a) 1))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt 1) (/ (sqrt (acos a)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (acos a)) (/ (/ (acos a) 1) (cbrt (sqrt 1))) (/ (/ (acos a) 1) (sqrt (cbrt 1))) (/ (/ (acos a) 1) (sqrt (sqrt 1))) (/ (/ (acos a) 1) (sqrt 1)) (/ (/ (acos a) 1) (sqrt (sqrt 1))) (/ (/ (acos a) 1) (sqrt 1)) (/ (sqrt 1) (acos a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ 1 (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) 4.687 * [simplify]: Sending expressions to egg_math: (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) 0))) (- (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) 0))) (- 0 (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) 0))) (- (log 1) (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) 0))) (log (/ 1 h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) (log 1)))) (- (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) (log 1)))) (- 0 (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) (log 1)))) (- (log 1) (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (- (log (acos h0)) (log 1)))) (log (/ 1 h0))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos h0) 1)))) (- (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos h0) 1)))) (- 0 (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos h0) 1)))) (- (log 1) (log h0))) (- (+ (log -1) (- (log (sqrt 1)) (log (/ (acos h0) 1)))) (log (/ 1 h0))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos h0) 1)))) (- (log h0))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos h0) 1)))) (- 0 (log h0))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos h0) 1)))) (- (log 1) (log h0))) (- (+ (log -1) (log (/ (sqrt 1) (/ (acos h0) 1)))) (log (/ 1 h0))) (- (log (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (- (log h0))) (- (log (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (- 0 (log h0))) (- (log (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (- (log 1) (log h0))) (- (log (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (log (/ 1 h0))) (log (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (exp (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos h0) (acos h0)) (acos h0)) (* (* 1 1) 1)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos h0) (acos h0)) (acos h0)) (* (* 1 1) 1)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos h0) 1) (/ (acos h0) 1)) (/ (acos h0) 1)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 -1) -1) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos h0) 1) (/ (acos h0) 1)) (/ (acos h0) 1)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (/ (* (* (* -1 -1) -1) (* (* (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) (/ (acos h0) 1)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 -1) -1) (* (* (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) (/ (acos h0) 1)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (/ (* (* (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (/ (* (* 1 1) 1) (* (* h0 h0) h0))) (/ (* (* (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (* (* (/ 1 h0) (/ 1 h0)) (/ 1 h0))) (* (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0)))) (cbrt (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (* (* (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0)) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (sqrt (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (sqrt (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 h0))) (- (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (- (/ 1 h0)) (/ -1 (* (cbrt (/ 1 h0)) (cbrt (/ 1 h0)))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (cbrt (/ 1 h0))) (/ -1 (sqrt (/ 1 h0))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (sqrt (/ 1 h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt h0) (cbrt h0)))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (cbrt 1) (cbrt h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) (sqrt h0))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (cbrt 1) (sqrt h0))) (/ -1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (cbrt 1) h0)) (/ -1 (/ (sqrt 1) (* (cbrt h0) (cbrt h0)))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (cbrt h0))) (/ -1 (/ (sqrt 1) (sqrt h0))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (sqrt h0))) (/ -1 (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) h0)) (/ -1 (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 (cbrt h0))) (/ -1 (/ 1 (sqrt h0))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 (sqrt h0))) (/ -1 (/ 1 1)) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 h0)) (/ -1 1) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 h0)) (/ -1 1) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 h0)) (/ 1 (/ 1 h0)) (/ (/ 1 h0) (* -1 (/ (sqrt 1) (/ (acos h0) 1)))) (/ (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 h0)) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (* (cbrt (/ 1 h0)) (cbrt (/ 1 h0)))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (sqrt (/ 1 h0))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (* (cbrt 1) (cbrt 1)) (sqrt h0))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) (sqrt h0))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) 1)) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 (* (cbrt h0) (cbrt h0)))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 (sqrt h0))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) (/ 1 1)) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) 1) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) 1) (/ (/ 1 h0) (/ (sqrt 1) (/ (acos h0) 1))) (/ (* -1 (/ (sqrt 1) (/ (acos h0) 1))) 1) (* (/ 1 h0) (/ (acos h0) 1)) (- (log (sqrt 1)) (- (log (acos h0)) 0)) (- (log (sqrt 1)) (- (log (acos h0)) (log 1))) (- (log (sqrt 1)) (log (/ (acos h0) 1))) (log (/ (sqrt 1) (/ (acos h0) 1))) (exp (/ (sqrt 1) (/ (acos h0) 1))) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (/ (* (* (acos h0) (acos h0)) (acos h0)) (* (* 1 1) 1))) (/ (* (* (sqrt 1) (sqrt 1)) (sqrt 1)) (* (* (/ (acos h0) 1) (/ (acos h0) 1)) (/ (acos h0) 1))) (* (cbrt (/ (sqrt 1) (/ (acos h0) 1))) (cbrt (/ (sqrt 1) (/ (acos h0) 1)))) (cbrt (/ (sqrt 1) (/ (acos h0) 1))) (* (* (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (/ (acos h0) 1))) (/ (sqrt 1) (/ (acos h0) 1))) (sqrt (/ (sqrt 1) (/ (acos h0) 1))) (sqrt (/ (sqrt 1) (/ (acos h0) 1))) (- (sqrt 1)) (- (/ (acos h0) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (cbrt (sqrt 1)) (cbrt (/ (acos h0) 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (sqrt (/ (acos h0) 1))) (/ (cbrt (sqrt 1)) (sqrt (/ (acos h0) 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (cbrt (acos h0)) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (cbrt (acos h0)) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (cbrt (sqrt 1)) (/ (cbrt (acos h0)) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (sqrt (acos h0)) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos h0)) (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ (sqrt (acos h0)) 1)) (/ (cbrt (sqrt 1)) (/ (sqrt (acos h0)) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (cbrt (sqrt 1)) (/ (acos h0) (cbrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 (sqrt 1))) (/ (cbrt (sqrt 1)) (/ (acos h0) (sqrt 1))) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (/ 1 1)) (/ (cbrt (sqrt 1)) (/ (acos h0) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) 1) (/ (cbrt (sqrt 1)) (/ (acos h0) 1)) (/ (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (acos h0)) (/ (cbrt (sqrt 1)) (/ 1 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt (cbrt 1)) (cbrt (/ (acos h0) 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (sqrt (/ (acos h0) 1))) (/ (sqrt (cbrt 1)) (sqrt (/ (acos h0) 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (cbrt (acos h0)) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (cbrt (acos h0)) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt (cbrt 1)) (/ (cbrt (acos h0)) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (sqrt (acos h0)) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ (sqrt (acos h0)) 1)) (/ (sqrt (cbrt 1)) (/ (sqrt (acos h0)) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (cbrt 1)) (/ (acos h0) (cbrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 (sqrt 1))) (/ (sqrt (cbrt 1)) (/ (acos h0) (sqrt 1))) (/ (sqrt (* (cbrt 1) (cbrt 1))) (/ 1 1)) (/ (sqrt (cbrt 1)) (/ (acos h0) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) 1) (/ (sqrt (cbrt 1)) (/ (acos h0) 1)) (/ (sqrt (* (cbrt 1) (cbrt 1))) (acos h0)) (/ (sqrt (cbrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt (sqrt 1)) (cbrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (acos h0) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ 1 (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (acos h0) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (/ (acos h0) 1)) (/ (sqrt (sqrt 1)) 1) (/ (sqrt (sqrt 1)) (/ (acos h0) 1)) (/ (sqrt (sqrt 1)) (acos h0)) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt 1) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt 1) (cbrt (/ (acos h0) 1))) (/ (sqrt 1) (sqrt (/ (acos h0) 1))) (/ (sqrt 1) (sqrt (/ (acos h0) 1))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (cbrt (acos h0)) (cbrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt 1) (/ (cbrt (acos h0)) (sqrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt 1) (/ (cbrt (acos h0)) 1)) (/ (sqrt 1) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos h0)) (cbrt 1))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos h0)) 1)) (/ (sqrt 1) (/ (sqrt (acos h0)) 1)) (/ (sqrt 1) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (acos h0) (cbrt 1))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt 1) (/ (acos h0) (sqrt 1))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (acos h0) 1)) (/ (sqrt 1) (acos h0)) (/ (sqrt 1) (/ 1 1)) (/ (sqrt (sqrt 1)) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt (sqrt 1)) (cbrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (sqrt (/ (acos h0) 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt (sqrt 1)) (/ (cbrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ (sqrt (acos h0)) 1)) (/ (sqrt (sqrt 1)) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt (sqrt 1)) (/ (acos h0) (cbrt 1))) (/ (sqrt (sqrt 1)) (/ 1 (sqrt 1))) (/ (sqrt (sqrt 1)) (/ (acos h0) (sqrt 1))) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ (sqrt (sqrt 1)) (/ (acos h0) 1)) (/ (sqrt (sqrt 1)) 1) (/ (sqrt (sqrt 1)) (/ (acos h0) 1)) (/ (sqrt (sqrt 1)) (acos h0)) (/ (sqrt (sqrt 1)) (/ 1 1)) (/ 1 (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt 1) (cbrt (/ (acos h0) 1))) (/ 1 (sqrt (/ (acos h0) 1))) (/ (sqrt 1) (sqrt (/ (acos h0) 1))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (cbrt (acos h0)) (cbrt 1))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt 1) (/ (cbrt (acos h0)) (sqrt 1))) (/ 1 (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt 1) (/ (cbrt (acos h0)) 1)) (/ 1 (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos h0)) (cbrt 1))) (/ 1 (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt 1))) (/ 1 (/ (sqrt (acos h0)) 1)) (/ (sqrt 1) (/ (sqrt (acos h0)) 1)) (/ 1 (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (acos h0) (cbrt 1))) (/ 1 (/ 1 (sqrt 1))) (/ (sqrt 1) (/ (acos h0) (sqrt 1))) (/ 1 (/ 1 1)) (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 1) (/ (sqrt 1) (/ (acos h0) 1)) (/ 1 (acos h0)) (/ (sqrt 1) (/ 1 1)) (/ 1 (/ (acos h0) 1)) (/ (/ (acos h0) 1) (sqrt 1)) (/ (sqrt 1) (* (cbrt (/ (acos h0) 1)) (cbrt (/ (acos h0) 1)))) (/ (sqrt 1) (sqrt (/ (acos h0) 1))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) (sqrt 1))) (/ (sqrt 1) (/ (* (cbrt (acos h0)) (cbrt (acos h0))) 1)) (/ (sqrt 1) (/ (sqrt (acos h0)) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (acos h0)) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (acos h0)) 1)) (/ (sqrt 1) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (acos h0)) (/ (/ (acos h0) 1) (cbrt (sqrt 1))) (/ (/ (acos h0) 1) (sqrt (cbrt 1))) (/ (/ (acos h0) 1) (sqrt (sqrt 1))) (/ (/ (acos h0) 1) (sqrt 1)) (/ (/ (acos h0) 1) (sqrt (sqrt 1))) (/ (/ (acos h0) 1) (sqrt 1)) (/ (sqrt 1) (acos h0)) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (* -1 (/ h0 (acos h0))) (/ 1 (acos h0)) (/ 1 (acos h0)) (/ 1 (acos h0)) 6.504 * * * [progress]: adding candidates to table 6.841 * [progress]: [Phase 3 of 3] Extracting. 6.841 * * [regime]: Finding splitpoints for: (# # # # # # # #) 6.843 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 6.843 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # # # # # #) 6.883 * * * * [regimes]: Trying to branch on a from (# # # # # # # #) 6.910 * * * [regime]: Found split indices: #