19.480 * [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.020 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 0.020 * [simplify]: Simplified to: (/ a (- (acos a))) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [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.028 * * * [progress]: generating series expansions 0.028 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.028 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.028 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.028 * [taylor]: Taking taylor expansion of -1 in a 0.028 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.028 * [taylor]: Taking taylor expansion of a in a 0.028 * [taylor]: Taking taylor expansion of (acos a) in a 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.036 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.036 * [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.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.043 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.043 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.043 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.043 * [taylor]: Taking taylor expansion of a in a 0.043 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.043 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.043 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.043 * [taylor]: Taking taylor expansion of a in a 0.043 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.052 * * * [progress]: simplifying candidates 0.052 * [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.055 * * [simplify]: iteration 0 : 20 enodes (cost 18 ) 0.056 * * [simplify]: iteration 1 : 29 enodes (cost 18 ) 0.057 * * [simplify]: iteration 2 : 38 enodes (cost 18 ) 0.058 * * [simplify]: iteration 3 : 43 enodes (cost 18 ) 0.060 * * [simplify]: iteration 4 : 44 enodes (cost 18 ) 0.061 * * [simplify]: iteration 5 : 44 enodes (cost 18 ) 0.061 * [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.061 * * * [progress]: adding candidates to table 0.074 * * [progress]: iteration 2 / 4 0.074 * * * [progress]: picking best candidate 0.077 * * * * [pick]: Picked # 0.077 * * * [progress]: localizing error 0.082 * * * [progress]: generating rewritten candidates 0.082 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.088 * * * [progress]: generating series expansions 0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.088 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.088 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.088 * [taylor]: Taking taylor expansion of -1 in a 0.088 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.088 * [taylor]: Taking taylor expansion of a in a 0.088 * [taylor]: Taking taylor expansion of (acos a) in a 0.088 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.088 * [taylor]: Taking taylor expansion of -1 in a 0.088 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.088 * [taylor]: Taking taylor expansion of a in a 0.088 * [taylor]: Taking taylor expansion of (acos a) in a 0.095 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.095 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.095 * [taylor]: Taking taylor expansion of -1 in a 0.095 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.095 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.095 * [taylor]: Taking taylor expansion of a in a 0.096 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.096 * [taylor]: Taking taylor expansion of -1 in a 0.096 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.096 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.096 * [taylor]: Taking taylor expansion of a in a 0.101 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.101 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.101 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.101 * [taylor]: Taking taylor expansion of a in a 0.101 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.102 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.102 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.110 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.111 * [approximate]: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 0.111 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.111 * [taylor]: Taking taylor expansion of -1 in a 0.111 * [taylor]: Taking taylor expansion of (acos a) in a 0.111 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.111 * [taylor]: Taking taylor expansion of -1 in a 0.111 * [taylor]: Taking taylor expansion of (acos a) in a 0.112 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 0.112 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.112 * [taylor]: Taking taylor expansion of -1 in a 0.112 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.112 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.112 * [taylor]: Taking taylor expansion of -1 in a 0.112 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.114 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 0.114 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.114 * [taylor]: Taking taylor expansion of -1 in a 0.114 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.114 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.114 * [taylor]: Taking taylor expansion of -1 in a 0.114 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.116 * * * [progress]: simplifying candidates 0.117 * [simplify]: Simplifying using # : (* a 1) (* a 1) (* a (- 1)) (* a 1) (* a (/ 1 -1)) (- 1) (- (- (acos a))) (/ 1 (- (acos a))) (/ (- (acos a)) 1) (/ 1 -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.119 * * [simplify]: iteration 0 : 29 enodes (cost 24 ) 0.120 * * [simplify]: iteration 1 : 95 enodes (cost 24 ) 0.122 * * [simplify]: iteration 2 : 203 enodes (cost 23 ) 0.126 * * [simplify]: iteration 3 : 374 enodes (cost 22 ) 0.132 * * [simplify]: iteration 4 : 913 enodes (cost 22 ) 0.143 * * [simplify]: iteration 5 : 1907 enodes (cost 22 ) 0.179 * * [simplify]: iteration 6 : 5001 enodes (cost 22 ) 0.180 * [simplify]: Simplified to: a a (* a -1) a (* a -1) -1 (acos a) (/ -1 (acos a)) (* (acos a) -1) -1 (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.180 * * * [progress]: adding candidates to table 0.199 * * [progress]: iteration 3 / 4 0.199 * * * [progress]: picking best candidate 0.200 * * * * [pick]: Picked # 0.200 * * * [progress]: localizing error 0.205 * * * [progress]: generating rewritten candidates 0.205 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.209 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.211 * * * [progress]: generating series expansions 0.211 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.211 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.211 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.211 * [taylor]: Taking taylor expansion of -1 in a 0.211 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.211 * [taylor]: Taking taylor expansion of a in a 0.211 * [taylor]: Taking taylor expansion of (acos a) in a 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.212 * [taylor]: Taking taylor expansion of -1 in a 0.212 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.212 * [taylor]: Taking taylor expansion of a in a 0.212 * [taylor]: Taking taylor expansion of (acos a) in a 0.218 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.218 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.218 * [taylor]: Taking taylor expansion of -1 in a 0.218 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.218 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.218 * [taylor]: Taking taylor expansion of a in a 0.219 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.219 * [taylor]: Taking taylor expansion of -1 in a 0.219 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.219 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.219 * [taylor]: Taking taylor expansion of a in a 0.224 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.224 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.224 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.224 * [taylor]: Taking taylor expansion of a in a 0.224 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.225 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.225 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.225 * [taylor]: Taking taylor expansion of a in a 0.225 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.233 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.234 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.234 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.234 * [taylor]: Taking taylor expansion of -1 in a 0.234 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.234 * [taylor]: Taking taylor expansion of (acos a) in a 0.234 * [taylor]: Taking taylor expansion of a in a 0.234 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.234 * [taylor]: Taking taylor expansion of -1 in a 0.234 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.234 * [taylor]: Taking taylor expansion of (acos a) in a 0.234 * [taylor]: Taking taylor expansion of a in a 0.246 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.246 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.246 * [taylor]: Taking taylor expansion of -1 in a 0.246 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.246 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.246 * [taylor]: Taking taylor expansion of a in a 0.246 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.246 * [taylor]: Taking taylor expansion of -1 in a 0.247 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.247 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.247 * [taylor]: Taking taylor expansion of a in a 0.257 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.258 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.258 * [taylor]: Taking taylor expansion of a in a 0.258 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.258 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.258 * [taylor]: Taking taylor expansion of a in a 0.258 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.265 * * * [progress]: simplifying candidates 0.265 * [simplify]: Simplifying using # : (- 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) (- (- (acos a))) (- a) (/ 0 a) (/ (acos a) a) (/ 1 a) (/ a (- (acos a))) (/ (acos a) 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.268 * * [simplify]: iteration 0 : 37 enodes (cost 50 ) 0.269 * * [simplify]: iteration 1 : 121 enodes (cost 48 ) 0.272 * * [simplify]: iteration 2 : 409 enodes (cost 44 ) 0.278 * * [simplify]: iteration 3 : 653 enodes (cost 44 ) 0.293 * * [simplify]: iteration 4 : 2365 enodes (cost 44 ) 0.420 * * [simplify]: iteration 5 : 5001 enodes (cost 44 ) 0.421 * [simplify]: Simplified to: -1 (/ (acos a) a) (* -1 (/ a (acos a))) (/ (- (acos a)) a) (/ -1 (acos a)) (/ -1 (acos a)) (/ 1 (acos a)) 1 -1 (acos a) (* -1 a) 0 (/ (acos a) a) (/ 1 a) (* -1 (/ a (acos a))) (/ (acos a) 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) 0.421 * * * [progress]: adding candidates to table 0.449 * * [progress]: iteration 4 / 4 0.449 * * * [progress]: picking best candidate 0.452 * * * * [pick]: Picked # 0.452 * * * [progress]: localizing error 0.457 * * * [progress]: generating rewritten candidates 0.457 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.460 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.463 * * * [progress]: generating series expansions 0.463 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.463 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.463 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.463 * [taylor]: Taking taylor expansion of -1 in a 0.463 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.463 * [taylor]: Taking taylor expansion of a in a 0.463 * [taylor]: Taking taylor expansion of (acos a) in a 0.463 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.463 * [taylor]: Taking taylor expansion of -1 in a 0.463 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.463 * [taylor]: Taking taylor expansion of a in a 0.463 * [taylor]: Taking taylor expansion of (acos a) in a 0.470 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.470 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.470 * [taylor]: Taking taylor expansion of -1 in a 0.470 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.470 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.470 * [taylor]: Taking taylor expansion of a in a 0.470 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.470 * [taylor]: Taking taylor expansion of -1 in a 0.470 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.470 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.470 * [taylor]: Taking taylor expansion of a in a 0.476 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.476 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.476 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.476 * [taylor]: Taking taylor expansion of a in a 0.476 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.476 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.476 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.476 * [taylor]: Taking taylor expansion of a in a 0.477 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.485 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.485 * [approximate]: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 0.485 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.485 * [taylor]: Taking taylor expansion of -1 in a 0.485 * [taylor]: Taking taylor expansion of (acos a) in a 0.485 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.485 * [taylor]: Taking taylor expansion of -1 in a 0.485 * [taylor]: Taking taylor expansion of (acos a) in a 0.486 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 0.486 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.486 * [taylor]: Taking taylor expansion of -1 in a 0.486 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.486 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.487 * [taylor]: Taking taylor expansion of -1 in a 0.487 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.488 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 0.488 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.488 * [taylor]: Taking taylor expansion of -1 in a 0.488 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.488 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.488 * [taylor]: Taking taylor expansion of -1 in a 0.488 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.490 * * * [progress]: simplifying candidates 0.490 * [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.496 * * [simplify]: iteration 0 : 60 enodes (cost 60 ) 0.498 * * [simplify]: iteration 1 : 209 enodes (cost 51 ) 0.501 * * [simplify]: iteration 2 : 497 enodes (cost 47 ) 0.506 * * [simplify]: iteration 3 : 733 enodes (cost 47 ) 0.514 * * [simplify]: iteration 4 : 1036 enodes (cost 47 ) 0.526 * * [simplify]: iteration 5 : 1887 enodes (cost 47 ) 0.577 * * [simplify]: iteration 6 : 5001 enodes (cost 47 ) 0.577 * [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.577 * * * [progress]: adding candidates to table 0.596 * [progress]: [Phase 3 of 3] Extracting. 0.596 * * [regime]: Finding splitpoints for: (# # # #) 0.596 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 0.596 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # #) 0.612 * * * * [regimes]: Trying to branch on a from (# # # #) 0.628 * * * [regime]: Found split indices: #