22.427 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.318 * * * [progress]: [2/2] Setting up program.
0.321 * [progress]: [Phase 2 of 3] Improving.
0.321 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (cosh c) (log1p a))
0.322 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.322 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.323 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.325 * * [simplify]: iteration  3 :  16  enodes  (cost  5 )
0.327 * * [simplify]: iteration  4 :  18  enodes  (cost  5 )
0.328 * * [simplify]: iteration  5 :  19  enodes  (cost  5 )
0.331 * * [simplify]: iteration  6 :  25  enodes  (cost  5 )
0.335 * * [simplify]: iteration  7 :  35  enodes  (cost  5 )
0.348 * * [simplify]: iteration  8 :  58  enodes  (cost  5 )
0.372 * * [simplify]: iteration  9 :  149  enodes  (cost  5 )
0.676 * * [simplify]: iteration  10 :  1455  enodes  (cost  5 )
27.478 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
27.479 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
27.479 * * [progress]: iteration 1 / 4
27.479 * * * [progress]: picking best candidate
27.481 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
27.481 * * * [progress]: localizing error
27.488 * * * [progress]: generating rewritten candidates
27.488 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
27.488 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
27.489 * * * [progress]: generating series expansions
27.489 * * * * [progress]: [ 1 / 2 ] generating series at (2)
27.489 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
27.489 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.489 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.489 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
27.489 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
27.489 * [taylor]: Taking taylor expansion of 0 in a
27.489 * [taylor]: Taking taylor expansion of 0 in a
27.489 * [taylor]: Taking taylor expansion of 0 in a
27.490 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
27.490 * [taylor]: Taking taylor expansion of 0 in a
27.490 * [taylor]: Taking taylor expansion of 0 in a
27.490 * [taylor]: Taking taylor expansion of 0 in a
27.490 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.490 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
27.491 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
27.491 * [taylor]: Taking taylor expansion of 0 in a
27.491 * [taylor]: Taking taylor expansion of 0 in a
27.491 * [taylor]: Taking taylor expansion of 0 in a
27.491 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
27.491 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
27.491 * [taylor]: Taking taylor expansion of (log1p a) in a
27.491 * [taylor]: Taking taylor expansion of (log1p a) in a
27.491 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
27.491 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
27.491 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
27.491 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
27.492 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
27.492 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
27.492 * * * [progress]: simplifying candidates
27.492 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
27.493 * * [simplify]: iteration  0 :  19  enodes  (cost  111 )
27.495 * * [simplify]: iteration  1 :  27  enodes  (cost  111 )
27.498 * * [simplify]: iteration  2 :  33  enodes  (cost  97 )
27.502 * * [simplify]: iteration  3 :  41  enodes  (cost  97 )
27.507 * * [simplify]: iteration  4 :  52  enodes  (cost  97 )
27.516 * * [simplify]: iteration  5 :  85  enodes  (cost  97 )
27.538 * * [simplify]: iteration  6 :  168  enodes  (cost  97 )
27.610 * * [simplify]: iteration  7 :  560  enodes  (cost  97 )
28.025 * * [simplify]: iteration  8 :  1699  enodes  (cost  97 )
29.224 * * [simplify]: iteration  done :  5000  enodes  (cost  97 )
29.224 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (log1p a)
  (log1p a)
  (log1p a)
