27.996 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (/ a (- (acos a))) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: iteration done: 4 enodes (cost 5 ) 0.040 * [simplify]: Simplified to: (/ a (- (acos a))) 0.040 * * [progress]: iteration 1 / 4 0.040 * * * [progress]: picking best candidate 0.048 * * * * [pick]: Picked # 0.048 * * * [progress]: localizing error 0.053 * * * [progress]: generating rewritten candidates 0.053 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.064 * * * [progress]: generating series expansions 0.064 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.064 * [backup-simplify]: Simplify (/ a (- (acos a))) into (* -1 (/ a (acos a))) 0.064 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.064 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.064 * [taylor]: Taking taylor expansion of -1 in a 0.064 * [backup-simplify]: Simplify -1 into -1 0.064 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.064 * [taylor]: Taking taylor expansion of a in a 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [taylor]: Taking taylor expansion of (acos a) in a 0.064 * [backup-simplify]: Simplify (acos a) into (acos a) 0.064 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 0.064 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.064 * [taylor]: Taking taylor expansion of -1 in a 0.064 * [backup-simplify]: Simplify -1 into -1 0.064 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.064 * [taylor]: Taking taylor expansion of a in a 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.065 * [taylor]: Taking taylor expansion of (acos a) in a 0.065 * [backup-simplify]: Simplify (acos a) into (acos a) 0.065 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 0.065 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 0.065 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 0.065 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 0.066 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 0.066 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 0.067 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 0.067 * [backup-simplify]: Simplify 0 into 0 0.068 * [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.069 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [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.070 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 0.070 * [backup-simplify]: Simplify 0 into 0 0.071 * [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.072 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 0.072 * [backup-simplify]: Simplify (/ (/ 1 a) (- (acos (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a)) 0.072 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.072 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.072 * [taylor]: Taking taylor expansion of -1 in a 0.072 * [backup-simplify]: Simplify -1 into -1 0.072 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.072 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.072 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 0.072 * [taylor]: Taking taylor expansion of a in a 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 0.073 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 0.073 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.073 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.073 * [taylor]: Taking taylor expansion of -1 in a 0.073 * [backup-simplify]: Simplify -1 into -1 0.073 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.073 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.073 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 0.073 * [taylor]: Taking taylor expansion of a in a 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 0.073 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 0.074 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.074 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 0.074 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.076 * [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.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.077 * [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.077 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.078 * [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.078 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.080 * [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.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 0.080 * [backup-simplify]: Simplify (/ (/ 1 (- a)) (- (acos (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 0.080 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.080 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.080 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.080 * [taylor]: Taking taylor expansion of a in a 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.080 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 0.080 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 0.080 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 0.081 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.081 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.081 * [taylor]: Taking taylor expansion of a in a 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.081 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 0.081 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 0.081 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 0.081 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.081 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 0.082 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 0.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 0.082 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 0.083 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 0.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 0.086 * [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.086 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 0.087 * [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.087 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 0.089 * [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.089 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 0.090 * * * [progress]: simplifying candidates 0.091 * [simplify]: Simplifying: (expm1 (/ a (- (acos a)))) (log1p (/ a (- (acos a)))) (- (log a) (log (- (acos a)))) (log (/ a (- (acos a)))) (exp (/ a (- (acos a)))) (/ (* (* a a) a) (* (* (- (acos a)) (- (acos a))) (- (acos a)))) (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a))))) (cbrt (/ a (- (acos a)))) (* (* (/ a (- (acos a))) (/ a (- (acos a)))) (/ a (- (acos a)))) (sqrt (/ a (- (acos a)))) (sqrt (/ a (- (acos a)))) (- a) (- (- (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ (cbrt a) (cbrt (- (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (- (acos a)))) (/ (cbrt a) (sqrt (- (acos a)))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (- (acos a))) (/ (* (cbrt a) (cbrt a)) -1) (/ (cbrt a) (acos a)) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- 1)) (/ (cbrt a) (acos a)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (- (acos a))) (/ (sqrt a) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ (sqrt a) (cbrt (- (acos a)))) (/ (sqrt a) (sqrt (- (acos a)))) (/ (sqrt a) (sqrt (- (acos a)))) (/ (sqrt a) 1) (/ (sqrt a) (- (acos a))) (/ (sqrt a) -1) (/ (sqrt a) (acos a)) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- 1)) (/ (sqrt a) (acos a)) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) 1) (/ (sqrt a) (- (acos a))) (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ a (cbrt (- (acos a)))) (/ 1 (sqrt (- (acos a)))) (/ a (sqrt (- (acos a)))) (/ 1 1) (/ a (- (acos a))) (/ 1 -1) (/ a (acos a)) (/ 1 (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ a (cbrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (/ 1 (- 1)) (/ a (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (- (cbrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) (/ 1 1) (/ a (- (acos a))) (/ 1 (- (acos a))) (/ (- (acos a)) a) (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ a (sqrt (- (acos a)))) (/ a 1) (/ a -1) (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ a (- (sqrt (acos a)))) (/ a (- 1)) (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (sqrt (acos a))) (/ a 1) (/ (- (acos a)) (cbrt a)) (/ (- (acos a)) (sqrt a)) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: Extracting # 3 : cost 0 0.092 * * [simplify]: Extracting # 4 : cost 0 0.092 * * [simplify]: iteration 0 : 96 enodes (cost 613 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: Extracting # 3 : cost 0 0.115 * * [simplify]: iteration 1 : 166 enodes (cost 581 ) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.151 * * [simplify]: Extracting # 1 : cost 0 0.152 * * [simplify]: Extracting # 2 : cost 0 0.152 * * [simplify]: Extracting # 3 : cost 0 0.152 * * [simplify]: Extracting # 4 : cost 0 0.153 * * [simplify]: iteration 2 : 333 enodes (cost 563 ) 0.236 * * [simplify]: Extracting # 0 : cost 0 0.237 * * [simplify]: Extracting # 1 : cost 0 0.238 * * [simplify]: Extracting # 2 : cost 0 0.238 * * [simplify]: Extracting # 3 : cost 0 0.239 * * [simplify]: Extracting # 4 : cost 0 0.239 * * [simplify]: iteration 3 : 587 enodes (cost 563 ) 0.505 * * [simplify]: Extracting # 0 : cost 0 0.507 * * [simplify]: Extracting # 1 : cost 0 0.509 * * [simplify]: Extracting # 2 : cost 0 0.511 * * [simplify]: Extracting # 3 : cost 0 0.512 * * [simplify]: Extracting # 4 : cost 0 0.514 * * [simplify]: iteration 4 : 1105 enodes (cost 563 ) 1.772 * * [simplify]: Extracting # 0 : cost 0 1.776 * * [simplify]: Extracting # 1 : cost 0 1.780 * * [simplify]: Extracting # 2 : cost 0 1.783 * * [simplify]: Extracting # 3 : cost 0 1.786 * * [simplify]: Extracting # 4 : cost 0 1.788 * * [simplify]: iteration 5 : 2150 enodes (cost 558 ) 4.669 * * [simplify]: Extracting # 0 : cost 0 4.677 * * [simplify]: Extracting # 1 : cost 0 4.685 * * [simplify]: Extracting # 2 : cost 0 4.693 * * [simplify]: Extracting # 3 : cost 0 4.701 * * [simplify]: Extracting # 4 : cost 0 4.709 * * [simplify]: iteration done: 5001 enodes (cost 558 ) 4.709 * [simplify]: Simplified to: (expm1 (/ a (- (acos a)))) (log1p (/ a (- (acos a)))) (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (exp (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a))))) (cbrt (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (sqrt (/ a (- (acos a)))) (sqrt (/ a (- (acos a)))) (- a) (acos a) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ (cbrt a) (cbrt (- (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (- (acos a)))) (/ (cbrt a) (sqrt (- (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (/ (* (cbrt a) (cbrt a)) -1) (/ (cbrt a) (acos a)) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) -1) (/ (cbrt a) (acos a)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (/ (sqrt a) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ (sqrt a) (cbrt (- (acos a)))) (/ (sqrt a) (sqrt (- (acos a)))) (/ (sqrt a) (sqrt (- (acos a)))) (sqrt a) (/ (sqrt a) (- (acos a))) (/ (sqrt a) -1) (/ (sqrt a) (acos a)) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) -1) (/ (sqrt a) (acos a)) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (sqrt a) (/ (sqrt a) (- (acos a))) (/ 1 (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ a (cbrt (- (acos a)))) (/ 1 (sqrt (- (acos a)))) (/ a (sqrt (- (acos a)))) 1 (/ a (- (acos a))) -1 (/ a (acos a)) (/ (/ -1 (cbrt (acos a))) (cbrt (acos a))) (/ a (cbrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) -1 (/ a (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (- (cbrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) 1 (/ a (- (acos a))) (/ -1 (acos a)) (- (/ (acos a) a)) (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ a (sqrt (- (acos a)))) a (- a) (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ a (- (sqrt (acos a)))) (- a) (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (sqrt (acos a))) a (/ (- (acos a)) (cbrt a)) (/ (- (acos a)) (sqrt a)) (- (/ (acos a) a)) (/ a (- (acos a))) (/ a (- (acos a))) (/ a (- (acos a))) 4.710 * * * [progress]: adding candidates to table 4.858 * * [progress]: iteration 2 / 4 4.858 * * * [progress]: picking best candidate 4.879 * * * * [pick]: Picked # 4.879 * * * [progress]: localizing error 4.885 * * * [progress]: generating rewritten candidates 4.885 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.910 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 4.927 * * * [progress]: generating series expansions 4.927 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.927 * [backup-simplify]: Simplify (/ 1 (- (/ (acos a) a))) into (* -1 (/ a (acos a))) 4.927 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 4.928 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.928 * [taylor]: Taking taylor expansion of -1 in a 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.928 * [taylor]: Taking taylor expansion of a in a 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of (acos a) in a 4.928 * [backup-simplify]: Simplify (acos a) into (acos a) 4.928 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.928 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.928 * [taylor]: Taking taylor expansion of -1 in a 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.928 * [taylor]: Taking taylor expansion of a in a 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of (acos a) in a 4.928 * [backup-simplify]: Simplify (acos a) into (acos a) 4.928 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 4.928 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 4.928 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 4.928 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 4.929 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 4.929 * [backup-simplify]: Simplify 0 into 0 4.929 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.930 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 4.930 * [backup-simplify]: Simplify 0 into 0 4.930 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 4.931 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 4.931 * [backup-simplify]: Simplify 0 into 0 4.931 * [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.932 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 4.932 * [backup-simplify]: Simplify 0 into 0 4.933 * [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.934 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 4.934 * [backup-simplify]: Simplify 0 into 0 4.935 * [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.936 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 4.936 * [backup-simplify]: Simplify 0 into 0 4.936 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 4.936 * [backup-simplify]: Simplify (/ 1 (- (/ (acos (/ 1 a)) (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a)) 4.936 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 4.936 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.936 * [taylor]: Taking taylor expansion of -1 in a 4.936 * [backup-simplify]: Simplify -1 into -1 4.937 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.937 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.937 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.937 * [taylor]: Taking taylor expansion of a in a 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify 1 into 1 4.937 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 4.937 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 4.937 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.937 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.937 * [taylor]: Taking taylor expansion of -1 in a 4.937 * [backup-simplify]: Simplify -1 into -1 4.937 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.937 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.937 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.937 * [taylor]: Taking taylor expansion of a in a 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify 1 into 1 4.938 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 4.938 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 4.938 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.938 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 4.939 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 4.939 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 4.939 * [backup-simplify]: Simplify 0 into 0 4.940 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.940 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 4.940 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.941 * [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.941 * [backup-simplify]: Simplify 0 into 0 4.942 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.942 * [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.942 * [backup-simplify]: Simplify 0 into 0 4.943 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.943 * [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.943 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.945 * [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.945 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 4.945 * [backup-simplify]: Simplify (/ 1 (- (/ (acos (/ 1 (- a))) (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 4.945 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 4.945 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.945 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.945 * [taylor]: Taking taylor expansion of a in a 4.945 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify 1 into 1 4.945 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.945 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.946 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 4.946 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 4.946 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.946 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.946 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.946 * [taylor]: Taking taylor expansion of a in a 4.946 * [backup-simplify]: Simplify 0 into 0 4.946 * [backup-simplify]: Simplify 1 into 1 4.946 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.946 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.946 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 4.947 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 4.947 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.947 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 4.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 4.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 4.948 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 4.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.949 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 4.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 4.950 * [backup-simplify]: Simplify 0 into 0 4.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 4.952 * [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.952 * [backup-simplify]: Simplify 0 into 0 4.953 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 4.954 * [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.954 * [backup-simplify]: Simplify 0 into 0 4.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 4.957 * [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.957 * [backup-simplify]: Simplify 0 into 0 4.958 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 4.958 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 4.958 * [backup-simplify]: Simplify (/ (acos a) a) into (/ (acos a) a) 4.958 * [approximate]: Taking taylor expansion of (/ (acos a) a) in (a) around 0 4.958 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 4.958 * [taylor]: Taking taylor expansion of (acos a) in a 4.958 * [backup-simplify]: Simplify (acos a) into (acos a) 4.958 * [taylor]: Taking taylor expansion of a in a 4.958 * [backup-simplify]: Simplify 0 into 0 4.958 * [backup-simplify]: Simplify 1 into 1 4.958 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 4.958 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 4.958 * [taylor]: Taking taylor expansion of (acos a) in a 4.958 * [backup-simplify]: Simplify (acos a) into (acos a) 4.958 * [taylor]: Taking taylor expansion of a in a 4.958 * [backup-simplify]: Simplify 0 into 0 4.958 * [backup-simplify]: Simplify 1 into 1 4.958 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 4.958 * [backup-simplify]: Simplify (acos a) into (acos a) 4.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 4.960 * [backup-simplify]: Simplify 0 into 0 4.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.961 * [backup-simplify]: Simplify 0 into 0 4.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.963 * [backup-simplify]: Simplify 0 into 0 4.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.966 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.969 * [backup-simplify]: Simplify 0 into 0 4.971 * [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 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify (* (acos a) (/ 1 a)) into (/ (acos a) a) 4.971 * [backup-simplify]: Simplify (/ (acos (/ 1 a)) (/ 1 a)) into (* (acos (/ 1 a)) a) 4.971 * [approximate]: Taking taylor expansion of (* (acos (/ 1 a)) a) in (a) around 0 4.971 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.971 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.971 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.971 * [taylor]: Taking taylor expansion of a in a 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify 1 into 1 4.971 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.971 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.971 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.971 * [taylor]: Taking taylor expansion of a in a 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify 1 into 1 4.972 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 4.972 * [backup-simplify]: Simplify 0 into 0 4.972 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 4.972 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 4.973 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 4.973 * [backup-simplify]: Simplify 0 into 0 4.973 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.973 * [backup-simplify]: Simplify 0 into 0 4.974 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.974 * [backup-simplify]: Simplify 0 into 0 4.975 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.975 * [backup-simplify]: Simplify 0 into 0 4.976 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.976 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.977 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify (* (acos (/ 1 (/ 1 a))) (/ 1 a)) into (/ (acos a) a) 4.977 * [backup-simplify]: Simplify (/ (acos (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (acos (/ -1 a)))) 4.977 * [approximate]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 4.977 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 4.977 * [taylor]: Taking taylor expansion of -1 in a 4.977 * [backup-simplify]: Simplify -1 into -1 4.977 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.977 * [taylor]: Taking taylor expansion of a in a 4.977 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify 1 into 1 4.977 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.977 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.977 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 4.977 * [taylor]: Taking taylor expansion of -1 in a 4.977 * [backup-simplify]: Simplify -1 into -1 4.977 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.977 * [taylor]: Taking taylor expansion of a in a 4.977 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify 1 into 1 4.977 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.977 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 4.977 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 4.978 * [backup-simplify]: Simplify (* -1 0) into 0 4.978 * [backup-simplify]: Simplify 0 into 0 4.978 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 4.979 * [backup-simplify]: Simplify (+ (* -1 (acos (/ -1 a))) (* 0 0)) into (- (acos (/ -1 a))) 4.979 * [backup-simplify]: Simplify (- (acos (/ -1 a))) into (- (acos (/ -1 a))) 4.979 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 4.980 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))) into 0 4.980 * [backup-simplify]: Simplify 0 into 0 4.981 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 4.981 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))) into 0 4.981 * [backup-simplify]: Simplify 0 into 0 4.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 4.983 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))) into 0 4.983 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 4.986 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))) into 0 4.986 * [backup-simplify]: Simplify 0 into 0 4.988 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 4.989 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))))) into 0 4.989 * [backup-simplify]: Simplify 0 into 0 4.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 4.992 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))))) into 0 4.992 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify (* (- (acos (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (acos a) a) 4.993 * * * [progress]: simplifying candidates 4.995 * [simplify]: Simplifying: (expm1 (/ 1 (- (/ (acos a) a)))) (log1p (/ 1 (- (/ (acos a) a)))) (- 1) (- (log (- (/ (acos a) a)))) (- 0 (log (- (/ (acos a) a)))) (- (log 1) (log (- (/ (acos a) a)))) (log (/ 1 (- (/ (acos a) a)))) (exp (/ 1 (- (/ (acos a) a)))) (/ (* (* 1 1) 1) (* (* (- (/ (acos a) a)) (- (/ (acos a) a))) (- (/ (acos a) a)))) (* (cbrt (/ 1 (- (/ (acos a) a)))) (cbrt (/ 1 (- (/ (acos a) a))))) (cbrt (/ 1 (- (/ (acos a) a)))) (* (* (/ 1 (- (/ (acos a) a))) (/ 1 (- (/ (acos a) a)))) (/ 1 (- (/ (acos a) a)))) (sqrt (/ 1 (- (/ (acos a) a)))) (sqrt (/ 1 (- (/ (acos a) a)))) (- 1) (- (- (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ (cbrt 1) (cbrt (- (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ (acos a) a)))) (/ (cbrt 1) (sqrt (- (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) -1) (/ (cbrt 1) (/ (acos a) a)) (/ (* (cbrt 1) (cbrt 1)) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ (cbrt 1) (cbrt (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (- (sqrt (/ (acos a) a)))) (/ (cbrt 1) (sqrt (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (cbrt (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ (cbrt 1) (/ (cbrt (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ (cbrt 1) (/ (cbrt (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (sqrt (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (cbrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) 1))) (/ (cbrt 1) (/ (sqrt (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (acos a) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (sqrt a)))) (/ (cbrt 1) (/ (acos a) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 1))) (/ (cbrt 1) (/ (acos a) a)) (/ (* (cbrt 1) (cbrt 1)) (- 1)) (/ (cbrt 1) (/ (acos a) a)) (/ (* (cbrt 1) (cbrt 1)) (- (acos a))) (/ (cbrt 1) (/ 1 a)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ (cbrt 1) (- (cbrt (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (acos a) a))) (/ (cbrt 1) (- (sqrt (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (cbrt (acos a)) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (cbrt 1) (- (/ (cbrt (acos a)) (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (cbrt 1) (- (/ (cbrt (acos a)) a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (sqrt (acos a)) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (sqrt a))) (/ (cbrt 1) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) 1)) (/ (cbrt 1) (- (/ (sqrt (acos a)) a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (acos a) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt a))) (/ (cbrt 1) (- (/ (acos a) (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (- (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (acos a)) (/ (cbrt 1) (- (/ 1 a))) (/ (sqrt 1) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ (sqrt 1) (cbrt (- (/ (acos a) a)))) (/ (sqrt 1) (sqrt (- (/ (acos a) a)))) (/ (sqrt 1) (sqrt (- (/ (acos a) a)))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (/ (acos a) a))) (/ (sqrt 1) -1) (/ (sqrt 1) (/ (acos a) a)) (/ (sqrt 1) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ (sqrt 1) (cbrt (/ (acos a) a))) (/ (sqrt 1) (- (sqrt (/ (acos a) a)))) (/ (sqrt 1) (sqrt (/ (acos a) a))) (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ (sqrt 1) (/ (cbrt (acos a)) (cbrt a))) (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ (sqrt 1) (/ (cbrt (acos a)) (sqrt a))) (/ (sqrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ (sqrt 1) (/ (cbrt (acos a)) a)) (/ (sqrt 1) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ (sqrt 1) (/ (sqrt (acos a)) (cbrt a))) (/ (sqrt 1) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (sqrt 1) (- (/ (sqrt (acos a)) 1))) (/ (sqrt 1) (/ (sqrt (acos a)) a)) (/ (sqrt 1) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (sqrt 1) (/ (acos a) (cbrt a))) (/ (sqrt 1) (- (/ 1 (sqrt a)))) (/ (sqrt 1) (/ (acos a) (sqrt a))) (/ (sqrt 1) (- (/ 1 1))) (/ (sqrt 1) (/ (acos a) a)) (/ (sqrt 1) (- 1)) (/ (sqrt 1) (/ (acos a) a)) (/ (sqrt 1) (- (acos a))) (/ (sqrt 1) (/ 1 a)) (/ (sqrt 1) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ (sqrt 1) (- (cbrt (/ (acos a) a)))) (/ (sqrt 1) (sqrt (/ (acos a) a))) (/ (sqrt 1) (- (sqrt (/ (acos a) a)))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (- (/ (cbrt (acos a)) (cbrt a)))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (sqrt 1) (- (/ (cbrt (acos a)) (sqrt a)))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt 1) (- (/ (cbrt (acos a)) a))) (/ (sqrt 1) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (- (/ (sqrt (acos a)) (cbrt a)))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (sqrt 1) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (- (/ (sqrt (acos a)) a))) (/ (sqrt 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (- (/ (acos a) (cbrt a)))) (/ (sqrt 1) (/ 1 (sqrt a))) (/ (sqrt 1) (- (/ (acos a) (sqrt a)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (- (/ (acos a) a))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (/ (acos a) a))) (/ (sqrt 1) (acos a)) (/ (sqrt 1) (- (/ 1 a))) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (cbrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 1) (/ 1 (- (/ (acos a) a))) (/ 1 -1) (/ 1 (/ (acos a) a)) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (cbrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ 1 (/ (cbrt (acos a)) (cbrt a))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ 1 (/ (cbrt (acos a)) (sqrt a))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ 1 (/ (cbrt (acos a)) a)) (/ 1 (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ 1 (/ (sqrt (acos a)) (cbrt a))) (/ 1 (- (/ (sqrt (acos a)) (sqrt a)))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (- (/ (sqrt (acos a)) 1))) (/ 1 (/ (sqrt (acos a)) a)) (/ 1 (- (/ 1 (* (cbrt a) (cbrt a))))) (/ 1 (/ (acos a) (cbrt a))) (/ 1 (- (/ 1 (sqrt a)))) (/ 1 (/ (acos a) (sqrt a))) (/ 1 (- (/ 1 1))) (/ 1 (/ (acos a) a)) (/ 1 (- 1)) (/ 1 (/ (acos a) a)) (/ 1 (- (acos a))) (/ 1 (/ 1 a)) (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (- (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (- (/ (cbrt (acos a)) (cbrt a)))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ 1 (- (/ (cbrt (acos a)) (sqrt a)))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ 1 (- (/ (cbrt (acos a)) a))) (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ 1 (- (/ (sqrt (acos a)) (cbrt a)))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (- (/ (sqrt (acos a)) (sqrt a)))) (/ 1 (/ (sqrt (acos a)) 1)) (/ 1 (- (/ (sqrt (acos a)) a))) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (- (/ (acos a) (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ 1 (- (/ (acos a) (sqrt a)))) (/ 1 (/ 1 1)) (/ 1 (- (/ (acos a) a))) (/ 1 1) (/ 1 (- (/ (acos a) a))) (/ 1 (acos a)) (/ 1 (- (/ 1 a))) (/ 1 (- (/ (acos a) a))) (/ (- (/ (acos a) a)) 1) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 1) (/ 1 -1) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ 1 (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ 1 (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ 1 (- (/ (sqrt (acos a)) (sqrt a)))) (/ 1 (- (/ (sqrt (acos a)) 1))) (/ 1 (- (/ 1 (* (cbrt a) (cbrt a))))) (/ 1 (- (/ 1 (sqrt a)))) (/ 1 (- (/ 1 1))) (/ 1 (- 1)) (/ 1 (- (acos a))) (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (/ (sqrt (acos a)) 1)) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (acos a)) (/ (- (/ (acos a) a)) (cbrt 1)) (/ (- (/ (acos a) a)) (sqrt 1)) (/ (- (/ (acos a) a)) 1) (/ 1 (- (acos a))) (expm1 (/ (acos a) a)) (log1p (/ (acos a) a)) (- (log (acos a)) (log a)) (log (/ (acos a) a)) (exp (/ (acos a) a)) (/ (* (* (acos a) (acos a)) (acos a)) (* (* a a) a)) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))) (cbrt (/ (acos a) a)) (* (* (/ (acos a) a) (/ (acos a) a)) (/ (acos a) a)) (sqrt (/ (acos a) a)) (sqrt (/ (acos a) a)) (- (acos a)) (- a) (/ (/ PI 2) a) (/ (asin a) a) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))) (/ (cbrt (acos a)) (cbrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)) (/ (cbrt (acos a)) (sqrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1) (/ (cbrt (acos a)) a) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))) (/ (sqrt (acos a)) (cbrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) 1) (/ (sqrt (acos a)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ 1 (sqrt a)) (/ (acos a) (sqrt a)) (/ 1 1) (/ (acos a) a) (/ 1 a) (/ a (acos a)) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (/ (acos a) 1) (/ a (cbrt (acos a))) (/ a (sqrt (acos a))) (/ a (acos a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) 5.002 * * [simplify]: Extracting # 0 : cost 0 5.003 * * [simplify]: Extracting # 1 : cost 0 5.003 * * [simplify]: Extracting # 2 : cost 0 5.004 * * [simplify]: Extracting # 3 : cost 0 5.012 * * [simplify]: Extracting # 4 : cost 0 5.013 * * [simplify]: Extracting # 5 : cost 0 5.013 * * [simplify]: Extracting # 6 : cost 0 5.014 * * [simplify]: iteration 0 : 265 enodes (cost 2409 ) 5.187 * * [simplify]: Extracting # 0 : cost 0 5.188 * * [simplify]: Extracting # 1 : cost 0 5.188 * * [simplify]: Extracting # 2 : cost 0 5.189 * * [simplify]: iteration 1 : 472 enodes (cost 2004 ) 5.286 * * [simplify]: Extracting # 0 : cost 0 5.288 * * [simplify]: Extracting # 1 : cost 0 5.290 * * [simplify]: Extracting # 2 : cost 0 5.291 * * [simplify]: Extracting # 3 : cost 0 5.292 * * [simplify]: iteration 2 : 774 enodes (cost 1861 ) 5.657 * * [simplify]: Extracting # 0 : cost 0 5.660 * * [simplify]: Extracting # 1 : cost 0 5.663 * * [simplify]: Extracting # 2 : cost 0 5.665 * * [simplify]: Extracting # 3 : cost 0 5.668 * * [simplify]: Extracting # 4 : cost 0 5.670 * * [simplify]: iteration 3 : 1510 enodes (cost 1711 ) 7.041 * * [simplify]: Extracting # 0 : cost 0 7.046 * * [simplify]: Extracting # 1 : cost 0 7.050 * * [simplify]: Extracting # 2 : cost 0 7.053 * * [simplify]: Extracting # 3 : cost 0 7.057 * * [simplify]: Extracting # 4 : cost 0 7.060 * * [simplify]: iteration 4 : 2755 enodes (cost 1711 ) 11.166 * * [simplify]: Extracting # 0 : cost 0 11.175 * * [simplify]: Extracting # 1 : cost 0 11.181 * * [simplify]: Extracting # 2 : cost 0 11.187 * * [simplify]: Extracting # 3 : cost 0 11.192 * * [simplify]: Extracting # 4 : cost 0 11.198 * * [simplify]: iteration done: 5000 enodes (cost 1711 ) 11.200 * [simplify]: Simplified to: (expm1 (/ a (- (acos a)))) (log1p (/ a (- (acos a)))) -1 (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (exp (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a))))) (cbrt (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (sqrt (/ a (- (acos a)))) (sqrt (/ a (- (acos a)))) -1 (/ (acos a) a) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (cbrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 (- (/ a (acos a))) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (cbrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (- (acos a))) a (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (- (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (acos a))) (/ a (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (- (/ a (acos a))) 1 (- (/ a (acos a))) (/ 1 (acos a)) (- a) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (cbrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 (- (/ a (acos a))) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (cbrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (- (acos a))) a (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (- (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (acos a))) (/ a (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (- (/ a (acos a))) 1 (- (/ a (acos a))) (/ 1 (acos a)) (- a) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (cbrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 (- (/ a (acos a))) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (cbrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (- (acos a))) a (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (- (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (acos a))) (/ a (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (- (/ a (acos a))) 1 (- (/ a (acos a))) (/ 1 (acos a)) (- a) (- (/ a (acos a))) (- (/ (acos a) a)) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 -1 (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (- (sqrt (acos a)))) (- (* (cbrt a) (cbrt a))) (- (sqrt a)) -1 -1 (/ 1 (- (acos a))) (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (* (cbrt a) (cbrt a)) (sqrt a) 1 1 (/ 1 (acos a)) (- (/ (acos a) a)) (- (/ (acos a) a)) (- (/ (acos a) a)) (/ 1 (- (acos a))) (expm1 (/ (acos a) a)) (log1p (/ (acos a) a)) (log (/ (acos a) a)) (log (/ (acos a) a)) (exp (/ (acos a) a)) (pow (/ (acos a) a) 3) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))) (cbrt (/ (acos a) a)) (pow (/ (acos a) a) 3) (sqrt (/ (acos a) a)) (sqrt (/ (acos a) a)) (- (acos a)) (- a) (/ (/ PI 2) a) (/ (asin a) a) (/ (* (cbrt (acos a)) (/ (cbrt (acos a)) (cbrt a))) (cbrt a)) (/ (cbrt (acos a)) (cbrt a)) (/ (cbrt (acos a)) (/ (sqrt a) (cbrt (acos a)))) (/ (cbrt (acos a)) (sqrt a)) (* (cbrt (acos a)) (cbrt (acos a))) (/ (cbrt (acos a)) a) (/ (/ (sqrt (acos a)) (cbrt a)) (cbrt a)) (/ (sqrt (acos a)) (cbrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (sqrt (acos a)) (/ (sqrt (acos a)) a) (/ (/ 1 (cbrt a)) (cbrt a)) (/ (acos a) (cbrt a)) (/ 1 (sqrt a)) (/ (acos a) (sqrt a)) 1 (/ (acos a) a) (/ 1 a) (/ a (acos a)) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (acos a) (/ a (cbrt (acos a))) (/ a (sqrt (acos a))) (/ a (acos a)) (- (/ a (acos a))) (- (/ a (acos a))) (- (/ a (acos a))) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) 11.203 * * * [progress]: adding candidates to table 11.573 * * [progress]: iteration 3 / 4 11.573 * * * [progress]: picking best candidate 11.610 * * * * [pick]: Picked # 11.610 * * * [progress]: localizing error 11.628 * * * [progress]: generating rewritten candidates 11.629 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.675 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 11.697 * * * [progress]: generating series expansions 11.697 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.698 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a))) into (* -1 (/ a (acos a))) 11.698 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 11.698 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 11.698 * [taylor]: Taking taylor expansion of -1 in a 11.698 * [backup-simplify]: Simplify -1 into -1 11.698 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 11.698 * [taylor]: Taking taylor expansion of a in a 11.698 * [backup-simplify]: Simplify 0 into 0 11.698 * [backup-simplify]: Simplify 1 into 1 11.698 * [taylor]: Taking taylor expansion of (acos a) in a 11.699 * [backup-simplify]: Simplify (acos a) into (acos a) 11.699 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 11.699 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 11.699 * [taylor]: Taking taylor expansion of -1 in a 11.699 * [backup-simplify]: Simplify -1 into -1 11.699 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 11.699 * [taylor]: Taking taylor expansion of a in a 11.699 * [backup-simplify]: Simplify 0 into 0 11.699 * [backup-simplify]: Simplify 1 into 1 11.699 * [taylor]: Taking taylor expansion of (acos a) in a 11.699 * [backup-simplify]: Simplify (acos a) into (acos a) 11.699 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 11.699 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 11.699 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 11.700 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 11.701 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 11.701 * [backup-simplify]: Simplify 0 into 0 11.701 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 11.702 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 11.703 * [backup-simplify]: Simplify 0 into 0 11.703 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 11.714 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 11.714 * [backup-simplify]: Simplify 0 into 0 11.714 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 11.716 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 11.717 * [backup-simplify]: Simplify 0 into 0 11.717 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 11.719 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 11.720 * [backup-simplify]: Simplify 0 into 0 11.720 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 11.723 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 11.723 * [backup-simplify]: Simplify 0 into 0 11.723 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 11.724 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos (/ 1 a)) (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a)) 11.725 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 11.725 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 11.725 * [taylor]: Taking taylor expansion of -1 in a 11.725 * [backup-simplify]: Simplify -1 into -1 11.725 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 11.725 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 11.725 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 11.725 * [taylor]: Taking taylor expansion of a in a 11.725 * [backup-simplify]: Simplify 0 into 0 11.725 * [backup-simplify]: Simplify 1 into 1 11.725 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 11.726 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 11.726 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 11.726 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 11.726 * [taylor]: Taking taylor expansion of -1 in a 11.726 * [backup-simplify]: Simplify -1 into -1 11.726 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 11.726 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 11.726 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 11.726 * [taylor]: Taking taylor expansion of a in a 11.726 * [backup-simplify]: Simplify 0 into 0 11.726 * [backup-simplify]: Simplify 1 into 1 11.727 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 11.727 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 11.727 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 11.728 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 11.729 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 11.729 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 11.729 * [backup-simplify]: Simplify 0 into 0 11.731 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.731 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 11.732 * [backup-simplify]: Simplify 0 into 0 11.733 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.734 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 11.734 * [backup-simplify]: Simplify 0 into 0 11.735 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.736 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 11.736 * [backup-simplify]: Simplify 0 into 0 11.738 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 11.739 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 11.739 * [backup-simplify]: Simplify 0 into 0 11.740 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 11.741 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 11.741 * [backup-simplify]: Simplify 0 into 0 11.742 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 11.743 * [backup-simplify]: Simplify (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos (/ 1 (- a))) (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 11.743 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 11.743 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 11.743 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 11.743 * [taylor]: Taking taylor expansion of a in a 11.743 * [backup-simplify]: Simplify 0 into 0 11.743 * [backup-simplify]: Simplify 1 into 1 11.743 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 11.743 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 11.743 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 11.744 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 11.744 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 11.744 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 11.744 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 11.744 * [taylor]: Taking taylor expansion of a in a 11.744 * [backup-simplify]: Simplify 0 into 0 11.744 * [backup-simplify]: Simplify 1 into 1 11.745 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 11.745 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 11.745 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 11.746 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 11.746 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 11.746 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 11.747 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 11.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 11.748 * [backup-simplify]: Simplify 0 into 0 11.749 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 11.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 11.750 * [backup-simplify]: Simplify 0 into 0 11.752 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 11.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 11.752 * [backup-simplify]: Simplify 0 into 0 11.755 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 11.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 11.755 * [backup-simplify]: Simplify 0 into 0 11.758 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 11.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 11.759 * [backup-simplify]: Simplify 0 into 0 11.762 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 11.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 11.763 * [backup-simplify]: Simplify 0 into 0 11.763 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 11.763 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 11.763 * [backup-simplify]: Simplify (/ (acos a) a) into (/ (acos a) a) 11.763 * [approximate]: Taking taylor expansion of (/ (acos a) a) in (a) around 0 11.763 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 11.764 * [taylor]: Taking taylor expansion of (acos a) in a 11.764 * [backup-simplify]: Simplify (acos a) into (acos a) 11.764 * [taylor]: Taking taylor expansion of a in a 11.764 * [backup-simplify]: Simplify 0 into 0 11.764 * [backup-simplify]: Simplify 1 into 1 11.764 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 11.764 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 11.764 * [taylor]: Taking taylor expansion of (acos a) in a 11.764 * [backup-simplify]: Simplify (acos a) into (acos a) 11.764 * [taylor]: Taking taylor expansion of a in a 11.764 * [backup-simplify]: Simplify 0 into 0 11.764 * [backup-simplify]: Simplify 1 into 1 11.764 * [backup-simplify]: Simplify (/ (acos a) 1) into (acos a) 11.764 * [backup-simplify]: Simplify (acos a) into (acos a) 11.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)))) into 0 11.766 * [backup-simplify]: Simplify 0 into 0 11.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.767 * [backup-simplify]: Simplify 0 into 0 11.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.770 * [backup-simplify]: Simplify 0 into 0 11.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.773 * [backup-simplify]: Simplify 0 into 0 11.776 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.776 * [backup-simplify]: Simplify 0 into 0 11.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (acos a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.780 * [backup-simplify]: Simplify 0 into 0 11.780 * [backup-simplify]: Simplify (* (acos a) (/ 1 a)) into (/ (acos a) a) 11.780 * [backup-simplify]: Simplify (/ (acos (/ 1 a)) (/ 1 a)) into (* (acos (/ 1 a)) a) 11.780 * [approximate]: Taking taylor expansion of (* (acos (/ 1 a)) a) in (a) around 0 11.780 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 11.780 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 11.780 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 11.780 * [taylor]: Taking taylor expansion of a in a 11.780 * [backup-simplify]: Simplify 0 into 0 11.780 * [backup-simplify]: Simplify 1 into 1 11.780 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 11.780 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 11.780 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 11.780 * [taylor]: Taking taylor expansion of a in a 11.781 * [backup-simplify]: Simplify 0 into 0 11.781 * [backup-simplify]: Simplify 1 into 1 11.781 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 11.781 * [backup-simplify]: Simplify 0 into 0 11.782 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 11.782 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 11.783 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 11.783 * [backup-simplify]: Simplify 0 into 0 11.784 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.784 * [backup-simplify]: Simplify 0 into 0 11.785 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.786 * [backup-simplify]: Simplify 0 into 0 11.787 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.787 * [backup-simplify]: Simplify 0 into 0 11.789 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 11.789 * [backup-simplify]: Simplify 0 into 0 11.791 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 11.791 * [backup-simplify]: Simplify 0 into 0 11.791 * [backup-simplify]: Simplify (* (acos (/ 1 (/ 1 a))) (/ 1 a)) into (/ (acos a) a) 11.792 * [backup-simplify]: Simplify (/ (acos (/ 1 (- a))) (/ 1 (- a))) into (* -1 (* a (acos (/ -1 a)))) 11.792 * [approximate]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 11.792 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 11.792 * [taylor]: Taking taylor expansion of -1 in a 11.792 * [backup-simplify]: Simplify -1 into -1 11.792 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 11.792 * [taylor]: Taking taylor expansion of a in a 11.792 * [backup-simplify]: Simplify 0 into 0 11.792 * [backup-simplify]: Simplify 1 into 1 11.792 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 11.792 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 11.792 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 11.792 * [taylor]: Taking taylor expansion of -1 in a 11.792 * [backup-simplify]: Simplify -1 into -1 11.792 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 11.792 * [taylor]: Taking taylor expansion of a in a 11.792 * [backup-simplify]: Simplify 0 into 0 11.792 * [backup-simplify]: Simplify 1 into 1 11.792 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 11.792 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 11.793 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 11.793 * [backup-simplify]: Simplify (* -1 0) into 0 11.793 * [backup-simplify]: Simplify 0 into 0 11.794 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 11.795 * [backup-simplify]: Simplify (+ (* -1 (acos (/ -1 a))) (* 0 0)) into (- (acos (/ -1 a))) 11.795 * [backup-simplify]: Simplify (- (acos (/ -1 a))) into (- (acos (/ -1 a))) 11.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 11.798 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))) into 0 11.798 * [backup-simplify]: Simplify 0 into 0 11.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 11.801 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))) into 0 11.801 * [backup-simplify]: Simplify 0 into 0 11.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 11.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))) into 0 11.805 * [backup-simplify]: Simplify 0 into 0 11.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 11.809 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))) into 0 11.809 * [backup-simplify]: Simplify 0 into 0 11.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 11.814 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0))))))) into 0 11.814 * [backup-simplify]: Simplify 0 into 0 11.818 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 11.821 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (acos (/ -1 a))) (* 0 0)))))))) into 0 11.821 * [backup-simplify]: Simplify 0 into 0 11.821 * [backup-simplify]: Simplify (* (- (acos (/ -1 (/ 1 (- a))))) (/ 1 (- a))) into (/ (acos a) a) 11.821 * * * [progress]: simplifying candidates 11.825 * [simplify]: Simplifying: (expm1 (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (log1p (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (- (+ (log (cbrt 1)) (log (cbrt 1))) (log (- (/ (acos a) a)))) (- (log (* (cbrt 1) (cbrt 1))) (log (- (/ (acos a) a)))) (log (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (exp (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (/ (* 1 1) (* (* (- (/ (acos a) a)) (- (/ (acos a) a))) (- (/ (acos a) a)))) (/ (* (* (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt 1) (cbrt 1))) (* (* (- (/ (acos a) a)) (- (/ (acos a) a))) (- (/ (acos a) a)))) (* (cbrt (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a))))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (* (* (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (- (/ (acos a) a)))) (- (* (cbrt 1) (cbrt 1))) (- (- (/ (acos a) a))) (/ (cbrt 1) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ (cbrt 1) (cbrt (- (/ (acos a) a)))) (/ (cbrt 1) (sqrt (- (/ (acos a) a)))) (/ (cbrt 1) (sqrt (- (/ (acos a) a)))) (/ (cbrt 1) 1) (/ (cbrt 1) (- (/ (acos a) a))) (/ (cbrt 1) -1) (/ (cbrt 1) (/ (acos a) a)) (/ (cbrt 1) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ (cbrt 1) (cbrt (/ (acos a) a))) (/ (cbrt 1) (- (sqrt (/ (acos a) a)))) (/ (cbrt 1) (sqrt (/ (acos a) a))) (/ (cbrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (cbrt (acos a)) (cbrt a))) (/ (cbrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ (cbrt 1) (/ (cbrt (acos a)) (sqrt a))) (/ (cbrt 1) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ (cbrt 1) (/ (cbrt (acos a)) a)) (/ (cbrt 1) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (sqrt (acos a)) (cbrt a))) (/ (cbrt 1) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (cbrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (cbrt 1) (- (/ (sqrt (acos a)) 1))) (/ (cbrt 1) (/ (sqrt (acos a)) a)) (/ (cbrt 1) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (cbrt 1) (/ (acos a) (cbrt a))) (/ (cbrt 1) (- (/ 1 (sqrt a)))) (/ (cbrt 1) (/ (acos a) (sqrt a))) (/ (cbrt 1) (- (/ 1 1))) (/ (cbrt 1) (/ (acos a) a)) (/ (cbrt 1) (- 1)) (/ (cbrt 1) (/ (acos a) a)) (/ (cbrt 1) (- (acos a))) (/ (cbrt 1) (/ 1 a)) (/ (cbrt 1) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ (cbrt 1) (- (cbrt (/ (acos a) a)))) (/ (cbrt 1) (sqrt (/ (acos a) a))) (/ (cbrt 1) (- (sqrt (/ (acos a) a)))) (/ (cbrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (cbrt (acos a)) (cbrt a)))) (/ (cbrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (cbrt 1) (- (/ (cbrt (acos a)) (sqrt a)))) (/ (cbrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (cbrt 1) (- (/ (cbrt (acos a)) a))) (/ (cbrt 1) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (sqrt (acos a)) (cbrt a)))) (/ (cbrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (cbrt 1) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (cbrt 1) (/ (sqrt (acos a)) 1)) (/ (cbrt 1) (- (/ (sqrt (acos a)) a))) (/ (cbrt 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (- (/ (acos a) (cbrt a)))) (/ (cbrt 1) (/ 1 (sqrt a))) (/ (cbrt 1) (- (/ (acos a) (sqrt a)))) (/ (cbrt 1) (/ 1 1)) (/ (cbrt 1) (- (/ (acos a) a))) (/ (cbrt 1) 1) (/ (cbrt 1) (- (/ (acos a) a))) (/ (cbrt 1) (acos a)) (/ (cbrt 1) (- (/ 1 a))) (/ 1 (- (/ (acos a) a))) (/ (- (/ (acos a) a)) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) -1) (/ (* (cbrt 1) (cbrt 1)) (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ (* (cbrt 1) (cbrt 1)) (- (sqrt (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (* (cbrt (acos a)) (cbrt (acos a))) 1))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (- (/ (sqrt (acos a)) 1))) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 (sqrt a)))) (/ (* (cbrt 1) (cbrt 1)) (- (/ 1 1))) (/ (* (cbrt 1) (cbrt 1)) (- 1)) (/ (* (cbrt 1) (cbrt 1)) (- (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (acos a) a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) 1)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt a) (cbrt a)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (acos a)) (/ (- (/ (acos a) a)) (cbrt 1)) (/ (* (cbrt 1) (cbrt 1)) (- (acos a))) (expm1 (/ (acos a) a)) (log1p (/ (acos a) a)) (- (log (acos a)) (log a)) (log (/ (acos a) a)) (exp (/ (acos a) a)) (/ (* (* (acos a) (acos a)) (acos a)) (* (* a a) a)) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))) (cbrt (/ (acos a) a)) (* (* (/ (acos a) a) (/ (acos a) a)) (/ (acos a) a)) (sqrt (/ (acos a) a)) (sqrt (/ (acos a) a)) (- (acos a)) (- a) (/ (/ PI 2) a) (/ (asin a) a) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))) (/ (cbrt (acos a)) (cbrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)) (/ (cbrt (acos a)) (sqrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1) (/ (cbrt (acos a)) a) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))) (/ (sqrt (acos a)) (cbrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) 1) (/ (sqrt (acos a)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ 1 (sqrt a)) (/ (acos a) (sqrt a)) (/ 1 1) (/ (acos a) a) (/ 1 a) (/ a (acos a)) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (/ (acos a) 1) (/ a (cbrt (acos a))) (/ a (sqrt (acos a))) (/ a (acos a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) 11.830 * * [simplify]: Extracting # 0 : cost 0 11.830 * * [simplify]: Extracting # 1 : cost 0 11.830 * * [simplify]: Extracting # 2 : cost 0 11.831 * * [simplify]: Extracting # 3 : cost 0 11.831 * * [simplify]: Extracting # 4 : cost 0 11.831 * * [simplify]: Extracting # 5 : cost 0 11.831 * * [simplify]: Extracting # 6 : cost 0 11.832 * * [simplify]: iteration 0 : 193 enodes (cost 1482 ) 11.933 * * [simplify]: Extracting # 0 : cost 0 11.937 * * [simplify]: Extracting # 1 : cost 0 11.937 * * [simplify]: Extracting # 2 : cost 0 11.937 * * [simplify]: iteration 1 : 388 enodes (cost 1126 ) 12.049 * * [simplify]: Extracting # 0 : cost 0 12.051 * * [simplify]: Extracting # 1 : cost 0 12.052 * * [simplify]: Extracting # 2 : cost 0 12.053 * * [simplify]: Extracting # 3 : cost 0 12.054 * * [simplify]: iteration 2 : 660 enodes (cost 1020 ) 12.347 * * [simplify]: Extracting # 0 : cost 0 12.349 * * [simplify]: Extracting # 1 : cost 0 12.350 * * [simplify]: Extracting # 2 : cost 0 12.351 * * [simplify]: Extracting # 3 : cost 0 12.352 * * [simplify]: iteration 3 : 1293 enodes (cost 945 ) 13.498 * * [simplify]: Extracting # 0 : cost 0 13.507 * * [simplify]: Extracting # 1 : cost 0 13.509 * * [simplify]: Extracting # 2 : cost 0 13.511 * * [simplify]: Extracting # 3 : cost 0 13.513 * * [simplify]: Extracting # 4 : cost 0 13.515 * * [simplify]: iteration 4 : 2417 enodes (cost 945 ) 17.331 * * [simplify]: Extracting # 0 : cost 0 17.354 * * [simplify]: Extracting # 1 : cost 0 17.359 * * [simplify]: Extracting # 2 : cost 0 17.364 * * [simplify]: Extracting # 3 : cost 0 17.369 * * [simplify]: Extracting # 4 : cost 0 17.374 * * [simplify]: iteration 5 : 4209 enodes (cost 945 ) 18.601 * * [simplify]: Extracting # 0 : cost 0 18.609 * * [simplify]: Extracting # 1 : cost 0 18.616 * * [simplify]: Extracting # 2 : cost 0 18.623 * * [simplify]: iteration done: 5001 enodes (cost 945 ) 18.625 * [simplify]: Simplified to: (expm1 (/ a (- (acos a)))) (log1p (/ a (- (acos a)))) (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (log (/ a (- (acos a)))) (exp (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (pow (/ a (- (acos a))) 3) (* (cbrt (/ a (- (acos a)))) (cbrt (/ a (- (acos a))))) (cbrt (/ a (- (acos a)))) (pow (/ a (- (acos a))) 3) (sqrt (/ a (- (acos a)))) (sqrt (/ a (- (acos a)))) -1 (/ (acos a) a) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (cbrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 (- (/ a (acos a))) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (cbrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ (/ 1 (- (cbrt (acos a)))) (cbrt (acos a))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (- (acos a))) a (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (- (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt a) (- (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (- (cbrt (acos a)))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (- (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ a (- (sqrt (acos a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (- (/ a (acos a))) 1 (- (/ a (acos a))) (/ 1 (acos a)) (- a) (- (/ a (acos a))) (/ (- (acos a)) a) (/ 1 (* (cbrt (- (/ (acos a) a))) (cbrt (- (/ (acos a) a))))) (/ 1 (sqrt (- (/ (acos a) a)))) 1 -1 (/ 1 (- (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))))) (/ 1 (- (sqrt (/ (acos a) a)))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (/ 1 (- (cbrt (acos a)))) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (- (sqrt (acos a)))) (- (* (cbrt a) (cbrt a))) (- (sqrt a)) -1 -1 (/ 1 (- (acos a))) (/ 1 (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a)))) (/ 1 (sqrt (/ (acos a) a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt a) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (* (cbrt a) (cbrt a)) (sqrt a) 1 1 (/ 1 (acos a)) (/ (- (acos a)) a) (/ 1 (- (acos a))) (expm1 (/ (acos a) a)) (log1p (/ (acos a) a)) (log (/ (acos a) a)) (log (/ (acos a) a)) (exp (/ (acos a) a)) (pow (/ (acos a) a) 3) (* (cbrt (/ (acos a) a)) (cbrt (/ (acos a) a))) (cbrt (/ (acos a) a)) (pow (/ (acos a) a) 3) (sqrt (/ (acos a) a)) (sqrt (/ (acos a) a)) (- (acos a)) (- a) (/ (/ PI 2) a) (/ (asin a) a) (* (/ (cbrt (acos a)) (* (cbrt a) (cbrt a))) (cbrt (acos 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))) (/ (cbrt (acos a)) a) (/ (/ (sqrt (acos a)) (cbrt a)) (cbrt a)) (/ (sqrt (acos a)) (cbrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (sqrt (acos a)) (/ (sqrt (acos a)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ 1 (sqrt a)) (/ (acos a) (sqrt a)) 1 (/ (acos a) a) (/ 1 a) (/ a (acos a)) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (acos a) (/ a (cbrt (acos a))) (/ a (sqrt (acos a))) (/ a (acos a)) (- (/ a (acos a))) (- (/ a (acos a))) (- (/ a (acos a))) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) 18.626 * * * [progress]: adding candidates to table 18.958 * * [progress]: iteration 4 / 4 18.959 * * * [progress]: picking best candidate 18.982 * * * * [pick]: Picked # 18.982 * * * [progress]: localizing error 18.990 * * * [progress]: generating rewritten candidates 18.990 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 19.023 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 19.106 * * * [progress]: generating series expansions 19.106 * * * * [progress]: [ 1 / 2 ] generating series at (2) 19.106 * [backup-simplify]: Simplify (/ (/ 1 (acos a)) (- (/ 1 a))) into (* -1 (/ a (acos a))) 19.106 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 19.106 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 19.106 * [taylor]: Taking taylor expansion of -1 in a 19.106 * [backup-simplify]: Simplify -1 into -1 19.106 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 19.106 * [taylor]: Taking taylor expansion of a in a 19.106 * [backup-simplify]: Simplify 0 into 0 19.106 * [backup-simplify]: Simplify 1 into 1 19.106 * [taylor]: Taking taylor expansion of (acos a) in a 19.106 * [backup-simplify]: Simplify (acos a) into (acos a) 19.107 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.107 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 19.107 * [taylor]: Taking taylor expansion of -1 in a 19.107 * [backup-simplify]: Simplify -1 into -1 19.107 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 19.107 * [taylor]: Taking taylor expansion of a in a 19.107 * [backup-simplify]: Simplify 0 into 0 19.107 * [backup-simplify]: Simplify 1 into 1 19.107 * [taylor]: Taking taylor expansion of (acos a) in a 19.107 * [backup-simplify]: Simplify (acos a) into (acos a) 19.107 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.107 * [backup-simplify]: Simplify (* -1 (/ 1 (acos a))) into (/ -1 (acos a)) 19.107 * [backup-simplify]: Simplify (/ -1 (acos a)) into (/ -1 (acos a)) 19.108 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 19.109 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (acos a)))) into 0 19.109 * [backup-simplify]: Simplify 0 into 0 19.109 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 19.110 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))) into 0 19.110 * [backup-simplify]: Simplify 0 into 0 19.111 * [backup-simplify]: Simplify (- (/ 0 (acos a)) (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 19.113 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))) into 0 19.113 * [backup-simplify]: Simplify 0 into 0 19.113 * [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 19.115 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))) into 0 19.115 * [backup-simplify]: Simplify 0 into 0 19.116 * [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 19.118 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a)))))))) into 0 19.118 * [backup-simplify]: Simplify 0 into 0 19.119 * [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 19.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (acos a))))))))) into 0 19.122 * [backup-simplify]: Simplify 0 into 0 19.122 * [backup-simplify]: Simplify (* (/ -1 (acos a)) a) into (* -1 (/ a (acos a))) 19.122 * [backup-simplify]: Simplify (/ (/ 1 (acos (/ 1 a))) (- (/ 1 (/ 1 a)))) into (/ -1 (* (acos (/ 1 a)) a)) 19.122 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 19.122 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 19.122 * [taylor]: Taking taylor expansion of -1 in a 19.122 * [backup-simplify]: Simplify -1 into -1 19.122 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 19.122 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 19.122 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 19.123 * [taylor]: Taking taylor expansion of a in a 19.123 * [backup-simplify]: Simplify 0 into 0 19.123 * [backup-simplify]: Simplify 1 into 1 19.123 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 19.123 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 19.124 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 19.124 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 19.124 * [taylor]: Taking taylor expansion of -1 in a 19.124 * [backup-simplify]: Simplify -1 into -1 19.124 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 19.124 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 19.124 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 19.124 * [taylor]: Taking taylor expansion of a in a 19.124 * [backup-simplify]: Simplify 0 into 0 19.124 * [backup-simplify]: Simplify 1 into 1 19.124 * [backup-simplify]: Simplify (* (acos (/ 1 a)) 0) into 0 19.125 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 1) (* 0 0)) into (acos (/ 1 a)) 19.125 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 19.125 * [backup-simplify]: Simplify (/ -1 (acos (/ 1 a))) into (/ -1 (acos (/ 1 a))) 19.126 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0 19.127 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 19.127 * [backup-simplify]: Simplify 0 into 0 19.128 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 19.129 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 19.129 * [backup-simplify]: Simplify 0 into 0 19.130 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 19.131 * [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 19.131 * [backup-simplify]: Simplify 0 into 0 19.132 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 19.133 * [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 19.133 * [backup-simplify]: Simplify 0 into 0 19.135 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 19.136 * [backup-simplify]: Simplify (- (/ 0 (acos (/ 1 a))) (+ (* (/ -1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 19.136 * [backup-simplify]: Simplify 0 into 0 19.138 * [backup-simplify]: Simplify (+ (* (acos (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 19.139 * [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 19.139 * [backup-simplify]: Simplify 0 into 0 19.139 * [backup-simplify]: Simplify (* (/ -1 (acos (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (* -1 (/ a (acos a))) 19.139 * [backup-simplify]: Simplify (/ (/ 1 (acos (/ 1 (- a)))) (- (/ 1 (/ 1 (- a))))) into (/ 1 (* a (acos (/ -1 a)))) 19.139 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 19.139 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 19.139 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 19.139 * [taylor]: Taking taylor expansion of a in a 19.139 * [backup-simplify]: Simplify 0 into 0 19.139 * [backup-simplify]: Simplify 1 into 1 19.139 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 19.140 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 19.140 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 19.140 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 19.141 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.141 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 19.141 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 19.141 * [taylor]: Taking taylor expansion of a in a 19.141 * [backup-simplify]: Simplify 0 into 0 19.141 * [backup-simplify]: Simplify 1 into 1 19.141 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 19.141 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 19.141 * [backup-simplify]: Simplify (* 0 (acos (/ -1 a))) into 0 19.142 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (acos (/ -1 a)))) into (acos (/ -1 a)) 19.142 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.142 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (acos (/ -1 a))))) into 0 19.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 19.144 * [backup-simplify]: Simplify 0 into 0 19.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))) into 0 19.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 19.146 * [backup-simplify]: Simplify 0 into 0 19.147 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))) into 0 19.148 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 19.148 * [backup-simplify]: Simplify 0 into 0 19.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))) into 0 19.151 * [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 19.151 * [backup-simplify]: Simplify 0 into 0 19.154 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a))))))))) into 0 19.154 * [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 19.155 * [backup-simplify]: Simplify 0 into 0 19.158 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (acos (/ -1 a)))))))))) into 0 19.158 * [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 19.159 * [backup-simplify]: Simplify 0 into 0 19.159 * [backup-simplify]: Simplify (* (/ 1 (acos (/ -1 (/ 1 (- a))))) (/ 1 (/ 1 (- a)))) into (* -1 (/ a (acos a))) 19.159 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 19.159 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.159 * [approximate]: Taking taylor expansion of (/ 1 (acos a)) in (a) around 0 19.159 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 19.159 * [taylor]: Taking taylor expansion of (acos a) in a 19.159 * [backup-simplify]: Simplify (acos a) into (acos a) 19.159 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.159 * [taylor]: Taking taylor expansion of (/ 1 (acos a)) in a 19.159 * [taylor]: Taking taylor expansion of (acos a) in a 19.159 * [backup-simplify]: Simplify (acos a) into (acos a) 19.160 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.160 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))))) into 0 19.160 * [backup-simplify]: Simplify 0 into 0 19.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 19.160 * [backup-simplify]: Simplify 0 into 0 19.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 19.161 * [backup-simplify]: Simplify 0 into 0 19.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos a)) (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))) (* 0 (/ 0 (acos a))))) into 0 19.161 * [backup-simplify]: Simplify 0 into 0 19.162 * [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 19.162 * [backup-simplify]: Simplify 0 into 0 19.162 * [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 19.162 * [backup-simplify]: Simplify 0 into 0 19.162 * [backup-simplify]: Simplify (/ 1 (acos a)) into (/ 1 (acos a)) 19.163 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 19.163 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in (a) around 0 19.163 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 19.163 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 19.163 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 19.163 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 19.163 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ 1 a))) in a 19.163 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 19.163 * [backup-simplify]: Simplify (acos (/ 1 a)) into (acos (/ 1 a)) 19.163 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 19.163 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 a))) into (/ 1 (acos (/ 1 a))) 19.164 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))))) into 0 19.164 * [backup-simplify]: Simplify 0 into 0 19.164 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 19.164 * [backup-simplify]: Simplify 0 into 0 19.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ 1 a))) (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))) (* 0 (/ 0 (acos (/ 1 a)))))) into 0 19.165 * [backup-simplify]: Simplify 0 into 0 19.165 * [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 19.165 * [backup-simplify]: Simplify 0 into 0 19.166 * [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 19.166 * [backup-simplify]: Simplify 0 into 0 19.167 * [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 19.167 * [backup-simplify]: Simplify 0 into 0 19.167 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (/ 1 a)))) into (/ 1 (acos a)) 19.167 * [backup-simplify]: Simplify (/ 1 (acos (/ 1 (- a)))) into (/ 1 (acos (/ -1 a))) 19.167 * [approximate]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in (a) around 0 19.167 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 19.167 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 19.167 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 19.167 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.167 * [taylor]: Taking taylor expansion of (/ 1 (acos (/ -1 a))) in a 19.167 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 19.168 * [backup-simplify]: Simplify (acos (/ -1 a)) into (acos (/ -1 a)) 19.168 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.168 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 a))) into (/ 1 (acos (/ -1 a))) 19.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))))) into 0 19.168 * [backup-simplify]: Simplify 0 into 0 19.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 19.169 * [backup-simplify]: Simplify 0 into 0 19.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 (acos (/ -1 a))) (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))) (* 0 (/ 0 (acos (/ -1 a)))))) into 0 19.169 * [backup-simplify]: Simplify 0 into 0 19.170 * [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 19.170 * [backup-simplify]: Simplify 0 into 0 19.170 * [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 19.170 * [backup-simplify]: Simplify 0 into 0 19.171 * [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 19.171 * [backup-simplify]: Simplify 0 into 0 19.171 * [backup-simplify]: Simplify (/ 1 (acos (/ -1 (/ 1 (- a))))) into (/ 1 (acos a)) 19.171 * * * [progress]: simplifying candidates 19.187 * [simplify]: Simplifying: (expm1 (/ (/ 1 (acos a)) (- (/ 1 a)))) (log1p (/ (/ 1 (acos a)) (- (/ 1 a)))) (- (- (log (acos a))) (log (- (/ 1 a)))) (- (- 0 (log (acos a))) (log (- (/ 1 a)))) (- (- (log 1) (log (acos a))) (log (- (/ 1 a)))) (- (log (/ 1 (acos a))) (log (- (/ 1 a)))) (log (/ (/ 1 (acos a)) (- (/ 1 a)))) (exp (/ (/ 1 (acos a)) (- (/ 1 a)))) (/ (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a))) (* (* (- (/ 1 a)) (- (/ 1 a))) (- (/ 1 a)))) (/ (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a))) (* (* (- (/ 1 a)) (- (/ 1 a))) (- (/ 1 a)))) (* (cbrt (/ (/ 1 (acos a)) (- (/ 1 a)))) (cbrt (/ (/ 1 (acos a)) (- (/ 1 a))))) (cbrt (/ (/ 1 (acos a)) (- (/ 1 a)))) (* (* (/ (/ 1 (acos a)) (- (/ 1 a))) (/ (/ 1 (acos a)) (- (/ 1 a)))) (/ (/ 1 (acos a)) (- (/ 1 a)))) (sqrt (/ (/ 1 (acos a)) (- (/ 1 a)))) (sqrt (/ (/ 1 (acos a)) (- (/ 1 a)))) (- (/ 1 (acos a))) (- (- (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (cbrt (/ 1 (acos a))) (cbrt (- (/ 1 a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (- (/ 1 a)))) (/ (cbrt (/ 1 (acos a))) (sqrt (- (/ 1 a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1) (/ (cbrt (/ 1 (acos a))) (- (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (/ (cbrt (/ 1 (acos a))) (/ 1 a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (cbrt (/ 1 (acos a))) (cbrt (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (sqrt (/ 1 a)))) (/ (cbrt (/ 1 (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) (cbrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) (sqrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (cbrt (/ 1 (acos a))) (/ (cbrt 1) a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) (cbrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) (sqrt a)))) (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ (sqrt 1) 1))) (/ (cbrt (/ 1 (acos a))) (/ (sqrt 1) a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (cbrt (/ 1 (acos a))) (/ 1 (cbrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 (sqrt a)))) (/ (cbrt (/ 1 (acos a))) (/ 1 (sqrt a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (/ 1 1))) (/ (cbrt (/ 1 (acos a))) (/ 1 a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- 1)) (/ (cbrt (/ 1 (acos a))) (/ 1 a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- 1)) (/ (cbrt (/ 1 (acos a))) (/ 1 a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (acos a))) (- (cbrt (/ 1 a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ 1 a))) (/ (cbrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt (/ 1 (acos a))) (- (/ (cbrt 1) a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) (sqrt a))) (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (sqrt 1) 1)) (/ (cbrt (/ 1 (acos a))) (- (/ (sqrt 1) a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (cbrt (/ 1 (acos a))) (- (/ 1 (cbrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 (sqrt a))) (/ (cbrt (/ 1 (acos a))) (- (/ 1 (sqrt a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ 1 1)) (/ (cbrt (/ 1 (acos a))) (- (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1) (/ (cbrt (/ 1 (acos a))) (- (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) 1) (/ (cbrt (/ 1 (acos a))) (- (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (sqrt (/ 1 (acos a))) (cbrt (- (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (- (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (- (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) 1) (/ (sqrt (/ 1 (acos a))) (- (/ 1 a))) (/ (sqrt (/ 1 (acos a))) -1) (/ (sqrt (/ 1 (acos a))) (/ 1 a)) (/ (sqrt (/ 1 (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (sqrt (/ 1 (acos a))) (cbrt (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) (cbrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (sqrt (/ 1 (acos a))) (/ (cbrt 1) a)) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (cbrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) 1))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) a)) (/ (sqrt (/ 1 (acos a))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (sqrt (/ 1 (acos a))) (/ 1 (cbrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ 1 (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ 1 (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ 1 1))) (/ (sqrt (/ 1 (acos a))) (/ 1 a)) (/ (sqrt (/ 1 (acos a))) (- 1)) (/ (sqrt (/ 1 (acos a))) (/ 1 a)) (/ (sqrt (/ 1 (acos a))) (- 1)) (/ (sqrt (/ 1 (acos a))) (/ 1 a)) (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (- (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt (/ 1 (acos a))) (- (/ (cbrt 1) a))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ (sqrt 1) 1)) (/ (sqrt (/ 1 (acos a))) (- (/ (sqrt 1) a))) (/ (sqrt (/ 1 (acos a))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (- (/ 1 (cbrt a)))) (/ (sqrt (/ 1 (acos a))) (/ 1 (sqrt a))) (/ (sqrt (/ 1 (acos a))) (- (/ 1 (sqrt a)))) (/ (sqrt (/ 1 (acos a))) (/ 1 1)) (/ (sqrt (/ 1 (acos a))) (- (/ 1 a))) (/ (sqrt (/ 1 (acos a))) 1) (/ (sqrt (/ 1 (acos a))) (- (/ 1 a))) (/ (sqrt (/ 1 (acos a))) 1) (/ (sqrt (/ 1 (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (cbrt 1) (cbrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) -1) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (cbrt 1) (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (sqrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (cbrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ (sqrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1))) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ (cbrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a))) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1)) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (cbrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (cbrt 1) (sqrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) -1) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (cbrt 1) (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (cbrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ (sqrt 1) 1))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ (sqrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- (/ 1 1))) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- 1)) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (- 1)) (/ (/ (cbrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ 1 1)) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) 1) (/ (/ (cbrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (cbrt 1) (acos a)) (cbrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (- (/ 1 a)))) (/ (/ (cbrt 1) (acos a)) (sqrt (- (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) (acos a)) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) -1) (/ (/ (cbrt 1) (acos a)) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (cbrt 1) (acos a)) (cbrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (sqrt (/ 1 a)))) (/ (/ (cbrt 1) (acos a)) (sqrt (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (cbrt 1) (acos a)) (/ (cbrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ (sqrt 1) 1))) (/ (/ (cbrt 1) (acos a)) (/ (sqrt 1) a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (cbrt 1) (acos a)) (/ 1 (cbrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 (sqrt a)))) (/ (/ (cbrt 1) (acos a)) (/ 1 (sqrt a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- (/ 1 1))) (/ (/ (cbrt 1) (acos a)) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- 1)) (/ (/ (cbrt 1) (acos a)) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (- 1)) (/ (/ (cbrt 1) (acos a)) (/ 1 a)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (cbrt 1) (acos a)) (- (cbrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 a))) (/ (/ (cbrt 1) (acos a)) (- (sqrt (/ 1 a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (acos a)) (- (/ (cbrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt a))) (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (acos a)) (- (/ (sqrt 1) a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (cbrt 1) (acos a)) (- (/ 1 (cbrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt a))) (/ (/ (cbrt 1) (acos a)) (- (/ 1 (sqrt a)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1)) (/ (/ (cbrt 1) (acos a)) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) (acos a)) (- (/ 1 a))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) (acos a)) (- (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (sqrt 1) (cbrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) -1) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (sqrt 1) (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (sqrt (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (cbrt 1) a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 (cbrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 (sqrt a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1))) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ (sqrt 1) (cbrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a))) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1)) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ (sqrt 1) (cbrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (sqrt 1) (sqrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) 1) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) -1) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (sqrt 1) (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (cbrt 1) a)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) 1))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) a)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (cbrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 1))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (sqrt (acos a))) (- 1)) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (sqrt (acos a))) (- 1)) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 a)) (/ (/ (sqrt 1) (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) (sqrt (acos a))) (/ 1 1)) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) 1) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) (sqrt (acos a))) 1) (/ (/ (sqrt 1) (sqrt (acos a))) (- (/ 1 a))) (/ (/ (sqrt 1) 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ (sqrt 1) (acos a)) (cbrt (- (/ 1 a)))) (/ (/ (sqrt 1) 1) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) (acos a)) (sqrt (- (/ 1 a)))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) (acos a)) (- (/ 1 a))) (/ (/ (sqrt 1) 1) -1) (/ (/ (sqrt 1) (acos a)) (/ 1 a)) (/ (/ (sqrt 1) 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ (sqrt 1) (acos a)) (cbrt (/ 1 a))) (/ (/ (sqrt 1) 1) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) (acos a)) (sqrt (/ 1 a))) (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) (cbrt a))) (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) (sqrt a))) (/ (/ (sqrt 1) 1) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ (sqrt 1) (acos a)) (/ (cbrt 1) a)) (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) (cbrt a))) (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) 1) (- (/ (sqrt 1) 1))) (/ (/ (sqrt 1) (acos a)) (/ (sqrt 1) a)) (/ (/ (sqrt 1) 1) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ (sqrt 1) (acos a)) (/ 1 (cbrt a))) (/ (/ (sqrt 1) 1) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) (acos a)) (/ 1 (sqrt a))) (/ (/ (sqrt 1) 1) (- (/ 1 1))) (/ (/ (sqrt 1) (acos a)) (/ 1 a)) (/ (/ (sqrt 1) 1) (- 1)) (/ (/ (sqrt 1) (acos a)) (/ 1 a)) (/ (/ (sqrt 1) 1) (- 1)) (/ (/ (sqrt 1) (acos a)) (/ 1 a)) (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ (sqrt 1) (acos a)) (- (cbrt (/ 1 a)))) (/ (/ (sqrt 1) 1) (sqrt (/ 1 a))) (/ (/ (sqrt 1) (acos a)) (- (sqrt (/ 1 a)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) (cbrt a)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) (sqrt a)))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (acos a)) (- (/ (cbrt 1) a))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) (cbrt a)))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt a))) (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (acos a)) (- (/ (sqrt 1) a))) (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ (sqrt 1) (acos a)) (- (/ 1 (cbrt a)))) (/ (/ (sqrt 1) 1) (/ 1 (sqrt a))) (/ (/ (sqrt 1) (acos a)) (- (/ 1 (sqrt a)))) (/ (/ (sqrt 1) 1) (/ 1 1)) (/ (/ (sqrt 1) (acos a)) (- (/ 1 a))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) (acos a)) (- (/ 1 a))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) (acos a)) (- (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (cbrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (- (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ 1 (cbrt (acos a))) (- (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) -1) (/ (/ 1 (cbrt (acos a))) (/ 1 a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (cbrt (acos a))) (/ (cbrt 1) a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ (sqrt 1) 1))) (/ (/ 1 (cbrt (acos a))) (/ (sqrt 1) a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (cbrt (acos a))) (/ 1 (cbrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 (sqrt a)))) (/ (/ 1 (cbrt (acos a))) (/ 1 (sqrt a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (/ 1 1))) (/ (/ 1 (cbrt (acos a))) (/ 1 a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ 1 (cbrt (acos a))) (/ 1 a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- 1)) (/ (/ 1 (cbrt (acos a))) (/ 1 a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (cbrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) 1)) (/ (/ 1 (cbrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (cbrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt a))) (/ (/ 1 (cbrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 1)) (/ (/ 1 (cbrt (acos a))) (- (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ 1 (cbrt (acos a))) (- (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (/ 1 (cbrt (acos a))) (- (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (sqrt (acos a))) (cbrt (- (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (- (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) 1) (/ (/ 1 (sqrt (acos a))) (- (/ 1 a))) (/ (/ 1 (sqrt (acos a))) -1) (/ (/ 1 (sqrt (acos a))) (/ 1 a)) (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) (cbrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (sqrt (acos a))) (/ (cbrt 1) a)) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (cbrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) 1))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) a)) (/ (/ 1 (sqrt (acos a))) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (sqrt (acos a))) (/ 1 (cbrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ 1 1))) (/ (/ 1 (sqrt (acos a))) (/ 1 a)) (/ (/ 1 (sqrt (acos a))) (- 1)) (/ (/ 1 (sqrt (acos a))) (/ 1 a)) (/ (/ 1 (sqrt (acos a))) (- 1)) (/ (/ 1 (sqrt (acos a))) (/ 1 a)) (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (sqrt (acos a))) (- (/ (cbrt 1) a))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ (sqrt 1) 1)) (/ (/ 1 (sqrt (acos a))) (- (/ (sqrt 1) a))) (/ (/ 1 (sqrt (acos a))) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (- (/ 1 (cbrt a)))) (/ (/ 1 (sqrt (acos a))) (/ 1 (sqrt a))) (/ (/ 1 (sqrt (acos a))) (- (/ 1 (sqrt a)))) (/ (/ 1 (sqrt (acos a))) (/ 1 1)) (/ (/ 1 (sqrt (acos a))) (- (/ 1 a))) (/ (/ 1 (sqrt (acos a))) 1) (/ (/ 1 (sqrt (acos a))) (- (/ 1 a))) (/ (/ 1 (sqrt (acos a))) 1) (/ (/ 1 (sqrt (acos a))) (- (/ 1 a))) (/ (/ 1 1) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (- (/ 1 a)))) (/ (/ 1 1) (sqrt (- (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (- (/ 1 a)))) (/ (/ 1 1) 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ (/ 1 1) -1) (/ (/ 1 (acos a)) (/ 1 a)) (/ (/ 1 1) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ (/ 1 1) (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a))) (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a))) (/ (/ 1 1) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (acos a)) (/ (cbrt 1) a)) (/ (/ 1 1) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a))) (/ (/ 1 1) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a))) (/ (/ 1 1) (- (/ (sqrt 1) 1))) (/ (/ 1 (acos a)) (/ (sqrt 1) a)) (/ (/ 1 1) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ 1 (cbrt a))) (/ (/ 1 1) (- (/ 1 (sqrt a)))) (/ (/ 1 (acos a)) (/ 1 (sqrt a))) (/ (/ 1 1) (- (/ 1 1))) (/ (/ 1 (acos a)) (/ 1 a)) (/ (/ 1 1) (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ (/ 1 1) (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ (/ 1 1) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ (/ 1 1) (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a)))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (acos a)) (- (/ (cbrt 1) a))) (/ (/ 1 1) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a)))) (/ (/ 1 1) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 1) (/ (sqrt 1) 1)) (/ (/ 1 (acos a)) (- (/ (sqrt 1) a))) (/ (/ 1 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ 1 (cbrt a)))) (/ (/ 1 1) (/ 1 (sqrt a))) (/ (/ 1 (acos a)) (- (/ 1 (sqrt a)))) (/ (/ 1 1) (/ 1 1)) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ (/ 1 1) 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ (/ 1 1) 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (- (/ 1 a)))) (/ 1 (sqrt (- (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (- (/ 1 a)))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 -1) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (acos a)) (/ (cbrt 1) a)) (/ 1 (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a))) (/ 1 (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a))) (/ 1 (- (/ (sqrt 1) 1))) (/ (/ 1 (acos a)) (/ (sqrt 1) a)) (/ 1 (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ 1 (cbrt a))) (/ 1 (- (/ 1 (sqrt a)))) (/ (/ 1 (acos a)) (/ 1 (sqrt a))) (/ 1 (- (/ 1 1))) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (acos a)) (- (/ (cbrt 1) a))) (/ 1 (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a)))) (/ 1 (/ (sqrt 1) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 (acos a)) (- (/ (sqrt 1) a))) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ 1 (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ (/ 1 (acos a)) (- (/ 1 (sqrt a)))) (/ 1 (/ 1 1)) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (- (/ 1 a)))) (/ 1 (sqrt (- (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (- (/ 1 a)))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 -1) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (cbrt 1) (cbrt a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (acos a)) (/ (cbrt 1) (sqrt a))) (/ 1 (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (acos a)) (/ (cbrt 1) a)) (/ 1 (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ (sqrt 1) (cbrt a))) (/ 1 (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a))) (/ 1 (- (/ (sqrt 1) 1))) (/ (/ 1 (acos a)) (/ (sqrt 1) a)) (/ 1 (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (/ 1 (cbrt a))) (/ 1 (- (/ 1 (sqrt a)))) (/ (/ 1 (acos a)) (/ 1 (sqrt a))) (/ 1 (- (/ 1 1))) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (- 1)) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (cbrt a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (cbrt 1) (sqrt a)))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (acos a)) (- (/ (cbrt 1) a))) (/ 1 (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (cbrt a)))) (/ 1 (/ (sqrt 1) (sqrt a))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 (acos a)) (- (/ (sqrt 1) a))) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (- (/ 1 (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ (/ 1 (acos a)) (- (/ 1 (sqrt a)))) (/ 1 (/ 1 1)) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 1) (/ (/ 1 (acos a)) (- (/ 1 a))) (/ 1 (- (/ 1 a))) (/ (- (/ 1 a)) (/ 1 (acos a))) (/ (/ 1 (acos a)) (* (cbrt (- (/ 1 a))) (cbrt (- (/ 1 a))))) (/ (/ 1 (acos a)) (sqrt (- (/ 1 a)))) (/ (/ 1 (acos a)) 1) (/ (/ 1 (acos a)) -1) (/ (/ 1 (acos a)) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) (sqrt a)))) (/ (/ 1 (acos a)) (- (/ (* (cbrt 1) (cbrt 1)) 1))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) (sqrt a)))) (/ (/ 1 (acos a)) (- (/ (sqrt 1) 1))) (/ (/ 1 (acos a)) (- (/ 1 (* (cbrt a) (cbrt a))))) (/ (/ 1 (acos a)) (- (/ 1 (sqrt a)))) (/ (/ 1 (acos a)) (- (/ 1 1))) (/ (/ 1 (acos a)) (- 1)) (/ (/ 1 (acos a)) (- 1)) (/ (/ 1 (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (/ (/ 1 (acos a)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (acos a)) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (/ (sqrt 1) (sqrt a))) (/ (/ 1 (acos a)) (/ (sqrt 1) 1)) (/ (/ 1 (acos a)) (/ 1 (* (cbrt a) (cbrt a)))) (/ (/ 1 (acos a)) (/ 1 (sqrt a))) (/ (/ 1 (acos a)) (/ 1 1)) (/ (/ 1 (acos a)) 1) (/ (/ 1 (acos a)) 1) (/ (- (/ 1 a)) (cbrt (/ 1 (acos a)))) (/ (- (/ 1 a)) (sqrt (/ 1 (acos a)))) (/ (- (/ 1 a)) (/ (cbrt 1) (cbrt (acos a)))) (/ (- (/ 1 a)) (/ (cbrt 1) (sqrt (acos a)))) (/ (- (/ 1 a)) (/ (cbrt 1) (acos a))) (/ (- (/ 1 a)) (/ (sqrt 1) (cbrt (acos a)))) (/ (- (/ 1 a)) (/ (sqrt 1) (sqrt (acos a)))) (/ (- (/ 1 a)) (/ (sqrt 1) (acos a))) (/ (- (/ 1 a)) (/ 1 (cbrt (acos a)))) (/ (- (/ 1 a)) (/ 1 (sqrt (acos a)))) (/ (- (/ 1 a)) (/ 1 (acos a))) (/ (- (/ 1 a)) (/ 1 (acos a))) (/ (- (/ 1 a)) (/ 1 (acos a))) (/ (/ 1 (acos a)) (- 1)) (* (- (/ 1 a)) (acos a)) (expm1 (/ 1 (acos a))) (log1p (/ 1 (acos a))) (- 1) (- (log (acos a))) (- 0 (log (acos a))) (- (log 1) (log (acos a))) (log (/ 1 (acos a))) (exp (/ 1 (acos a))) (/ (* (* 1 1) 1) (* (* (acos a) (acos a)) (acos a))) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (cbrt (/ 1 (acos a))) (* (* (/ 1 (acos a)) (/ 1 (acos a))) (/ 1 (acos a))) (sqrt (/ 1 (acos a))) (sqrt (/ 1 (acos a))) (- 1) (- (acos a)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (cbrt 1) (cbrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (acos a))) (/ (cbrt 1) (sqrt (acos a))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (acos a)) (/ (sqrt 1) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (sqrt 1) (cbrt (acos a))) (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) (sqrt (acos a))) (/ (sqrt 1) 1) (/ (sqrt 1) (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (cbrt (acos a))) (/ 1 (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ 1 1) (/ 1 (acos a)) (/ 1 (acos a)) (/ (acos a) 1) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt (acos a))) (/ 1 1) (/ (acos a) (cbrt 1)) (/ (acos a) (sqrt 1)) (/ (acos a) 1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ 1 (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) 19.237 * * [simplify]: Extracting # 0 : cost 0 19.241 * * [simplify]: Extracting # 1 : cost 0 19.245 * * [simplify]: Extracting # 2 : cost 0 19.249 * * [simplify]: Extracting # 3 : cost 0 19.253 * * [simplify]: Extracting # 4 : cost 0 19.257 * * [simplify]: Extracting # 5 : cost 0 19.261 * * [simplify]: Extracting # 6 : cost 0 19.266 * * [simplify]: iteration 0 : 713 enodes (cost 10319 ) 19.976 * * [simplify]: Extracting # 0 : cost 0 19.980 * * [simplify]: Extracting # 1 : cost 0 19.981 * * [simplify]: Extracting # 2 : cost 0 19.982 * * [simplify]: Extracting # 3 : cost 0 19.983 * * [simplify]: iteration 1 : 1737 enodes (cost 7603 ) 20.299 * * [simplify]: Extracting # 0 : cost 0 20.301 * * [simplify]: Extracting # 1 : cost 0 20.302 * * [simplify]: Extracting # 2 : cost 0 20.304 * * [simplify]: Extracting # 3 : cost 0 20.306 * * [simplify]: Extracting # 4 : cost 0 20.308 * * [simplify]: iteration 2 : 2640 enodes (cost 6678 ) 21.278 * * [simplify]: Extracting # 0 : cost 0 21.285 * * [simplify]: Extracting # 1 : cost 0 21.292 * * [simplify]: Extracting # 2 : cost 0 21.299 * * [simplify]: Extracting # 3 : cost 0 21.306 * * [simplify]: Extracting # 4 : cost 0 21.314 * * [simplify]: Extracting # 5 : cost 0 21.322 * * [simplify]: iteration done: 5000 enodes (cost 6309 ) 21.327 * [simplify]: Simplified to: (expm1 (- (/ a (acos a)))) (log1p (- (/ a (acos a)))) (log (- (/ a (acos a)))) (log (- (/ a (acos a)))) (log (- (/ a (acos a)))) (log (- (/ a (acos a)))) (log (- (/ a (acos a)))) (exp (- (/ a (acos a)))) (pow (- (/ a (acos a))) 3) (pow (- (/ a (acos a))) 3) (* (cbrt (- (/ a (acos a)))) (cbrt (- (/ a (acos a))))) (cbrt (- (/ a (acos a)))) (pow (- (/ a (acos a))) 3) (sqrt (- (/ a (acos a)))) (sqrt (- (/ a (acos a)))) (/ -1 (acos a)) (/ 1 a) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (cbrt (/ 1 (acos a))) (cbrt (/ -1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ -1 a))) (/ (cbrt (/ 1 (acos a))) (sqrt (/ -1 a))) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (cbrt (/ 1 (acos a))) (cbrt (/ 1 a))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (sqrt (/ 1 a)))) (/ (cbrt (/ 1 (acos a))) (sqrt (/ 1 a))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a)))) (* (cbrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))) (* (sqrt a) (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a)))) (* (cbrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))) (* (sqrt a) (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (- (* (cbrt a) (cbrt a)))) (* (cbrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a))))) (* (sqrt a) (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) -1) (* a (cbrt (/ 1 (acos a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (cbrt (/ 1 (acos a))) (- (cbrt (/ 1 a)))) (/ (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt (/ 1 a))) (/ (cbrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a)) (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a))) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a)) (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a))) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (sqrt a)) (/ (cbrt (/ 1 (acos a))) (/ -1 (sqrt a))) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (/ (cbrt (/ 1 (acos a))) (/ -1 a)) (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (sqrt (/ 1 (acos a))) (cbrt (/ -1 a))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ -1 a))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ -1 a))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (/ (sqrt (/ 1 (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (sqrt (/ 1 (acos a))) (cbrt (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a))) (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a)))) (* (sqrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a)))) (* (sqrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (* (sqrt (/ 1 (acos a))) (- (* (cbrt a) (cbrt a)))) (* (sqrt (/ 1 (acos a))) (cbrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (/ (sqrt (/ 1 (acos a))) -1) (* (sqrt (/ 1 (acos a))) a) (/ (sqrt (/ 1 (acos a))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (- (cbrt (/ 1 a)))) (/ (sqrt (/ 1 (acos a))) (sqrt (/ 1 a))) (/ (sqrt (/ 1 (acos a))) (- (sqrt (/ 1 a)))) (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a))) (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a))) (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (* (sqrt (/ 1 (acos a))) (* (cbrt a) (cbrt a))) (/ (sqrt (/ 1 (acos a))) (/ -1 (cbrt a))) (* (sqrt (/ 1 (acos a))) (sqrt a)) (* (- (sqrt a)) (sqrt (/ 1 (acos a)))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (sqrt (/ 1 (acos a))) (* (- a) (sqrt (/ 1 (acos a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (acos a)) (cbrt (/ -1 a))) (/ 1 (sqrt (/ -1 a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) 1 (/ (- a) (acos a)) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (acos a)) (cbrt (/ -1 a))) (/ 1 (sqrt (/ -1 a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) 1 (/ (- a) (acos a)) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ -1 a))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ -1 a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (cbrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (- (sqrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (cbrt a) (cbrt (acos a))) (/ (sqrt a) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (sqrt a) (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ -1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (cbrt (acos a))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (cbrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (/ 1 a))) (/ (/ 1 (cbrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (/ (cbrt a) (cbrt (acos a))) -1) (/ (/ (sqrt a) (cbrt (acos a))) (cbrt (acos a))) (/ (- (sqrt a)) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ (- a) (cbrt (acos a))) (/ (/ 1 (sqrt (acos a))) (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ -1 a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ 1 (sqrt (acos a))) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (- (sqrt (acos a)))) (/ (cbrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ -1 (sqrt (acos a))) (/ a (sqrt (acos a))) (/ (/ (/ 1 (sqrt (acos a))) (cbrt (/ 1 a))) (cbrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (cbrt (/ 1 a)))) (/ (/ 1 (sqrt (acos a))) (sqrt (/ 1 a))) (/ (/ 1 (sqrt (acos a))) (- (sqrt (/ 1 a)))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ (* (cbrt a) (cbrt a)) (sqrt (acos a))) (/ (cbrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (sqrt (acos a))) (/ (- a) (sqrt (acos a))) (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (acos a)) (cbrt (/ -1 a))) (/ 1 (sqrt (/ -1 a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) 1 (/ (- a) (acos a)) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (acos a)) (cbrt (/ -1 a))) (/ 1 (sqrt (/ -1 a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) 1 (/ (- a) (acos a)) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) (/ 1 (* (cbrt (/ -1 a)) (cbrt (/ -1 a)))) (/ (/ 1 (acos a)) (cbrt (/ -1 a))) (/ 1 (sqrt (/ -1 a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) 1 (/ (- a) (acos a)) -1 (/ a (acos a)) (/ 1 (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (cbrt (/ 1 a))) (/ 1 (- (sqrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (- (* (cbrt a) (cbrt a))) (/ (cbrt a) (acos a)) (- (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) -1 (/ a (acos a)) (/ 1 (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (- (cbrt (/ 1 a)))) (/ 1 (sqrt (/ 1 a))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) 1 (/ (- a) (acos a)) (- a) (/ (- (acos a)) a) (/ 1 (* (* (cbrt (/ -1 a)) (cbrt (/ -1 a))) (acos a))) (/ (/ 1 (acos a)) (sqrt (/ -1 a))) (/ 1 (acos a)) (/ -1 (acos a)) (/ (/ 1 (acos a)) (- (* (cbrt (/ 1 a)) (cbrt (/ 1 a))))) (/ (/ 1 (acos a)) (- (sqrt (/ 1 a)))) (- (/ (* (cbrt a) (cbrt a)) (acos a))) (/ (sqrt a) (- (acos a))) (/ -1 (acos a)) (- (/ (* (cbrt a) (cbrt a)) (acos a))) (/ (sqrt a) (- (acos a))) (/ -1 (acos a)) (- (/ (* (cbrt a) (cbrt a)) (acos a))) (/ (sqrt a) (- (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) (/ (/ 1 (acos a)) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (/ (/ 1 (acos a)) (sqrt (/ 1 a))) (/ (* (cbrt a) (cbrt a)) (acos a)) (/ (sqrt a) (acos a)) (/ 1 (acos a)) (/ (* (cbrt a) (cbrt a)) (acos a)) (/ (sqrt a) (acos a)) (/ 1 (acos a)) (/ (* (cbrt a) (cbrt a)) (acos a)) (/ (sqrt a) (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) (/ (/ -1 a) (cbrt (/ 1 (acos a)))) (/ (/ -1 a) (sqrt (/ 1 (acos a)))) (/ (- (cbrt (acos a))) a) (/ (- (sqrt (acos a))) a) (/ (- (acos a)) a) (/ (- (cbrt (acos a))) a) (/ (- (sqrt (acos a))) a) (/ (- (acos a)) a) (/ (- (cbrt (acos a))) a) (/ (- (sqrt (acos a))) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ -1 (acos a)) (/ (- (acos a)) a) (expm1 (/ 1 (acos a))) (log1p (/ 1 (acos a))) -1 (- (log (acos a))) (- (log (acos a))) (- (log (acos a))) (- (log (acos a))) (exp (/ 1 (acos a))) (pow (/ 1 (acos a)) 3) (* (cbrt (/ 1 (acos a))) (cbrt (/ 1 (acos a)))) (cbrt (/ 1 (acos a))) (pow (/ 1 (acos a)) 3) (sqrt (/ 1 (acos a))) (sqrt (/ 1 (acos a))) -1 (- (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (cbrt (acos a))) (/ 1 (sqrt (acos a))) (/ 1 (sqrt (acos a))) 1 (/ 1 (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (cbrt (acos a))) (/ 1 (sqrt (acos a))) (/ 1 (sqrt (acos a))) 1 (/ 1 (acos a)) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (cbrt (acos a))) (/ 1 (sqrt (acos a))) (/ 1 (sqrt (acos a))) 1 (/ 1 (acos a)) (/ 1 (acos a)) (acos a) (/ 1 (* (cbrt (acos a)) (cbrt (acos a)))) (/ 1 (sqrt (acos a))) 1 (acos a) (acos a) (acos a) (/ (- a) (acos a)) (/ (- a) (acos a)) (/ (- a) (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) (/ 1 (acos a)) 21.337 * * * [progress]: adding candidates to table 21.829 * [progress]: [Phase 3 of 3] Extracting. 21.829 * * [regime]: Finding splitpoints for: (# # # # # # #) 21.830 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 21.830 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # # # # #) 21.879 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 21.930 * * * [regime]: Found split indices: #