39.817 * [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.021 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 0.021 * [simplify]: Simplified to: (/ a (- (acos a))) 0.021 * * [progress]: iteration 1 / 4 0.021 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.029 * * * [progress]: generating series expansions 0.029 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.029 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.029 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.029 * [taylor]: Taking taylor expansion of -1 in a 0.029 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.029 * [taylor]: Taking taylor expansion of a in a 0.029 * [taylor]: Taking taylor expansion of (acos a) in a 0.030 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.030 * [taylor]: Taking taylor expansion of -1 in a 0.030 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.030 * [taylor]: Taking taylor expansion of a in a 0.030 * [taylor]: Taking taylor expansion of (acos a) in a 0.037 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.037 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.037 * [taylor]: Taking taylor expansion of -1 in a 0.037 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.037 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.037 * [taylor]: Taking taylor expansion of a in a 0.038 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.038 * [taylor]: Taking taylor expansion of -1 in a 0.038 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.038 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.038 * [taylor]: Taking taylor expansion of a in a 0.044 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.044 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.044 * [taylor]: Taking taylor expansion of a in a 0.044 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.045 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.045 * [taylor]: Taking taylor expansion of a in a 0.045 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.053 * * * [progress]: simplifying candidates 0.053 * [simplify]: Simplifying using # : (- a) (- (- (acos a))) (/ 1 (- (acos a))) (/ (- (acos a)) a) (/ a -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.056 * * [simplify]: iteration 0 : 20 enodes (cost 18 ) 0.057 * * [simplify]: iteration 1 : 29 enodes (cost 18 ) 0.058 * * [simplify]: iteration 2 : 38 enodes (cost 18 ) 0.060 * * [simplify]: iteration 3 : 43 enodes (cost 18 ) 0.061 * * [simplify]: iteration 4 : 44 enodes (cost 18 ) 0.062 * * [simplify]: iteration 5 : 44 enodes (cost 18 ) 0.062 * [simplify]: Simplified to: (* -1 a) (acos a) (/ 1 (- (acos a))) (/ (- (acos a)) a) (/ a -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.063 * * * [progress]: adding candidates to table 0.072 * * [progress]: iteration 2 / 4 0.073 * * * [progress]: picking best candidate 0.074 * * * * [pick]: Picked # 0.074 * * * [progress]: localizing error 0.079 * * * [progress]: generating rewritten candidates 0.079 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.082 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.088 * * * [progress]: generating series expansions 0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.088 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.088 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.088 * [taylor]: Taking taylor expansion of -1 in a 0.088 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.088 * [taylor]: Taking taylor expansion of (acos a) in a 0.088 * [taylor]: Taking taylor expansion of a in a 0.089 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.089 * [taylor]: Taking taylor expansion of -1 in a 0.089 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.089 * [taylor]: Taking taylor expansion of (acos a) in a 0.089 * [taylor]: Taking taylor expansion of a in a 0.102 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.102 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.102 * [taylor]: Taking taylor expansion of -1 in a 0.102 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.102 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.102 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.102 * [taylor]: Taking taylor expansion of -1 in a 0.102 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.102 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.113 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.113 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.113 * [taylor]: Taking taylor expansion of a in a 0.113 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.113 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.113 * [taylor]: Taking taylor expansion of a in a 0.113 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.120 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.121 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.121 * [taylor]: Taking taylor expansion of -1 in a 0.121 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.121 * [taylor]: Taking taylor expansion of a in a 0.121 * [taylor]: Taking taylor expansion of (acos a) in a 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.121 * [taylor]: Taking taylor expansion of -1 in a 0.121 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.121 * [taylor]: Taking taylor expansion of a in a 0.121 * [taylor]: Taking taylor expansion of (acos a) in a 0.128 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.128 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.128 * [taylor]: Taking taylor expansion of -1 in a 0.128 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.128 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.128 * [taylor]: Taking taylor expansion of a in a 0.128 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.128 * [taylor]: Taking taylor expansion of -1 in a 0.128 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.128 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.128 * [taylor]: Taking taylor expansion of a in a 0.134 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.134 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.134 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.134 * [taylor]: Taking taylor expansion of a in a 0.134 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.135 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.135 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.135 * [taylor]: Taking taylor expansion of a in a 0.135 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.143 * * * [progress]: simplifying candidates 0.144 * [simplify]: Simplifying using # : (- (- (acos a))) (- a) (/ 0 a) (/ (acos a) a) (/ 1 a) (/ a (- (acos a))) (/ (acos a) a) (/ a (acos a)) (- 1) (- (/ (- (acos a)) a)) (/ 1 (/ (- (acos a)) a)) (/ (/ (- (acos a)) a) 1) (/ 1 (- (acos a))) (/ 1 (- (acos a))) (/ 1 (- (- (acos a)))) (/ 1 1) (/ 1 -1) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.146 * * [simplify]: iteration 0 : 37 enodes (cost 50 ) 0.148 * * [simplify]: iteration 1 : 121 enodes (cost 48 ) 0.150 * * [simplify]: iteration 2 : 409 enodes (cost 44 ) 0.156 * * [simplify]: iteration 3 : 653 enodes (cost 44 ) 0.171 * * [simplify]: iteration 4 : 2365 enodes (cost 44 ) 0.306 * * [simplify]: iteration 5 : 5001 enodes (cost 44 ) 0.307 * [simplify]: Simplified to: (acos a) (* -1 a) 0 (/ (acos a) a) (/ 1 a) (* -1 (/ a (acos a))) (/ (acos a) a) (/ a (acos a)) -1 (/ (acos a) a) (* -1 (/ a (acos a))) (/ (- (acos a)) a) (/ -1 (acos a)) (/ -1 (acos a)) (/ 1 (acos a)) 1 -1 (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.307 * * * [progress]: adding candidates to table 0.337 * * [progress]: iteration 3 / 4 0.337 * * * [progress]: picking best candidate 0.340 * * * * [pick]: Picked # 0.340 * * * [progress]: localizing error 0.345 * * * [progress]: generating rewritten candidates 0.345 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.349 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.351 * * * [progress]: generating series expansions 0.351 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.351 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.351 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.351 * [taylor]: Taking taylor expansion of -1 in a 0.351 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.351 * [taylor]: Taking taylor expansion of a in a 0.351 * [taylor]: Taking taylor expansion of (acos a) in a 0.351 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.351 * [taylor]: Taking taylor expansion of -1 in a 0.351 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.351 * [taylor]: Taking taylor expansion of a in a 0.351 * [taylor]: Taking taylor expansion of (acos a) in a 0.359 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.359 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.359 * [taylor]: Taking taylor expansion of -1 in a 0.359 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.359 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.359 * [taylor]: Taking taylor expansion of a in a 0.359 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.359 * [taylor]: Taking taylor expansion of -1 in a 0.359 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.359 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.359 * [taylor]: Taking taylor expansion of a in a 0.365 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.365 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.365 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.365 * [taylor]: Taking taylor expansion of a in a 0.365 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.365 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.365 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.365 * [taylor]: Taking taylor expansion of a in a 0.365 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.374 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.374 * [approximate]: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 0.374 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.374 * [taylor]: Taking taylor expansion of -1 in a 0.374 * [taylor]: Taking taylor expansion of (acos a) in a 0.374 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.374 * [taylor]: Taking taylor expansion of -1 in a 0.374 * [taylor]: Taking taylor expansion of (acos a) in a 0.375 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 0.375 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.376 * [taylor]: Taking taylor expansion of -1 in a 0.376 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.376 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.376 * [taylor]: Taking taylor expansion of -1 in a 0.376 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.377 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 0.377 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.377 * [taylor]: Taking taylor expansion of -1 in a 0.378 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.378 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.378 * [taylor]: Taking taylor expansion of -1 in a 0.378 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.379 * * * [progress]: simplifying candidates 0.380 * [simplify]: Simplifying using # : (- (/ -1 (acos a))) (- (/ 1 a)) (/ -1 1) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (/ 1 a)) (/ (/ 1 a) (/ -1 (acos a))) (/ (/ -1 (acos a)) 1) (/ (/ 1 a) (/ 1 (acos a))) (/ (/ -1 (acos a)) 1) (/ (/ -1 (acos a)) (- 1)) (/ (/ -1 (acos a)) 1) (* (/ 1 a) (acos a)) (* (/ 1 a) (- (acos a))) (* (/ 1 a) (/ (acos a) -1)) (- -1) (- (acos a)) (/ 1 (acos a)) (/ (acos a) -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.382 * * [simplify]: iteration 0 : 60 enodes (cost 60 ) 0.384 * * [simplify]: iteration 1 : 209 enodes (cost 51 ) 0.388 * * [simplify]: iteration 2 : 497 enodes (cost 47 ) 0.393 * * [simplify]: iteration 3 : 733 enodes (cost 47 ) 0.401 * * [simplify]: iteration 4 : 1036 enodes (cost 47 ) 0.413 * * [simplify]: iteration 5 : 1887 enodes (cost 47 ) 0.465 * * [simplify]: iteration 6 : 5001 enodes (cost 47 ) 0.466 * [simplify]: Simplified to: (/ 1 (acos a)) (/ -1 a) -1 (/ a (acos a)) a (/ (/ (acos a) -1) a) (/ -1 (acos a)) (/ (acos a) a) (/ -1 (acos a)) (/ 1 (acos a)) (/ -1 (acos a)) (/ (acos a) a) (/ (/ (acos a) -1) a) (/ (/ (acos a) -1) a) 1 (- (acos a)) (/ 1 (acos a)) (- (acos a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.466 * * * [progress]: adding candidates to table 0.487 * * [progress]: iteration 4 / 4 0.487 * * * [progress]: picking best candidate 0.488 * * * * [pick]: Picked # 0.488 * * * [progress]: localizing error 0.494 * * * [progress]: generating rewritten candidates 0.495 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.498 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.503 * * * [progress]: generating series expansions 0.503 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.503 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.503 * [taylor]: Taking taylor expansion of -1 in a 0.503 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.503 * [taylor]: Taking taylor expansion of (acos a) in a 0.503 * [taylor]: Taking taylor expansion of a in a 0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.503 * [taylor]: Taking taylor expansion of -1 in a 0.503 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.503 * [taylor]: Taking taylor expansion of (acos a) in a 0.503 * [taylor]: Taking taylor expansion of a in a 0.516 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.516 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.516 * [taylor]: Taking taylor expansion of -1 in a 0.516 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.516 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.517 * [taylor]: Taking taylor expansion of a in a 0.517 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.517 * [taylor]: Taking taylor expansion of -1 in a 0.517 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.517 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.517 * [taylor]: Taking taylor expansion of a in a 0.528 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.528 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.528 * [taylor]: Taking taylor expansion of a in a 0.528 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.528 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.528 * [taylor]: Taking taylor expansion of a in a 0.528 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.535 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.535 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.535 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.535 * [taylor]: Taking taylor expansion of -1 in a 0.535 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.535 * [taylor]: Taking taylor expansion of a in a 0.535 * [taylor]: Taking taylor expansion of (acos a) in a 0.535 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.535 * [taylor]: Taking taylor expansion of -1 in a 0.535 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.535 * [taylor]: Taking taylor expansion of a in a 0.535 * [taylor]: Taking taylor expansion of (acos a) in a 0.545 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.545 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.545 * [taylor]: Taking taylor expansion of -1 in a 0.545 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.545 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.546 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.546 * [taylor]: Taking taylor expansion of -1 in a 0.546 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.546 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.546 * [taylor]: Taking taylor expansion of a in a 0.551 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.551 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.551 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.551 * [taylor]: Taking taylor expansion of a in a 0.551 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.552 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.552 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.552 * [taylor]: Taking taylor expansion of a in a 0.552 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.560 * * * [progress]: simplifying candidates 0.561 * [simplify]: Simplifying using # : (* (acos a) (/ 1 a)) (* (- (acos a)) 1) (* (acos a) (/ 1 a)) (* (- (acos a)) 1) (* (- (acos a)) (- 1)) (* (- (acos a)) 1) (- 1) (- (* (- (acos a)) (/ 1 a))) (/ 1 (* (- (acos a)) (/ 1 a))) (/ (* (- (acos a)) (/ 1 a)) 1) (/ 1 (- (acos a))) (/ 1 (* (- (acos a)) 1)) (/ 1 -1) (/ 1 (/ 1 a)) (/ 1 (- (acos a))) (/ 1 (- (acos a))) (/ 1 (* (- (acos a)) 1)) (/ 1 (* (- (acos a)) (- 1))) (/ 1 (* (- (acos a)) 1)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.563 * * [simplify]: iteration 0 : 55 enodes (cost 70 ) 0.565 * * [simplify]: iteration 1 : 205 enodes (cost 61 ) 0.570 * * [simplify]: iteration 2 : 721 enodes (cost 52 ) 0.578 * * [simplify]: iteration 3 : 1490 enodes (cost 51 ) 0.587 * * [simplify]: iteration 4 : 1787 enodes (cost 51 ) 0.599 * * [simplify]: iteration 5 : 2638 enodes (cost 51 ) 0.649 * * [simplify]: iteration 6 : 5001 enodes (cost 51 ) 0.650 * [simplify]: Simplified to: (/ (acos a) a) (- (acos a)) (/ (acos a) a) (- (acos a)) (acos a) (- (acos a)) -1 (/ (acos a) a) (* -1 (/ a (acos a))) (/ (- (acos a)) a) (/ -1 (acos a)) (/ -1 (acos a)) -1 a (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) (/ 1 (acos a)) (/ -1 (acos a)) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.650 * * * [progress]: adding candidates to table 0.675 * [progress]: [Phase 3 of 3] Extracting. 0.675 * * [regime]: Finding splitpoints for: (# # # #) 0.675 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 0.675 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # #) 0.693 * * * * [regimes]: Trying to branch on a from (# # # #) 0.706 * * * [regime]: Found split indices: #