29.224 * * * [progress]: adding candidates to table
29.272 * * [progress]: iteration 2 / 4
29.272 * * * [progress]: picking best candidate
29.294 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))>
29.294 * * * [progress]: localizing error
29.304 * * * [progress]: generating rewritten candidates
29.304 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
29.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
29.305 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
29.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
29.309 * * * [progress]: generating series expansions
29.309 * * * * [progress]: [ 1 / 4 ] generating series at (2)
29.309 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
29.309 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
29.309 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
29.309 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
29.310 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
29.310 * [taylor]: Taking taylor expansion of 0 in a
29.310 * [taylor]: Taking taylor expansion of 0 in a
29.310 * [taylor]: Taking taylor expansion of 0 in a
29.310 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
29.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
29.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
29.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
29.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
29.310 * [taylor]: Taking taylor expansion of 0 in a
29.311 * [taylor]: Taking taylor expansion of 0 in a
29.311 * [taylor]: Taking taylor expansion of 0 in a
29.311 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
29.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
29.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
29.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
29.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
29.311 * [taylor]: Taking taylor expansion of 0 in a
29.311 * [taylor]: Taking taylor expansion of 0 in a
29.311 * [taylor]: Taking taylor expansion of 0 in a
29.312 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
29.312 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
29.312 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.312 * [taylor]: Taking taylor expansion of 1/3 in a
29.312 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.312 * [taylor]: Taking taylor expansion of (log1p a) in a
29.312 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.312 * [taylor]: Taking taylor expansion of 1/3 in a
29.312 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.312 * [taylor]: Taking taylor expansion of (log1p a) in a
29.344 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
29.344 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.345 * [taylor]: Taking taylor expansion of 1/3 in a
29.345 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.345 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.346 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.346 * [taylor]: Taking taylor expansion of 1/3 in a
29.346 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.346 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.377 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
29.377 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.377 * [taylor]: Taking taylor expansion of 1/3 in a
29.377 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.377 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.377 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.377 * [taylor]: Taking taylor expansion of 1/3 in a
29.377 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.377 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.414 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
29.414 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
29.414 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.414 * [taylor]: Taking taylor expansion of 1/3 in a
29.414 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.414 * [taylor]: Taking taylor expansion of (log1p a) in a
29.414 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.414 * [taylor]: Taking taylor expansion of 1/3 in a
29.414 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.414 * [taylor]: Taking taylor expansion of (log1p a) in a
29.445 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
29.446 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.446 * [taylor]: Taking taylor expansion of 1/3 in a
29.446 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.446 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.446 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.446 * [taylor]: Taking taylor expansion of 1/3 in a
29.446 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.446 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.483 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
29.483 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.483 * [taylor]: Taking taylor expansion of 1/3 in a
29.483 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.483 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.484 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.484 * [taylor]: Taking taylor expansion of 1/3 in a
29.484 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.484 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.516 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
29.516 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/3) in (a) around 0
29.516 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.516 * [taylor]: Taking taylor expansion of 1/3 in a
29.516 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.516 * [taylor]: Taking taylor expansion of (log1p a) in a
29.516 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/3) in a
29.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p a)))) in a
29.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p a))) in a
29.516 * [taylor]: Taking taylor expansion of 1/3 in a
29.516 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
29.516 * [taylor]: Taking taylor expansion of (log1p a) in a
29.548 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in (a) around 0
29.548 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.548 * [taylor]: Taking taylor expansion of 1/3 in a
29.548 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.548 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.548 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/3) in a
29.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ 1 a))))) in a
29.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ 1 a)))) in a
29.548 * [taylor]: Taking taylor expansion of 1/3 in a
29.548 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
29.548 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
29.586 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in (a) around 0
29.586 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.586 * [taylor]: Taking taylor expansion of 1/3 in a
29.586 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.586 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.586 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/3) in a
29.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (/ -1 a))))) in a
29.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (/ -1 a)))) in a
29.586 * [taylor]: Taking taylor expansion of 1/3 in a
29.586 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
29.586 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
29.618 * * * [progress]: simplifying candidates
29.619 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt 1)
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
  (pow (log1p a) 1/3)
