13.102 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ a (- (acos a))) 0.019 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.019 * * [simplify]: iteration done : 4 enodes (cost 5 ) 0.019 * [simplify]: Simplified to: (/ a (- (acos a))) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.025 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.031 * * * [progress]: generating series expansions 0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.032 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.032 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.032 * [taylor]: Taking taylor expansion of -1 in a 0.032 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.032 * [taylor]: Taking taylor expansion of a in a 0.032 * [taylor]: Taking taylor expansion of (acos a) in a 0.032 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.032 * [taylor]: Taking taylor expansion of -1 in a 0.032 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.032 * [taylor]: Taking taylor expansion of a in a 0.032 * [taylor]: Taking taylor expansion of (acos a) in a 0.040 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.040 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.040 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.040 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.040 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.050 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.050 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.050 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.050 * [taylor]: Taking taylor expansion of a in a 0.050 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.051 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.051 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.051 * [taylor]: Taking taylor expansion of a in a 0.051 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.060 * * * [progress]: simplifying candidates 0.061 * [simplify]: Simplifying using # : (- (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.064 * * [simplify]: iteration 0 : 94 enodes (cost 601 ) 0.082 * * [simplify]: iteration 1 : 164 enodes (cost 569 ) 0.112 * * [simplify]: iteration 2 : 328 enodes (cost 551 ) 0.189 * * [simplify]: iteration 3 : 713 enodes (cost 551 ) 0.444 * * [simplify]: iteration 4 : 1237 enodes (cost 551 ) 0.992 * * [simplify]: iteration 5 : 2179 enodes (cost 546 ) 1.752 * * [simplify]: iteration done : 5001 enodes (cost 546 ) 1.753 * [simplify]: Simplified to: (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))) 1.753 * * * [progress]: adding candidates to table 1.851 * * [progress]: iteration 2 / 4 1.851 * * * [progress]: picking best candidate 1.863 * * * * [pick]: Picked # 1.863 * * * [progress]: localizing error 1.868 * * * [progress]: generating rewritten candidates 1.868 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.878 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 1.889 * * * [progress]: generating series expansions 1.889 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.889 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1.889 * [taylor]: Taking taylor expansion of -1 in a 1.889 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 1.889 * [taylor]: Taking taylor expansion of a in a 1.889 * [taylor]: Taking taylor expansion of (acos a) in a 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 1.889 * [taylor]: Taking taylor expansion of -1 in a 1.889 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 1.889 * [taylor]: Taking taylor expansion of a in a 1.889 * [taylor]: Taking taylor expansion of (acos a) in a 1.896 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 1.896 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 1.896 * [taylor]: Taking taylor expansion of -1 in a 1.896 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.896 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.896 * [taylor]: Taking taylor expansion of a in a 1.897 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 1.897 * [taylor]: Taking taylor expansion of -1 in a 1.897 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.897 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.897 * [taylor]: Taking taylor expansion of a in a 1.902 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 1.902 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1.903 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.903 * [taylor]: Taking taylor expansion of a in a 1.903 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.903 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 1.903 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.903 * [taylor]: Taking taylor expansion of a in a 1.903 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.915 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 1.915 * [approximate]: Taking taylor expansion of (/ (acos a) a) in (a) around 0 1.915 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 1.915 * [taylor]: Taking taylor expansion of (acos a) in a 1.915 * [taylor]: Taking taylor expansion of a in a 1.915 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 1.915 * [taylor]: Taking taylor expansion of (acos a) in a 1.916 * [taylor]: Taking taylor expansion of a in a 1.923 * [approximate]: Taking taylor expansion of (* (acos (/ 1 a)) a) in (a) around 0 1.923 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.923 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.924 * [taylor]: Taking taylor expansion of a in a 1.924 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 1.924 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.924 * [taylor]: Taking taylor expansion of a in a 1.928 * [approximate]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 1.928 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1.928 * [taylor]: Taking taylor expansion of -1 in a 1.928 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.928 * [taylor]: Taking taylor expansion of a in a 1.928 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.928 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 1.928 * [taylor]: Taking taylor expansion of -1 in a 1.928 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 1.928 * [taylor]: Taking taylor expansion of a in a 1.928 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.942 * * * [progress]: simplifying candidates 1.945 * [simplify]: Simplifying using # : (- 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))) (- (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) 1.951 * * [simplify]: iteration 0 : 261 enodes (cost 2383 ) 2.056 * * [simplify]: iteration 1 : 483 enodes (cost 1978 ) 2.114 * * [simplify]: iteration 2 : 785 enodes (cost 1835 ) 2.446 * * [simplify]: iteration 3 : 1708 enodes (cost 1689 ) 3.059 * * [simplify]: iteration 4 : 3452 enodes (cost 1689 ) 4.192 * * [simplify]: iteration done : 5000 enodes (cost 1689 ) 4.193 * [simplify]: Simplified to: -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 (acos a))) (- (/ (cbrt (acos a)) (cbrt 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 (acos a))) (- (/ (cbrt (acos a)) (cbrt 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 (acos a))) (- (/ (cbrt (acos a)) (cbrt 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 (acos a))) (- (/ (cbrt (acos a)) (cbrt 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))) (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)) (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) 4.194 * * * [progress]: adding candidates to table 4.387 * * [progress]: iteration 3 / 4 4.388 * * * [progress]: picking best candidate 4.400 * * * * [pick]: Picked # 4.400 * * * [progress]: localizing error 4.406 * * * [progress]: generating rewritten candidates 4.407 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 4.417 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.423 * * * [progress]: generating series expansions 4.423 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 4.423 * [approximate]: Taking taylor expansion of (/ (acos a) a) in (a) around 0 4.423 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 4.423 * [taylor]: Taking taylor expansion of (acos a) in a 4.423 * [taylor]: Taking taylor expansion of a in a 4.423 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 4.423 * [taylor]: Taking taylor expansion of (acos a) in a 4.423 * [taylor]: Taking taylor expansion of a in a 4.432 * [approximate]: Taking taylor expansion of (* (acos (/ 1 a)) a) in (a) around 0 4.432 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.432 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.432 * [taylor]: Taking taylor expansion of a in a 4.432 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.432 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.432 * [taylor]: Taking taylor expansion of a in a 4.436 * [approximate]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in (a) around 0 4.436 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 4.436 * [taylor]: Taking taylor expansion of -1 in a 4.436 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.436 * [taylor]: Taking taylor expansion of a in a 4.436 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.436 * [taylor]: Taking taylor expansion of (* -1 (* a (acos (/ -1 a)))) in a 4.437 * [taylor]: Taking taylor expansion of -1 in a 4.437 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.437 * [taylor]: Taking taylor expansion of a in a 4.437 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.451 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.451 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 4.451 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.452 * [taylor]: Taking taylor expansion of -1 in a 4.452 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.452 * [taylor]: Taking taylor expansion of a in a 4.452 * [taylor]: Taking taylor expansion of (acos a) in a 4.452 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 4.452 * [taylor]: Taking taylor expansion of -1 in a 4.452 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 4.452 * [taylor]: Taking taylor expansion of a in a 4.452 * [taylor]: Taking taylor expansion of (acos a) in a 4.459 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 4.459 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.459 * [taylor]: Taking taylor expansion of -1 in a 4.459 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.459 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.459 * [taylor]: Taking taylor expansion of a in a 4.460 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 4.460 * [taylor]: Taking taylor expansion of -1 in a 4.460 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 4.460 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 4.460 * [taylor]: Taking taylor expansion of a in a 4.466 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 4.466 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.466 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.466 * [taylor]: Taking taylor expansion of a in a 4.466 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.467 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 4.467 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 4.467 * [taylor]: Taking taylor expansion of a in a 4.467 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 4.476 * * * [progress]: simplifying candidates 4.477 * [simplify]: Simplifying using # : (* (acos a) (/ 1 a)) (+ (log (acos a)) (- (log a))) (+ (log (acos a)) (- 0 (log a))) (+ (log (acos a)) (- (log 1) (log a))) (+ (log (acos a)) (log (/ 1 a))) (log (* (acos a) (/ 1 a))) (exp (* (acos a) (/ 1 a))) (* (* (* (acos a) (acos a)) (acos a)) (/ (* (* 1 1) 1) (* (* a a) a))) (* (* (* (acos a) (acos a)) (acos a)) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (* (cbrt (* (acos a) (/ 1 a))) (cbrt (* (acos a) (/ 1 a)))) (cbrt (* (acos a) (/ 1 a))) (* (* (* (acos a) (/ 1 a)) (* (acos a) (/ 1 a))) (* (acos a) (/ 1 a))) (sqrt (* (acos a) (/ 1 a))) (sqrt (* (acos a) (/ 1 a))) (* (sqrt (acos a)) (sqrt (/ 1 a))) (* (sqrt (acos a)) (sqrt (/ 1 a))) (* (sqrt (acos a)) (/ (sqrt 1) (sqrt a))) (* (sqrt (acos a)) (/ (sqrt 1) (sqrt a))) (* (sqrt (acos a)) (/ 1 (sqrt a))) (* (sqrt (acos a)) (/ 1 (sqrt a))) (* (acos a) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (* (acos a) (sqrt (/ 1 a))) (* (acos a) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (* (acos a) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (* (acos a) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (acos a) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (* (acos a) (/ (sqrt 1) (sqrt a))) (* (acos a) (/ (sqrt 1) 1)) (* (acos a) (/ 1 (* (cbrt a) (cbrt a)))) (* (acos a) (/ 1 (sqrt a))) (* (acos a) (/ 1 1)) (* (acos a) 1) (* (acos a) 1) (* (cbrt (acos a)) (/ 1 a)) (* (sqrt (acos a)) (/ 1 a)) (* (acos a) (/ 1 a)) (* (acos a) 1) (- 1) (- (log (- (* (acos a) (/ 1 a))))) (- 0 (log (- (* (acos a) (/ 1 a))))) (- (log 1) (log (- (* (acos a) (/ 1 a))))) (log (/ 1 (- (* (acos a) (/ 1 a))))) (exp (/ 1 (- (* (acos a) (/ 1 a))))) (/ (* (* 1 1) 1) (* (* (- (* (acos a) (/ 1 a))) (- (* (acos a) (/ 1 a)))) (- (* (acos 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) (cbrt 1)) (* (cbrt (- (* (acos a) (/ 1 a)))) (cbrt (- (* (acos a) (/ 1 a)))))) (/ (cbrt 1) (cbrt (- (* (acos a) (/ 1 a))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (* (acos a) (/ 1 a))))) (/ (cbrt 1) (sqrt (- (* (acos a) (/ 1 a))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (* (acos a) (/ 1 a)))) (/ (* (cbrt 1) (cbrt 1)) -1) (/ (cbrt 1) (* (acos a) (/ 1 a))) (/ (* (cbrt 1) (cbrt 1)) (- (acos a))) (/ (cbrt 1) (/ 1 a)) (/ (* (cbrt 1) (cbrt 1)) (acos a)) (/ (cbrt 1) (- (/ 1 a))) (/ (sqrt 1) (* (cbrt (- (* (acos a) (/ 1 a)))) (cbrt (- (* (acos a) (/ 1 a)))))) (/ (sqrt 1) (cbrt (- (* (acos a) (/ 1 a))))) (/ (sqrt 1) (sqrt (- (* (acos a) (/ 1 a))))) (/ (sqrt 1) (sqrt (- (* (acos a) (/ 1 a))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (* (acos a) (/ 1 a)))) (/ (sqrt 1) -1) (/ (sqrt 1) (* (acos a) (/ 1 a))) (/ (sqrt 1) (- (acos a))) (/ (sqrt 1) (/ 1 a)) (/ (sqrt 1) (acos a)) (/ (sqrt 1) (- (/ 1 a))) (/ 1 (* (cbrt (- (* (acos a) (/ 1 a)))) (cbrt (- (* (acos a) (/ 1 a)))))) (/ 1 (cbrt (- (* (acos a) (/ 1 a))))) (/ 1 (sqrt (- (* (acos a) (/ 1 a))))) (/ 1 (sqrt (- (* (acos a) (/ 1 a))))) (/ 1 1) (/ 1 (- (* (acos a) (/ 1 a)))) (/ 1 -1) (/ 1 (* (acos a) (/ 1 a))) (/ 1 (- (acos a))) (/ 1 (/ 1 a)) (/ 1 (acos a)) (/ 1 (- (/ 1 a))) (/ 1 (- (* (acos a) (/ 1 a)))) (/ (- (* (acos a) (/ 1 a))) 1) (/ 1 (* (cbrt (- (* (acos a) (/ 1 a)))) (cbrt (- (* (acos a) (/ 1 a)))))) (/ 1 (sqrt (- (* (acos a) (/ 1 a))))) (/ 1 1) (/ 1 -1) (/ 1 (- (acos a))) (/ 1 (acos a)) (/ (- (* (acos a) (/ 1 a))) (cbrt 1)) (/ (- (* (acos a) (/ 1 a))) (sqrt 1)) (/ (- (* (acos a) (/ 1 a))) 1) (/ 1 (- (acos a))) (/ 1 (- (* (acos a) 1))) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 4.481 * * [simplify]: iteration 0 : 134 enodes (cost 955 ) 4.527 * * [simplify]: iteration 1 : 293 enodes (cost 674 ) 4.581 * * [simplify]: iteration 2 : 658 enodes (cost 593 ) 5.094 * * [simplify]: iteration 3 : 2316 enodes (cost 559 ) 6.553 * * [simplify]: iteration done : 5000 enodes (cost 559 ) 6.554 * [simplify]: Simplified to: (/ (acos a) a) (log (/ (acos a) a)) (log (/ (acos a) a)) (log (/ (acos a) a)) (log (/ (acos a) a)) (log (/ (acos a) a)) (exp (/ (acos a) a)) (pow (/ (acos a) a) 3) (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)) (* (sqrt (acos a)) (sqrt (/ 1 a))) (* (sqrt (acos a)) (sqrt (/ 1 a))) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (* (acos a) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (* (acos a) (sqrt (/ 1 a))) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (acos a) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (acos a) (/ (acos a) (* (cbrt a) (cbrt a))) (/ (acos a) (sqrt a)) (acos a) (acos a) (acos a) (/ (cbrt (acos a)) a) (/ (sqrt (acos a)) a) (/ (acos a) 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 (acos a)) 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 (acos a)) 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 (acos a)) 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 (acos a)) (/ 1 (acos a)) (- (/ (acos a) a)) (- (/ (acos a) a)) (- (/ (acos a) a)) (/ -1 (acos a)) (/ -1 (acos a)) (/ (acos a) a) (/ (acos a) a) (/ (acos a) a) (- (/ a (acos a))) (- (/ a (acos a))) (- (/ a (acos a))) 6.554 * * * [progress]: adding candidates to table 6.664 * * [progress]: iteration 4 / 4 6.664 * * * [progress]: picking best candidate 6.677 * * * * [pick]: Picked # 6.677 * * * [progress]: localizing error 6.691 * * * [progress]: generating rewritten candidates 6.691 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 6.692 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.692 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 6.693 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 6.694 * * * [progress]: generating series expansions 6.694 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 6.694 * [approximate]: Taking taylor expansion of (sqrt (acos a)) in (a) around 0 6.694 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 6.694 * [taylor]: Taking taylor expansion of (acos a) in a 6.694 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 6.694 * [taylor]: Taking taylor expansion of (acos a) in a 6.697 * [approximate]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in (a) around 0 6.697 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 6.697 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 6.698 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 6.698 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 6.701 * [approximate]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in (a) around 0 6.701 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 6.701 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 6.701 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 6.701 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 6.704 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.704 * [approximate]: Taking taylor expansion of (sqrt (acos a)) in (a) around 0 6.704 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 6.704 * [taylor]: Taking taylor expansion of (acos a) in a 6.704 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 6.704 * [taylor]: Taking taylor expansion of (acos a) in a 6.707 * [approximate]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in (a) around 0 6.707 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 6.707 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 6.708 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 6.708 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 6.711 * [approximate]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in (a) around 0 6.711 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 6.711 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 6.711 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 6.711 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 6.714 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 6.714 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 6.714 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 6.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 6.714 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 6.714 * [taylor]: Taking taylor expansion of 1/3 in a 6.714 * [taylor]: Taking taylor expansion of (log a) in a 6.714 * [taylor]: Taking taylor expansion of a in a 6.715 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 6.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 6.715 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 6.715 * [taylor]: Taking taylor expansion of 1/3 in a 6.715 * [taylor]: Taking taylor expansion of (log a) in a 6.715 * [taylor]: Taking taylor expansion of a in a 6.768 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 6.768 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.768 * [taylor]: Taking taylor expansion of 1/3 in a 6.768 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.768 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.768 * [taylor]: Taking taylor expansion of a in a 6.769 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.769 * [taylor]: Taking taylor expansion of 1/3 in a 6.769 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.769 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.769 * [taylor]: Taking taylor expansion of a in a 6.823 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 6.823 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 6.823 * [taylor]: Taking taylor expansion of (cbrt -1) in a 6.823 * [taylor]: Taking taylor expansion of -1 in a 6.824 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.824 * [taylor]: Taking taylor expansion of 1/3 in a 6.824 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.824 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.824 * [taylor]: Taking taylor expansion of a in a 6.825 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 6.825 * [taylor]: Taking taylor expansion of (cbrt -1) in a 6.825 * [taylor]: Taking taylor expansion of -1 in a 6.826 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.826 * [taylor]: Taking taylor expansion of 1/3 in a 6.826 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.826 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.826 * [taylor]: Taking taylor expansion of a in a 6.893 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 6.894 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 6.894 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 6.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 6.894 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 6.894 * [taylor]: Taking taylor expansion of 1/3 in a 6.894 * [taylor]: Taking taylor expansion of (log a) in a 6.894 * [taylor]: Taking taylor expansion of a in a 6.894 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 6.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 6.894 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 6.894 * [taylor]: Taking taylor expansion of 1/3 in a 6.894 * [taylor]: Taking taylor expansion of (log a) in a 6.894 * [taylor]: Taking taylor expansion of a in a 6.947 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 6.947 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.947 * [taylor]: Taking taylor expansion of 1/3 in a 6.947 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.947 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.947 * [taylor]: Taking taylor expansion of a in a 6.948 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 6.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 6.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 6.949 * [taylor]: Taking taylor expansion of 1/3 in a 6.949 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 6.949 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.949 * [taylor]: Taking taylor expansion of a in a 7.005 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 7.005 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 7.005 * [taylor]: Taking taylor expansion of (cbrt -1) in a 7.005 * [taylor]: Taking taylor expansion of -1 in a 7.006 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 7.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 7.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 7.006 * [taylor]: Taking taylor expansion of 1/3 in a 7.006 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 7.006 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.007 * [taylor]: Taking taylor expansion of a in a 7.007 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 7.007 * [taylor]: Taking taylor expansion of (cbrt -1) in a 7.007 * [taylor]: Taking taylor expansion of -1 in a 7.008 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 7.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 7.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 7.008 * [taylor]: Taking taylor expansion of 1/3 in a 7.008 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 7.008 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.008 * [taylor]: Taking taylor expansion of a in a 7.075 * * * [progress]: simplifying candidates 7.076 * [simplify]: Simplifying using # : (log (sqrt (acos a))) (exp (sqrt (acos a))) (* (cbrt (sqrt (acos a))) (cbrt (sqrt (acos a)))) (cbrt (sqrt (acos a))) (* (* (sqrt (acos a)) (sqrt (acos a))) (sqrt (acos a))) (sqrt (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (cbrt (acos a))) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (sqrt 1) (sqrt (acos a)) (/ 1 2) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (log (sqrt (acos a))) (exp (sqrt (acos a))) (* (cbrt (sqrt (acos a))) (cbrt (sqrt (acos a)))) (cbrt (sqrt (acos a))) (* (* (sqrt (acos a)) (sqrt (acos a))) (sqrt (acos a))) (sqrt (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt (cbrt (acos a))) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (sqrt 1) (sqrt (acos a)) (/ 1 2) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (log (cbrt a)) (exp (cbrt a)) (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) (cbrt 1) (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (* (* (cbrt a) (cbrt a)) (cbrt a)) (sqrt (cbrt a)) (sqrt (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) (cbrt 1) (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (* (* (cbrt a) (cbrt a)) (cbrt a)) (sqrt (cbrt a)) (sqrt (cbrt a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (pow a 1/3) (pow (/ 1 a) -1/3) (* (pow (* -1 a) 1/3) (cbrt -1)) (pow a 1/3) (pow (/ 1 a) -1/3) (* (pow (* -1 a) 1/3) (cbrt -1)) 7.078 * * [simplify]: iteration 0 : 40 enodes (cost 284 ) 7.084 * * [simplify]: iteration 1 : 60 enodes (cost 252 ) 7.092 * * [simplify]: iteration 2 : 103 enodes (cost 238 ) 7.106 * * [simplify]: iteration 3 : 185 enodes (cost 232 ) 7.139 * * [simplify]: iteration 4 : 388 enodes (cost 232 ) 7.251 * * [simplify]: iteration 5 : 1076 enodes (cost 232 ) 7.846 * * [simplify]: iteration 6 : 4197 enodes (cost 232 ) 10.350 * * [simplify]: iteration done : 5001 enodes (cost 232 ) 10.351 * [simplify]: Simplified to: (log (sqrt (acos a))) (exp (sqrt (acos a))) (* (cbrt (sqrt (acos a))) (cbrt (sqrt (acos a)))) (cbrt (sqrt (acos a))) (pow (sqrt (acos a)) 3) (fabs (cbrt (acos a))) (sqrt (cbrt (acos a))) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) 1 (sqrt (acos a)) 1/2 (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (log (sqrt (acos a))) (exp (sqrt (acos a))) (* (cbrt (sqrt (acos a))) (cbrt (sqrt (acos a)))) (cbrt (sqrt (acos a))) (pow (sqrt (acos a)) 3) (fabs (cbrt (acos a))) (sqrt (cbrt (acos a))) (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) 1 (sqrt (acos a)) 1/2 (sqrt (sqrt (acos a))) (sqrt (sqrt (acos a))) (log (cbrt a)) (exp (cbrt a)) (cbrt (pow a 2/3)) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) 1 (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) a (sqrt (cbrt a)) (sqrt (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (pow a 2/3)) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) 1 (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) a (sqrt (cbrt a)) (sqrt (cbrt a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (sqrt (acos a)) (cbrt a) (pow (/ 1 a) -1/3) (* (cbrt (- a)) (cbrt -1)) (cbrt a) (pow (/ 1 a) -1/3) (* (cbrt (- a)) (cbrt -1)) 10.351 * * * [progress]: adding candidates to table 10.488 * [progress]: [Phase 3 of 3] Extracting. 10.488 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 10.490 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 10.490 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # # # # # # # #) 10.527 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 10.558 * * * [regime]: Found split indices: #