8.043 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ a (- (acos a))) 0.022 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 0.022 * [simplify]: Simplified to: (/ a (- (acos a))) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.039 * * * [progress]: generating series expansions 0.039 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.040 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.040 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.040 * [taylor]: Taking taylor expansion of (acos a) in a 0.040 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.040 * [taylor]: Taking taylor expansion of (acos a) in a 0.049 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.049 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.049 * [taylor]: Taking taylor expansion of -1 in a 0.049 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.049 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.049 * [taylor]: Taking taylor expansion of a in a 0.050 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.050 * [taylor]: Taking taylor expansion of -1 in a 0.050 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.050 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.050 * [taylor]: Taking taylor expansion of a in a 0.057 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.057 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.057 * [taylor]: Taking taylor expansion of a in a 0.057 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.058 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.058 * [taylor]: Taking taylor expansion of a in a 0.058 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.069 * * * [progress]: simplifying candidates 0.070 * [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.075 * * [simplify]: iteration 0 : 164 enodes (cost 376 ) 0.079 * * [simplify]: iteration 1 : 491 enodes (cost 364 ) 0.088 * * [simplify]: iteration 2 : 1440 enodes (cost 359 ) 0.112 * * [simplify]: iteration 3 : 3702 enodes (cost 358 ) 0.173 * * [simplify]: iteration 4 : 5001 enodes (cost 358 ) 0.175 * [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)))) (* -1 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 (* -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 (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ (- (acos a)) a) (/ a (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ a (sqrt (- (acos a)))) a (* -1 a) (/ a (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ a (- (sqrt (acos a)))) (* -1 a) (/ a (* (cbrt (acos a)) (cbrt (acos a)))) (/ a (sqrt (acos a))) a (/ (- (acos a)) (cbrt a)) (/ (- (acos a)) (sqrt a)) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.176 * * * [progress]: adding candidates to table 0.278 * * [progress]: iteration 2 / 4 0.278 * * * [progress]: picking best candidate 0.293 * * * * [pick]: Picked # 0.293 * * * [progress]: localizing error 0.299 * * * [progress]: generating rewritten candidates 0.299 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.313 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.330 * * * [progress]: generating series expansions 0.330 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.330 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.330 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.330 * [taylor]: Taking taylor expansion of -1 in a 0.330 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.330 * [taylor]: Taking taylor expansion of a in a 0.330 * [taylor]: Taking taylor expansion of (acos a) in a 0.331 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.331 * [taylor]: Taking taylor expansion of -1 in a 0.331 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.331 * [taylor]: Taking taylor expansion of a in a 0.331 * [taylor]: Taking taylor expansion of (acos a) in a 0.340 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.340 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.340 * [taylor]: Taking taylor expansion of -1 in a 0.340 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.340 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.340 * [taylor]: Taking taylor expansion of a in a 0.341 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.341 * [taylor]: Taking taylor expansion of -1 in a 0.341 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.341 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.341 * [taylor]: Taking taylor expansion of a in a 0.348 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.348 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.348 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.348 * [taylor]: Taking taylor expansion of a in a 0.348 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.349 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.349 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.349 * [taylor]: Taking taylor expansion of a in a 0.349 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.359 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.360 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.360 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.360 * [taylor]: Taking taylor expansion of -1 in a 0.360 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.360 * [taylor]: Taking taylor expansion of (acos a) in a 0.360 * [taylor]: Taking taylor expansion of a in a 0.360 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.360 * [taylor]: Taking taylor expansion of -1 in a 0.360 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.360 * [taylor]: Taking taylor expansion of (acos a) in a 0.360 * [taylor]: Taking taylor expansion of a in a 0.375 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.376 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.376 * [taylor]: Taking taylor expansion of -1 in a 0.376 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.376 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.376 * [taylor]: Taking taylor expansion of a in a 0.376 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.376 * [taylor]: Taking taylor expansion of -1 in a 0.376 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.376 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.376 * [taylor]: Taking taylor expansion of a in a 0.390 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.390 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.390 * [taylor]: Taking taylor expansion of a in a 0.390 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.390 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.390 * [taylor]: Taking taylor expansion of a in a 0.390 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.399 * * * [progress]: simplifying candidates 0.407 * [simplify]: Simplifying using # : (- 1) (- (- (log (- (acos a))) (log a))) (- (log (/ (- (acos a)) a))) (- 0 (- (log (- (acos a))) (log a))) (- 0 (log (/ (- (acos a)) a))) (- (log 1) (- (log (- (acos a))) (log a))) (- (log 1) (log (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (exp (/ 1 (/ (- (acos a)) a))) (/ (* (* 1 1) 1) (/ (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (/ (- (acos a)) a) (/ (- (acos a)) a)) (/ (- (acos a)) a))) (* (cbrt (/ 1 (/ (- (acos a)) a))) (cbrt (/ 1 (/ (- (acos a)) a)))) (cbrt (/ 1 (/ (- (acos a)) a))) (* (* (/ 1 (/ (- (acos a)) a)) (/ 1 (/ (- (acos a)) a))) (/ 1 (/ (- (acos a)) a))) (sqrt (/ 1 (/ (- (acos a)) a))) (sqrt (/ 1 (/ (- (acos a)) a))) (- 1) (- (/ (- (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (/ (cbrt 1) (cbrt (/ (- (acos a)) a))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- (acos a)) a))) (/ (cbrt 1) (sqrt (/ (- (acos a)) a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (cbrt (- (acos a))) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a))) (/ (cbrt 1) (/ (cbrt (- (acos a))) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1)) (/ (cbrt 1) (/ (cbrt (- (acos a))) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos a))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (sqrt (- (acos a))) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos a))) (sqrt a))) (/ (cbrt 1) (/ (sqrt (- (acos a))) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- (acos a))) 1)) (/ (cbrt 1) (/ (sqrt (- (acos a))) a)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (- (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt a))) (/ (cbrt 1) (/ (- (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (/ -1 (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (acos a) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ -1 (sqrt a))) (/ (cbrt 1) (/ (acos a) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ -1 1)) (/ (cbrt 1) (/ (acos a) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (cbrt (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a))) (/ (cbrt 1) (/ (cbrt (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) 1)) (/ (cbrt 1) (/ (cbrt (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (sqrt (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos a))) (sqrt a))) (/ (cbrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- (sqrt (acos a))) 1)) (/ (cbrt 1) (/ (sqrt (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (acos a) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) (sqrt a))) (/ (cbrt 1) (/ (acos a) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (- 1) 1)) (/ (cbrt 1) (/ (acos a) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (- (cbrt (acos a))) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (cbrt 1) (/ (- (cbrt (acos a))) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (cbrt 1) (/ (- (cbrt (acos a))) a)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (- (sqrt (acos a))) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) (sqrt a))) (/ (cbrt 1) (/ (- (sqrt (acos a))) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (acos a)) 1)) (/ (cbrt 1) (/ (- (sqrt (acos a))) a)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt a) (cbrt a)))) (/ (cbrt 1) (/ (- (acos a)) (cbrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt a))) (/ (cbrt 1) (/ (- (acos a)) (sqrt a))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (- (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (- (acos a)) a)) (/ (* (cbrt 1) (cbrt 1)) (- (acos a))) (/ (cbrt 1) (/ 1 a)) (/ (sqrt 1) (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (/ (sqrt 1) (cbrt (/ (- (acos a)) a))) (/ (sqrt 1) (sqrt (/ (- (acos a)) a))) (/ (sqrt 1) (sqrt (/ (- (acos a)) a))) (/ (sqrt 1) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (cbrt (- (acos a))) (cbrt a))) (/ (sqrt 1) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a))) (/ (sqrt 1) (/ (cbrt (- (acos a))) (sqrt a))) (/ (sqrt 1) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1)) (/ (sqrt 1) (/ (cbrt (- (acos a))) a)) (/ (sqrt 1) (/ (sqrt (- (acos a))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (sqrt (- (acos a))) (cbrt a))) (/ (sqrt 1) (/ (sqrt (- (acos a))) (sqrt a))) (/ (sqrt 1) (/ (sqrt (- (acos a))) (sqrt a))) (/ (sqrt 1) (/ (sqrt (- (acos a))) 1)) (/ (sqrt 1) (/ (sqrt (- (acos a))) a)) (/ (sqrt 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (- (acos a)) (cbrt a))) (/ (sqrt 1) (/ 1 (sqrt a))) (/ (sqrt 1) (/ (- (acos a)) (sqrt a))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- (acos a)) a)) (/ (sqrt 1) (/ -1 (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (acos a) (cbrt a))) (/ (sqrt 1) (/ -1 (sqrt a))) (/ (sqrt 1) (/ (acos a) (sqrt a))) (/ (sqrt 1) (/ -1 1)) (/ (sqrt 1) (/ (acos a) a)) (/ (sqrt 1) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (cbrt (acos a)) (cbrt a))) (/ (sqrt 1) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a))) (/ (sqrt 1) (/ (cbrt (acos a)) (sqrt a))) (/ (sqrt 1) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) 1)) (/ (sqrt 1) (/ (cbrt (acos a)) a)) (/ (sqrt 1) (/ (- (sqrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (sqrt (acos a)) (cbrt a))) (/ (sqrt 1) (/ (- (sqrt (acos a))) (sqrt a))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (sqrt 1) (/ (- (sqrt (acos a))) 1)) (/ (sqrt 1) (/ (sqrt (acos a)) a)) (/ (sqrt 1) (/ (- 1) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (acos a) (cbrt a))) (/ (sqrt 1) (/ (- 1) (sqrt a))) (/ (sqrt 1) (/ (acos a) (sqrt a))) (/ (sqrt 1) (/ (- 1) 1)) (/ (sqrt 1) (/ (acos a) a)) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (- (cbrt (acos a))) (cbrt a))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ (sqrt 1) (/ (- (cbrt (acos a))) (sqrt a))) (/ (sqrt 1) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ (sqrt 1) (/ (- (cbrt (acos a))) a)) (/ (sqrt 1) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (- (sqrt (acos a))) (cbrt a))) (/ (sqrt 1) (/ (sqrt (acos a)) (sqrt a))) (/ (sqrt 1) (/ (- (sqrt (acos a))) (sqrt a))) (/ (sqrt 1) (/ (sqrt (acos a)) 1)) (/ (sqrt 1) (/ (- (sqrt (acos a))) a)) (/ (sqrt 1) (/ 1 (* (cbrt a) (cbrt a)))) (/ (sqrt 1) (/ (- (acos a)) (cbrt a))) (/ (sqrt 1) (/ 1 (sqrt a))) (/ (sqrt 1) (/ (- (acos a)) (sqrt a))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (- (acos a)) a)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (- (acos a)) a)) (/ (sqrt 1) (- (acos a))) (/ (sqrt 1) (/ 1 a)) (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (/ 1 (cbrt (/ (- (acos a)) a))) (/ 1 (sqrt (/ (- (acos a)) a))) (/ 1 (sqrt (/ (- (acos a)) a))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (cbrt (- (acos a))) (cbrt a))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a))) (/ 1 (/ (cbrt (- (acos a))) (sqrt a))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1)) (/ 1 (/ (cbrt (- (acos a))) a)) (/ 1 (/ (sqrt (- (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (sqrt (- (acos a))) (cbrt a))) (/ 1 (/ (sqrt (- (acos a))) (sqrt a))) (/ 1 (/ (sqrt (- (acos a))) (sqrt a))) (/ 1 (/ (sqrt (- (acos a))) 1)) (/ 1 (/ (sqrt (- (acos a))) a)) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (acos a)) (cbrt a))) (/ 1 (/ 1 (sqrt a))) (/ 1 (/ (- (acos a)) (sqrt a))) (/ 1 (/ 1 1)) (/ 1 (/ (- (acos a)) a)) (/ 1 (/ -1 (* (cbrt a) (cbrt a)))) (/ 1 (/ (acos a) (cbrt a))) (/ 1 (/ -1 (sqrt a))) (/ 1 (/ (acos a) (sqrt a))) (/ 1 (/ -1 1)) (/ 1 (/ (acos a) a)) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (cbrt (acos a)) (cbrt a))) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a))) (/ 1 (/ (cbrt (acos a)) (sqrt a))) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) 1)) (/ 1 (/ (cbrt (acos a)) a)) (/ 1 (/ (- (sqrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (sqrt (acos a)) (cbrt a))) (/ 1 (/ (- (sqrt (acos a))) (sqrt a))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (/ (- (sqrt (acos a))) 1)) (/ 1 (/ (sqrt (acos a)) a)) (/ 1 (/ (- 1) (* (cbrt a) (cbrt a)))) (/ 1 (/ (acos a) (cbrt a))) (/ 1 (/ (- 1) (sqrt a))) (/ 1 (/ (acos a) (sqrt a))) (/ 1 (/ (- 1) 1)) (/ 1 (/ (acos a) a)) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (cbrt (acos a))) (cbrt a))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ 1 (/ (- (cbrt (acos a))) (sqrt a))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ 1 (/ (- (cbrt (acos a))) a)) (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (sqrt (acos a))) (cbrt a))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (/ (- (sqrt (acos a))) (sqrt a))) (/ 1 (/ (sqrt (acos a)) 1)) (/ 1 (/ (- (sqrt (acos a))) a)) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (acos a)) (cbrt a))) (/ 1 (/ 1 (sqrt a))) (/ 1 (/ (- (acos a)) (sqrt a))) (/ 1 (/ 1 1)) (/ 1 (/ (- (acos a)) a)) (/ 1 1) (/ 1 (/ (- (acos a)) a)) (/ 1 (- (acos a))) (/ 1 (/ 1 a)) (/ 1 (/ (- (acos a)) a)) (/ (/ (- (acos a)) a) 1) (/ 1 (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a)))) (/ 1 (sqrt (/ (- (acos a)) a))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a))) (/ 1 (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1)) (/ 1 (/ (sqrt (- (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (sqrt (- (acos a))) (sqrt a))) (/ 1 (/ (sqrt (- (acos a))) 1)) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ 1 (/ 1 1)) (/ 1 (/ -1 (* (cbrt a) (cbrt a)))) (/ 1 (/ -1 (sqrt a))) (/ 1 (/ -1 1)) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a))) (/ 1 (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) 1)) (/ 1 (/ (- (sqrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (- (sqrt (acos a))) (sqrt a))) (/ 1 (/ (- (sqrt (acos a))) 1)) (/ 1 (/ (- 1) (* (cbrt a) (cbrt a)))) (/ 1 (/ (- 1) (sqrt a))) (/ 1 (/ (- 1) 1)) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a)))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a))) (/ 1 (/ (* (cbrt (acos a)) (cbrt (acos a))) 1)) (/ 1 (/ (sqrt (acos a)) (* (cbrt a) (cbrt a)))) (/ 1 (/ (sqrt (acos a)) (sqrt a))) (/ 1 (/ (sqrt (acos a)) 1)) (/ 1 (/ 1 (* (cbrt a) (cbrt a)))) (/ 1 (/ 1 (sqrt a))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (- (acos a))) (/ (/ (- (acos a)) a) (cbrt 1)) (/ (/ (- (acos a)) a) (sqrt 1)) (/ (/ (- (acos a)) a) 1) (/ 1 (- (acos a))) (- (log (- (acos a))) (log a)) (log (/ (- (acos a)) a)) (exp (/ (- (acos a)) a)) (/ (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* a a) a)) (* (cbrt (/ (- (acos a)) a)) (cbrt (/ (- (acos a)) a))) (cbrt (/ (- (acos a)) a)) (* (* (/ (- (acos a)) a) (/ (- (acos a)) a)) (/ (- (acos a)) a)) (sqrt (/ (- (acos a)) a)) (sqrt (/ (- (acos a)) a)) (- (- (acos a))) (- a) (/ 0 a) (/ (acos a) a) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (- (acos a))) (cbrt a)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a)) (/ (cbrt (- (acos a))) (sqrt a)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) 1) (/ (cbrt (- (acos a))) a) (/ (sqrt (- (acos a))) (* (cbrt a) (cbrt a))) (/ (sqrt (- (acos a))) (cbrt a)) (/ (sqrt (- (acos a))) (sqrt a)) (/ (sqrt (- (acos a))) (sqrt a)) (/ (sqrt (- (acos a))) 1) (/ (sqrt (- (acos a))) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- (acos a)) (cbrt a)) (/ 1 (sqrt a)) (/ (- (acos a)) (sqrt a)) (/ 1 1) (/ (- (acos a)) a) (/ -1 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ -1 (sqrt a)) (/ (acos a) (sqrt a)) (/ -1 1) (/ (acos a) a) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (acos a)) (cbrt a)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a)) (/ (cbrt (acos a)) (sqrt a)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) 1) (/ (cbrt (acos a)) a) (/ (- (sqrt (acos a))) (* (cbrt a) (cbrt a))) (/ (sqrt (acos a)) (cbrt a)) (/ (- (sqrt (acos a))) (sqrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (- (sqrt (acos a))) 1) (/ (sqrt (acos a)) a) (/ (- 1) (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ (- 1) (sqrt a)) (/ (acos a) (sqrt a)) (/ (- 1) 1) (/ (acos a) a) (/ (* (cbrt (acos a)) (cbrt (acos a))) (* (cbrt a) (cbrt a))) (/ (- (cbrt (acos a))) (cbrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) (sqrt a)) (/ (- (cbrt (acos a))) (sqrt a)) (/ (* (cbrt (acos a)) (cbrt (acos a))) 1) (/ (- (cbrt (acos a))) a) (/ (sqrt (acos a)) (* (cbrt a) (cbrt a))) (/ (- (sqrt (acos a))) (cbrt a)) (/ (sqrt (acos a)) (sqrt a)) (/ (- (sqrt (acos a))) (sqrt a)) (/ (sqrt (acos a)) 1) (/ (- (sqrt (acos a))) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- (acos a)) (cbrt a)) (/ 1 (sqrt a)) (/ (- (acos a)) (sqrt a)) (/ 1 1) (/ (- (acos a)) a) (/ 1 a) (/ a (- (acos a))) (/ (acos a) a) (/ (- (acos a)) (* (cbrt a) (cbrt a))) (/ (- (acos a)) (sqrt a)) (/ (- (acos a)) 1) (/ a (cbrt (- (acos a)))) (/ a (sqrt (- (acos a)))) (/ a (- (acos a))) (/ a (acos a)) (/ a (cbrt (acos a))) (/ a (sqrt (acos a))) (/ a (acos a)) (/ a (- (cbrt (acos a)))) (/ a (- (sqrt (acos a)))) (/ a (- (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) 0.418 * * [simplify]: iteration 0 : 659 enodes (cost 1916 ) 0.435 * * [simplify]: iteration 1 : 3060 enodes (cost 1699 ) 0.476 * * [simplify]: iteration 2 : 5001 enodes (cost 1507 ) 0.485 * [simplify]: Simplified to: -1 (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (log (/ 1 (/ (- (acos a)) a))) (pow (exp -1) (/ a (acos a))) (* -1 (pow (/ a (acos a)) 3)) (* -1 (pow (/ a (acos a)) 3)) (* (cbrt (/ 1 (/ (- (acos a)) a))) (cbrt (/ 1 (/ (- (acos a)) a)))) (cbrt (/ 1 (/ (- (acos a)) a))) (* -1 (pow (/ a (acos a)) 3)) (sqrt (/ 1 (/ (- (acos a)) a))) (sqrt (/ 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))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a))))) (/ (* 1 (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)))) (/ (* 1 (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)) (* -1 (/ (cbrt a) (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ a (- (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (* 1 (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)))) (/ (* 1 (cbrt a)) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* 1 (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))) (/ (* 1 (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)) (* -1 (/ (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))))) (/ (* 1 (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)))) (/ (* 1 (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)) (* -1 (/ (cbrt a) (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ a (- (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (* 1 (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)))) (/ (* 1 (cbrt a)) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* 1 (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))) (/ (* 1 (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)) (* -1 (/ (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))))) (/ (* 1 (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)))) (/ (* 1 (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)) (* -1 (/ (cbrt a) (acos a))) (sqrt a) (/ (sqrt a) (- (acos a))) 1 (/ a (- (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (- (* (cbrt (acos a)) (cbrt (acos a))))) (/ (* 1 (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)))) (/ (* 1 (cbrt a)) (sqrt (acos a))) (/ (sqrt a) (- (sqrt (acos a)))) (/ (sqrt a) (sqrt (acos a))) (/ 1 (- (sqrt (acos a)))) (/ a (sqrt (acos a))) (* -1 (* (cbrt a) (cbrt a))) (/ 1 (/ (acos a) (cbrt a))) (* -1 (sqrt a)) (/ (sqrt a) (acos a)) -1 (/ a (acos a)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (acos a)) (cbrt (acos a)))) (/ (* 1 (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))) (/ (* 1 (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)) (* -1 (/ (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))) (/ (* (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 (* (cbrt a) (cbrt a))) (* -1 (sqrt a)) -1 (/ (* (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)))) (* -1 (* (cbrt a) (cbrt a))) (* -1 (sqrt a)) -1 (/ (* (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) 0 (/ (acos a) a) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (- (acos a))) (cbrt a)) (/ (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (sqrt a)) (/ (cbrt (- (acos a))) (sqrt a)) (* (cbrt (- (acos a))) (cbrt (- (acos a)))) (/ (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 (* (cbrt a) (cbrt a))) (/ (acos a) (cbrt a)) (/ -1 (sqrt a)) (/ (acos a) (sqrt a)) -1 (/ (acos a) a) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (* (cbrt a) (cbrt a))) (/ (cbrt (acos a)) (cbrt a)) (/ (- (* (cbrt (acos a)) (cbrt (acos a)))) (sqrt a)) (/ (cbrt (acos a)) (sqrt a)) (- (* (cbrt (acos a)) (cbrt (acos a)))) (/ (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) (/ (* (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))) (/ (- (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) 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 (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 (- (acos a))) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) 0.487 * * * [progress]: adding candidates to table 0.744 * * [progress]: iteration 3 / 4 0.744 * * * [progress]: picking best candidate 0.764 * * * * [pick]: Picked # 0.764 * * * [progress]: localizing error 0.771 * * * [progress]: generating rewritten candidates 0.771 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.779 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.791 * * * [progress]: generating series expansions 0.791 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.791 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.791 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.791 * [taylor]: Taking taylor expansion of -1 in a 0.791 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.791 * [taylor]: Taking taylor expansion of a in a 0.791 * [taylor]: Taking taylor expansion of (acos a) in a 0.792 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.792 * [taylor]: Taking taylor expansion of -1 in a 0.792 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.792 * [taylor]: Taking taylor expansion of a in a 0.792 * [taylor]: Taking taylor expansion of (acos a) in a 0.801 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.801 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.801 * [taylor]: Taking taylor expansion of -1 in a 0.801 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.801 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.801 * [taylor]: Taking taylor expansion of a in a 0.801 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.801 * [taylor]: Taking taylor expansion of -1 in a 0.801 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.801 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.802 * [taylor]: Taking taylor expansion of a in a 0.812 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.812 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.812 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.813 * [taylor]: Taking taylor expansion of a in a 0.813 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.813 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.813 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.813 * [taylor]: Taking taylor expansion of a in a 0.813 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.823 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.824 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.824 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.824 * [taylor]: Taking taylor expansion of -1 in a 0.824 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.824 * [taylor]: Taking taylor expansion of (acos a) in a 0.824 * [taylor]: Taking taylor expansion of a in a 0.824 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.824 * [taylor]: Taking taylor expansion of -1 in a 0.824 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.824 * [taylor]: Taking taylor expansion of (acos a) in a 0.824 * [taylor]: Taking taylor expansion of a in a 0.839 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.839 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.839 * [taylor]: Taking taylor expansion of -1 in a 0.840 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.840 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.840 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.840 * [taylor]: Taking taylor expansion of -1 in a 0.840 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.840 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.854 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.854 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.854 * [taylor]: Taking taylor expansion of a in a 0.854 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.854 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.854 * [taylor]: Taking taylor expansion of a in a 0.854 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.863 * * * [progress]: simplifying candidates 0.864 * [simplify]: Simplifying using # : (- 1) (- 1) (- (+ (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)))) (- 0 (+ (log (- (acos a))) (- (log a)))) (- 0 (+ (log (- (acos a))) (- 0 (log a)))) (- 0 (+ (log (- (acos a))) (- (log 1) (log a)))) (- 0 (+ (log (- (acos a))) (log (/ 1 a)))) (- 0 (log (* (- (acos a)) (/ 1 a)))) (- (log 1) (+ (log (- (acos a))) (- (log a)))) (- (log 1) (+ (log (- (acos a))) (- 0 (log a)))) (- (log 1) (+ (log (- (acos a))) (- (log 1) (log a)))) (- (log 1) (+ (log (- (acos a))) (log (/ 1 a)))) (- (log 1) (log (* (- (acos a)) (/ 1 a)))) (log (/ 1 (* (- (acos a)) (/ 1 a)))) (exp (/ 1 (* (- (acos a)) (/ 1 a)))) (/ (* (* 1 1) 1) (* (* (* (- (acos a)) (- (acos a))) (- (acos a))) (/ (* (* 1 1) 1) (* (* a a) a)))) (/ (* (* 1 1) 1) (* (* (* (- (acos a)) (- (acos a))) (- (acos a))) (* (* (/ 1 a) (/ 1 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)) (- (acos a))) (/ (cbrt 1) (/ 1 a)) (/ (sqrt 1) (- (acos a))) (/ (sqrt 1) (/ 1 a)) (/ 1 (- (acos a))) (/ 1 (/ 1 a)) (/ 1 (* (- (acos a)) (/ 1 a))) (/ (* (- (acos a)) (/ 1 a)) 1) (/ 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)) (/ 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) (/ 1 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 a)) (* (cbrt (acos a)) (/ 1 a)) (* (sqrt (acos a)) (/ 1 a)) (* (acos a) (/ 1 a)) (* (- (cbrt (acos a))) (/ 1 a)) (* (- (sqrt (acos a))) (/ 1 a)) (* (- (acos a)) (/ 1 a)) (* (- (acos a)) 1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) 0.870 * * [simplify]: iteration 0 : 351 enodes (cost 507 ) 0.879 * * [simplify]: iteration 1 : 1630 enodes (cost 403 ) 0.907 * * [simplify]: iteration 2 : 5001 enodes (cost 379 ) 0.910 * [simplify]: Simplified to: -1 -1 (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (- (log (/ (- (acos a)) a))) (pow (exp (/ 1 (- (acos a)))) a) (/ (pow a 3) (pow (- (acos a)) 3)) (/ (pow a 3) (pow (- (acos a)) 3)) (/ (pow a 3) (pow (- (acos a)) 3)) (* (cbrt (/ 1 (* (- (acos a)) (/ 1 a)))) (cbrt (/ 1 (* (- (acos a)) (/ 1 a))))) (cbrt (/ 1 (* (- (acos a)) (/ 1 a)))) (/ (pow a 3) (pow (- (acos a)) 3)) (sqrt (/ 1 (* (- (acos a)) (/ 1 a)))) (sqrt (/ 1 (* (- (acos a)) (/ 1 a)))) -1 (/ (acos a) a) (* -1 (/ 1 (acos a))) a (* -1 (/ 1 (acos a))) a (* -1 (/ 1 (acos a))) a (/ a (- (acos a))) (/ (- (acos a)) a) (* -1 (/ 1 (acos a))) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (* -1 (/ 1 (acos a))) (* -1 (/ 1 (acos a))) (/ (- (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)) (/ 1 a))) (cbrt (* (- (acos a)) (/ 1 a)))) (cbrt (* (- (acos a)) (/ 1 a))) (pow (/ (- (acos a)) a) 3) (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))) 1) (sqrt a)) (/ (* (sqrt (- (acos a))) 1) (sqrt a)) (/ (* (sqrt (- (acos a))) 1) (sqrt a)) (/ (* (sqrt (- (acos a))) 1) (sqrt a)) (/ (acos a) 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) 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 (- (acos a))) (/ a (- (acos a))) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) 0.910 * * * [progress]: adding candidates to table 1.011 * * [progress]: iteration 4 / 4 1.012 * * * [progress]: picking best candidate 1.035 * * * * [pick]: Picked # 1.035 * * * [progress]: localizing error 1.046 * * * [progress]: generating rewritten candidates 1.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.048 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.050 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1.051 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.054 * * * [progress]: generating series expansions 1.054 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.054 * [approximate]: Taking taylor expansion of (sqrt (acos a)) in (a) around 0 1.054 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 1.054 * [taylor]: Taking taylor expansion of (acos a) in a 1.054 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 1.054 * [taylor]: Taking taylor expansion of (acos a) in a 1.058 * [approximate]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in (a) around 0 1.058 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 1.058 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.058 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 1.058 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.062 * [approximate]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in (a) around 0 1.062 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 1.062 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.063 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 1.063 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.066 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.067 * [approximate]: Taking taylor expansion of (sqrt (acos a)) in (a) around 0 1.067 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 1.067 * [taylor]: Taking taylor expansion of (acos a) in a 1.067 * [taylor]: Taking taylor expansion of (sqrt (acos a)) in a 1.067 * [taylor]: Taking taylor expansion of (acos a) in a 1.071 * [approximate]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in (a) around 0 1.071 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 1.071 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.071 * [taylor]: Taking taylor expansion of (sqrt (acos (/ 1 a))) in a 1.071 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 1.075 * [approximate]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in (a) around 0 1.075 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 1.075 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.075 * [taylor]: Taking taylor expansion of (sqrt (acos (/ -1 a))) in a 1.075 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 1.079 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1.079 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 1.079 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 1.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 1.079 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 1.079 * [taylor]: Taking taylor expansion of 1/3 in a 1.079 * [taylor]: Taking taylor expansion of (log a) in a 1.079 * [taylor]: Taking taylor expansion of a in a 1.080 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 1.080 * [taylor]: Taking taylor expansion of 1/3 in a 1.080 * [taylor]: Taking taylor expansion of (log a) in a 1.080 * [taylor]: Taking taylor expansion of a in a 1.140 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 1.140 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.140 * [taylor]: Taking taylor expansion of 1/3 in a 1.140 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.140 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.140 * [taylor]: Taking taylor expansion of a in a 1.142 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.142 * [taylor]: Taking taylor expansion of 1/3 in a 1.142 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.142 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.142 * [taylor]: Taking taylor expansion of a in a 1.202 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 1.202 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 1.202 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.202 * [taylor]: Taking taylor expansion of -1 in a 1.203 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.203 * [taylor]: Taking taylor expansion of 1/3 in a 1.203 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.203 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.203 * [taylor]: Taking taylor expansion of a in a 1.204 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 1.204 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.204 * [taylor]: Taking taylor expansion of -1 in a 1.205 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.205 * [taylor]: Taking taylor expansion of 1/3 in a 1.205 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.205 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.205 * [taylor]: Taking taylor expansion of a in a 1.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.282 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 1.282 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 1.282 * [taylor]: Taking taylor expansion of 1/3 in a 1.282 * [taylor]: Taking taylor expansion of (log a) in a 1.282 * [taylor]: Taking taylor expansion of a in a 1.283 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 1.283 * [taylor]: Taking taylor expansion of 1/3 in a 1.283 * [taylor]: Taking taylor expansion of (log a) in a 1.283 * [taylor]: Taking taylor expansion of a in a 1.341 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 1.342 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.342 * [taylor]: Taking taylor expansion of 1/3 in a 1.342 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.342 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.342 * [taylor]: Taking taylor expansion of a in a 1.343 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.343 * [taylor]: Taking taylor expansion of 1/3 in a 1.343 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.343 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.343 * [taylor]: Taking taylor expansion of a in a 1.405 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 1.405 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 1.405 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.405 * [taylor]: Taking taylor expansion of -1 in a 1.406 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.406 * [taylor]: Taking taylor expansion of 1/3 in a 1.406 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.407 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.407 * [taylor]: Taking taylor expansion of a in a 1.408 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 1.408 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.408 * [taylor]: Taking taylor expansion of -1 in a 1.409 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 1.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 1.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 1.409 * [taylor]: Taking taylor expansion of 1/3 in a 1.409 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.409 * [taylor]: Taking taylor expansion of a in a 1.486 * * * [progress]: simplifying candidates 1.487 * [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)) 1.492 * * [simplify]: iteration 0 : 57 enodes (cost 172 ) 1.494 * * [simplify]: iteration 1 : 100 enodes (cost 164 ) 1.497 * * [simplify]: iteration 2 : 214 enodes (cost 160 ) 1.503 * * [simplify]: iteration 3 : 720 enodes (cost 160 ) 1.529 * * [simplify]: iteration 4 : 4142 enodes (cost 160 ) 1.634 * * [simplify]: iteration 5 : 5002 enodes (cost 158 ) 1.636 * [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 (* (cbrt a) (cbrt a))) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) (cbrt 1) (pow a 1/3) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) 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) (pow a 1/3) (* (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)) (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)) 1.636 * * * [progress]: adding candidates to table 1.770 * [progress]: [Phase 3 of 3] Extracting. 1.770 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 1.772 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 1.773 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # # # # # # # # # # # # #) 1.823 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # #) 1.870 * * * [regime]: Found split indices: #