29.621 * * [simplify]: iteration  0 :  28  enodes  (cost  396 )
29.625 * * [simplify]: iteration  1 :  42  enodes  (cost  384 )
29.631 * * [simplify]: iteration  2 :  76  enodes  (cost  281 )
29.651 * * [simplify]: iteration  3 :  153  enodes  (cost  248 )
29.692 * * [simplify]: iteration  4 :  395  enodes  (cost  248 )
29.876 * * [simplify]: iteration  5 :  1810  enodes  (cost  248 )
30.869 * * [simplify]: iteration  done :  5001  enodes  (cost  248 )
30.870 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (pow (log1p a) 2/3))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (pow (log1p a) 2/3))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (log (cbrt (log1p a)))
  (exp (cbrt (log1p a)))
  (cbrt (pow (log1p a) 2/3))
  (cbrt (cbrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  (cbrt (sqrt (log1p a)))
  1
  (cbrt (log1p a))
  (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (log1p a)))
  (log1p a)
  (sqrt (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
  (cbrt (log1p a))
30.870 * * * [progress]: adding candidates to table
30.983 * * [progress]: iteration 3 / 4
30.983 * * * [progress]: picking best candidate
31.035 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))>
31.035 * * * [progress]: localizing error
31.049 * * * [progress]: generating rewritten candidates
31.049 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
31.050 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
31.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2)
31.051 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1)
31.053 * * * [progress]: generating series expansions
31.053 * * * * [progress]: [ 1 / 4 ] generating series at (2)
31.053 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
31.053 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
31.054 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
31.054 * [taylor]: Taking taylor expansion of 0 in a
31.054 * [taylor]: Taking taylor expansion of 0 in a
31.054 * [taylor]: Taking taylor expansion of 0 in a
31.054 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
31.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.054 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
31.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
31.055 * [taylor]: Taking taylor expansion of 0 in a
31.055 * [taylor]: Taking taylor expansion of 0 in a
31.055 * [taylor]: Taking taylor expansion of 0 in a
31.055 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
31.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.055 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
31.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
31.056 * [taylor]: Taking taylor expansion of 0 in a
31.056 * [taylor]: Taking taylor expansion of 0 in a
31.056 * [taylor]: Taking taylor expansion of 0 in a
31.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
31.056 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
31.056 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.056 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.056 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.056 * [taylor]: Taking taylor expansion of 1/9 in a
31.056 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.056 * [taylor]: Taking taylor expansion of (log1p a) in a
31.056 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.056 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.056 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.056 * [taylor]: Taking taylor expansion of 1/9 in a
31.056 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.056 * [taylor]: Taking taylor expansion of (log1p a) in a
31.092 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
31.092 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.092 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.092 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.092 * [taylor]: Taking taylor expansion of 1/9 in a
31.092 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.092 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.092 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.092 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.092 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.092 * [taylor]: Taking taylor expansion of 1/9 in a
31.092 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.092 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.125 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
31.125 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.125 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.125 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.125 * [taylor]: Taking taylor expansion of 1/9 in a
31.125 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.125 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.125 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.125 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.125 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.125 * [taylor]: Taking taylor expansion of 1/9 in a
31.125 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.125 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.162 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2)
31.162 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
31.162 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.162 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.162 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.162 * [taylor]: Taking taylor expansion of 1/9 in a
31.162 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.162 * [taylor]: Taking taylor expansion of (log1p a) in a
31.162 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.162 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.162 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.162 * [taylor]: Taking taylor expansion of 1/9 in a
31.162 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.162 * [taylor]: Taking taylor expansion of (log1p a) in a
31.194 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
31.194 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.194 * [taylor]: Taking taylor expansion of 1/9 in a
31.194 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.194 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.194 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.194 * [taylor]: Taking taylor expansion of 1/9 in a
31.194 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.194 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.226 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
31.226 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.226 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.226 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.226 * [taylor]: Taking taylor expansion of 1/9 in a
31.226 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.226 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.227 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.227 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.227 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.227 * [taylor]: Taking taylor expansion of 1/9 in a
31.227 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.227 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.264 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1)
31.264 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
31.264 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.264 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.264 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.264 * [taylor]: Taking taylor expansion of 1/9 in a
31.264 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.264 * [taylor]: Taking taylor expansion of (log1p a) in a
31.264 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
31.264 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
31.264 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
31.264 * [taylor]: Taking taylor expansion of 1/9 in a
31.264 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
31.264 * [taylor]: Taking taylor expansion of (log1p a) in a
31.296 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
31.296 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.296 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.296 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.296 * [taylor]: Taking taylor expansion of 1/9 in a
31.296 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.296 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.297 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
31.297 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
31.297 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
31.297 * [taylor]: Taking taylor expansion of 1/9 in a
31.297 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
31.297 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
31.334 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
31.334 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.334 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.334 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.334 * [taylor]: Taking taylor expansion of 1/9 in a
31.334 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.334 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.335 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
31.335 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
31.335 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
31.335 * [taylor]: Taking taylor expansion of 1/9 in a
31.335 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
31.335 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
31.367 * * * [progress]: simplifying candidates
31.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
31.370 * * [simplify]: iteration  0 :  38  enodes  (cost  647 )
31.375 * * [simplify]: iteration  1 :  57  enodes  (cost  641 )
31.382 * * [simplify]: iteration  2 :  84  enodes  (cost  500 )
31.399 * * [simplify]: iteration  3 :  140  enodes  (cost  467 )
31.430 * * [simplify]: iteration  4 :  263  enodes  (cost  416 )
31.538 * * [simplify]: iteration  5 :  798  enodes  (cost  392 )
32.075 * * [simplify]: iteration  6 :  2434  enodes  (cost  386 )
33.477 * * [simplify]: iteration  done :  5001  enodes  (cost  386 )
33.477 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
33.478 * * * [progress]: adding candidates to table
33.636 * * [progress]: iteration 4 / 4
33.636 * * * [progress]: picking best candidate
33.716 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))>
33.716 * * * [progress]: localizing error
33.736 * * * [progress]: generating rewritten candidates
33.736 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
33.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 2 1)
33.737 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1 2 1)
33.738 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 1 1)
33.739 * * * [progress]: generating series expansions
33.739 * * * * [progress]: [ 1 / 4 ] generating series at (2)
33.740 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
33.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
33.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
33.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
33.740 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
33.740 * [taylor]: Taking taylor expansion of 0 in a
33.740 * [taylor]: Taking taylor expansion of 0 in a
33.740 * [taylor]: Taking taylor expansion of 0 in a
33.741 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
33.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
33.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
33.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
33.741 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
33.741 * [taylor]: Taking taylor expansion of 0 in a
33.741 * [taylor]: Taking taylor expansion of 0 in a
33.741 * [taylor]: Taking taylor expansion of 0 in a
33.742 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
33.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
33.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
33.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
33.742 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
33.743 * [taylor]: Taking taylor expansion of 0 in a
33.743 * [taylor]: Taking taylor expansion of 0 in a
33.743 * [taylor]: Taking taylor expansion of 0 in a
33.743 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 2 1)
33.743 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
33.743 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.743 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.743 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.743 * [taylor]: Taking taylor expansion of 1/9 in a
33.743 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.743 * [taylor]: Taking taylor expansion of (log1p a) in a
33.743 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.743 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.743 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.743 * [taylor]: Taking taylor expansion of 1/9 in a
33.743 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.743 * [taylor]: Taking taylor expansion of (log1p a) in a
33.779 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
33.779 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.779 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.779 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.779 * [taylor]: Taking taylor expansion of 1/9 in a
33.779 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.779 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.779 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.779 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.779 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.779 * [taylor]: Taking taylor expansion of 1/9 in a
33.779 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.779 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.812 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
33.812 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
33.812 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
33.812 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
33.812 * [taylor]: Taking taylor expansion of 1/9 in a
33.812 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.812 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.812 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
33.812 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
33.812 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
33.812 * [taylor]: Taking taylor expansion of 1/9 in a
33.812 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.812 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1 2 1)
33.844 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
33.844 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.844 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.844 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.845 * [taylor]: Taking taylor expansion of 1/9 in a
33.845 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.845 * [taylor]: Taking taylor expansion of (log1p a) in a
33.845 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.845 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.845 * [taylor]: Taking taylor expansion of 1/9 in a
33.845 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.845 * [taylor]: Taking taylor expansion of (log1p a) in a
33.881 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
33.881 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.881 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.881 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.881 * [taylor]: Taking taylor expansion of 1/9 in a
33.881 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.881 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.881 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.881 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.881 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.881 * [taylor]: Taking taylor expansion of 1/9 in a
33.881 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.881 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.912 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
33.912 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
33.912 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
33.912 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
33.912 * [taylor]: Taking taylor expansion of 1/9 in a
33.912 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.912 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.913 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
33.913 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
33.913 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
33.913 * [taylor]: Taking taylor expansion of 1/9 in a
33.913 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
33.913 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
33.949 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 1 1)
33.949 * [approximate]: Taking taylor expansion of (pow (log1p a) 1/9) in (a) around 0
33.949 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.949 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.950 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.950 * [taylor]: Taking taylor expansion of 1/9 in a
33.950 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.950 * [taylor]: Taking taylor expansion of (log1p a) in a
33.950 * [taylor]: Taking taylor expansion of (pow (log1p a) 1/9) in a
33.950 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p a)))) in a
33.950 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p a))) in a
33.950 * [taylor]: Taking taylor expansion of 1/9 in a
33.950 * [taylor]: Taking taylor expansion of (log (log1p a)) in a
33.950 * [taylor]: Taking taylor expansion of (log1p a) in a
33.980 * [approximate]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in (a) around 0
33.981 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.981 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.981 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.981 * [taylor]: Taking taylor expansion of 1/9 in a
33.981 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.981 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
33.981 * [taylor]: Taking taylor expansion of (pow (log1p (/ 1 a)) 1/9) in a
33.981 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ 1 a))))) in a
33.981 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ 1 a)))) in a
33.981 * [taylor]: Taking taylor expansion of 1/9 in a
33.981 * [taylor]: Taking taylor expansion of (log (log1p (/ 1 a))) in a
33.981 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
34.012 * [approximate]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in (a) around 0
34.012 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
34.012 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
34.012 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
34.012 * [taylor]: Taking taylor expansion of 1/9 in a
34.012 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
34.012 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
34.012 * [taylor]: Taking taylor expansion of (pow (log1p (/ -1 a)) 1/9) in a
34.012 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (log1p (/ -1 a))))) in a
34.012 * [taylor]: Taking taylor expansion of (* 1/9 (log (log1p (/ -1 a)))) in a
34.012 * [taylor]: Taking taylor expansion of 1/9 in a
34.012 * [taylor]: Taking taylor expansion of (log (log1p (/ -1 a))) in a
34.013 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
34.050 * * * [progress]: simplifying candidates
34.051 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (exp (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a))))) (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a))))))
  (cbrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (* (* (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a))))) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (sqrt (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (log1p a)))
  (cbrt (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt 1)
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
34.053 * * [simplify]: iteration  0 :  40  enodes  (cost  777 )
34.058 * * [simplify]: iteration  1 :  65  enodes  (cost  771 )
34.066 * * [simplify]: iteration  2 :  123  enodes  (cost  588 )
34.091 * * [simplify]: iteration  3 :  294  enodes  (cost  467 )
34.201 * * [simplify]: iteration  4 :  1014  enodes  (cost  410 )
34.975 * * [simplify]: iteration  5 :  3977  enodes  (cost  386 )
38.288 * * [simplify]: iteration  done :  5000  enodes  (cost  386 )
38.288 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (log (cbrt (cbrt (log1p a))))
  (exp (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6)))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  (cbrt (cbrt (sqrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  (cbrt (sqrt (cbrt (log1p a))))
  1
  (cbrt (cbrt (log1p a)))
  (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a)))))
  (cbrt (cbrt (cbrt (log1p a))))
  (cbrt (log1p a))
  (sqrt (cbrt (cbrt (log1p a))))
  (sqrt (cbrt (cbrt (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
  (pow (log1p a) 1/9)
38.289 * * * [progress]: adding candidates to table
38.477 * [progress]: [Phase 3 of 3] Extracting.
38.477 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
38.489 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
38.489 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
38.605 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
38.708 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
38.831 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>)
38.865 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
38.978 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (pow (log1p a) 1/9)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (pow (cbrt (log1p a)) 1/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (exp (log (cbrt (log1p a))))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (exp (log (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (log (exp (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (pow (log1p a) 1/3))))> #<alt (λ (a c) (fmod (cosh c) (* (sqrt (log1p a)) (sqrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (* (cbrt (pow (cbrt (cbrt (cbrt (log1p a)))) 6)) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (sqrt (cbrt (cbrt (log1p a)))) (sqrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (exp (log (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (sqrt (log1p a)))) (cbrt (cbrt (sqrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (log (exp (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (log (exp (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (pow (log1p a) 1/9))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (pow (log1p a) 1/3) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (cbrt (log1p a)))))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (pow (log1p a) 2/3)) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a)))))> #<alt (λ (a c) (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a)))))>)
39.093 * * * [regime]: Found split indices: #<option (#s(si 29 255))>
39.093 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a))))
39.094 * * [simplify]: iteration  0 :  20  enodes  (cost  48 )
39.094 * * [simplify]: iteration  1 :  25  enodes  (cost  48 )
39.095 * * [simplify]: iteration  done :  25  enodes  (cost  48 )
39.095 * [simplify]: Simplified to:
   (fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (* (* (cbrt (cbrt (cbrt (log1p a)))) (cbrt (cbrt (cbrt (log1p a))))) (cbrt (* (cbrt (cbrt (pow (cbrt (cbrt (log1p a))) 6))) (cbrt (cbrt (cbrt (log1p a)))))))) (cbrt (log1p a))) (cbrt (log1p a))))
50.926 * [regime-testing]: Baseline error score: 33.85888829726282
50.927 * [regime-testing]: Oracle error score: 32.0264486748558
50.928 * [regime-testing]: End program error score: 33.85888829726282