15.818 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.075 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (exp x) 2.0) (exp (- x)))
0.076 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.077 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
0.079 * * [simplify]: iteration  2 :  26  enodes  (cost  8 )
0.082 * * [simplify]: iteration  3 :  40  enodes  (cost  8 )
0.087 * * [simplify]: iteration  4 :  52  enodes  (cost  8 )
0.097 * * [simplify]: iteration  5 :  69  enodes  (cost  8 )
0.107 * * [simplify]: iteration  6 :  97  enodes  (cost  8 )
0.127 * * [simplify]: iteration  7 :  160  enodes  (cost  8 )
0.178 * * [simplify]: iteration  8 :  329  enodes  (cost  8 )
0.527 * * [simplify]: iteration  9 :  1779  enodes  (cost  8 )
28.729 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
28.729 * [simplify]: Simplified to:
   (+ (- (exp x) 2.0) (exp (- x)))
28.729 * * [progress]: iteration 1 / 4
28.729 * * * [progress]: picking best candidate
28.732 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (exp x) 2.0) (exp (- x))))>
28.732 * * * [progress]: localizing error
28.738 * * * [progress]: generating rewritten candidates
28.738 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
28.766 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
28.774 * * * [progress]: generating series expansions
28.774 * * * * [progress]: [ 1 / 2 ] generating series at (2)
28.774 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0
28.774 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x
28.774 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
28.774 * [taylor]: Taking taylor expansion of (exp x) in x
28.774 * [taylor]: Taking taylor expansion of x in x
28.774 * [taylor]: Taking taylor expansion of (exp (- x)) in x
28.774 * [taylor]: Taking taylor expansion of (- x) in x
28.774 * [taylor]: Taking taylor expansion of x in x
28.775 * [taylor]: Taking taylor expansion of 2.0 in x
28.775 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x
28.775 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
28.775 * [taylor]: Taking taylor expansion of (exp x) in x
28.775 * [taylor]: Taking taylor expansion of x in x
28.775 * [taylor]: Taking taylor expansion of (exp (- x)) in x
28.775 * [taylor]: Taking taylor expansion of (- x) in x
28.775 * [taylor]: Taking taylor expansion of x in x
28.775 * [taylor]: Taking taylor expansion of 2.0 in x
28.815 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0
28.815 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x
28.815 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
28.815 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.815 * [taylor]: Taking taylor expansion of x in x
28.816 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
28.816 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
28.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.816 * [taylor]: Taking taylor expansion of x in x
28.816 * [taylor]: Taking taylor expansion of 2.0 in x
28.816 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x
28.816 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
28.816 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.816 * [taylor]: Taking taylor expansion of x in x
28.817 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
28.817 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
28.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.817 * [taylor]: Taking taylor expansion of x in x
28.817 * [taylor]: Taking taylor expansion of 2.0 in x
28.822 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0
28.822 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
28.822 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
28.822 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.822 * [taylor]: Taking taylor expansion of x in x
28.823 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
28.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
28.823 * [taylor]: Taking taylor expansion of -1 in x
28.823 * [taylor]: Taking taylor expansion of x in x
28.823 * [taylor]: Taking taylor expansion of 2.0 in x
28.823 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
28.823 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
28.823 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.823 * [taylor]: Taking taylor expansion of x in x
28.823 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
28.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x
28.824 * [taylor]: Taking taylor expansion of -1 in x
28.824 * [taylor]: Taking taylor expansion of x in x
28.824 * [taylor]: Taking taylor expansion of 2.0 in x
28.829 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
28.829 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0
28.829 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
28.829 * [taylor]: Taking taylor expansion of (exp x) in x
28.829 * [taylor]: Taking taylor expansion of x in x
28.829 * [taylor]: Taking taylor expansion of 2.0 in x
28.829 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
28.829 * [taylor]: Taking taylor expansion of (exp x) in x
28.829 * [taylor]: Taking taylor expansion of x in x
28.829 * [taylor]: Taking taylor expansion of 2.0 in x
28.833 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0
28.833 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
28.833 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.833 * [taylor]: Taking taylor expansion of x in x
28.833 * [taylor]: Taking taylor expansion of 2.0 in x
28.833 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
28.833 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
28.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.833 * [taylor]: Taking taylor expansion of x in x
28.834 * [taylor]: Taking taylor expansion of 2.0 in x
28.837 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0
28.837 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
28.837 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
28.837 * [taylor]: Taking taylor expansion of (/ -1 x) in x
28.837 * [taylor]: Taking taylor expansion of -1 in x
28.837 * [taylor]: Taking taylor expansion of x in x
28.838 * [taylor]: Taking taylor expansion of 2.0 in x
28.838 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
28.838 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
28.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x
28.838 * [taylor]: Taking taylor expansion of -1 in x
28.838 * [taylor]: Taking taylor expansion of x in x
28.838 * [taylor]: Taking taylor expansion of 2.0 in x
28.841 * * * [progress]: simplifying candidates
28.842 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (- (exp x) 2.0) (exp (- x))))
  (log1p (+ (- (exp x) 2.0) (exp (- x))))
  (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (- x))))
  (* (exp (- (exp x) 2.0)) (exp (exp (- x))))
  (log (+ (- (exp x) 2.0) (exp (- x))))
  (exp (+ (- (exp x) 2.0) (exp (- x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (- x))))
  (* (* (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x)))) (+ (- (exp x) 2.0) (exp (- x))))
  (sqrt (+ (- (exp x) 2.0) (exp (- x))))
  (sqrt (+ (- (exp x) 2.0) (exp (- x))))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0)))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1))
  (* (+ (exp x) 2.0) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0)))
  (* (+ (exp x) 2.0) (exp x))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3))
  (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (- x)) (exp (- x))) (* (- (exp x) 2.0) (exp (- x)))))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x))))
  (- (- (exp x) 2.0) (exp (- x)))
  (+ (- (exp x) 2.0) (exp (- x)))
  (+ (- (exp x) 2.0) (exp (- x)))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x)))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x)))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x)))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x)))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x)))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x)))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x)))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x)))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x)))
  (+ (- 2.0) (exp (- x)))
  (+ (- 2.0) (exp (- x)))
  (- 2.0 (exp (- x)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0))))
  (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 2.0 1)))
  (fma (- 2.0) 1 (* 2.0 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0))))
  (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0)))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 2.0 1)))
  (fma (- 2.0) 1 (* 2.0 1))
  (fma 1 (exp x) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (fma 1 (exp x) (- (* (sqrt 2.0) (sqrt 2.0))))
  (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0)))
  (fma 1 (exp x) (- (* 2.0 1)))
  (fma (- 2.0) 1 (* 2.0 1))
  (expm1 (- (exp x) 2.0))
  (log1p (- (exp x) 2.0))
  (- 2.0)
  (- 2.0)
  (- 2.0)
  (/ (exp (exp x)) (exp 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
  (- 2.0)
  (- (* (exp x) (exp x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (- 2.0)
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (- (+ (exp x) (exp (- x))) 2.0)
  (- (+ (exp (* -1 x)) (exp x)) 2.0)
  (- (+ (* 1/2 (pow x 2)) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
28.849 * * [simplify]: iteration  0 :  124  enodes  (cost  914 )
28.869 * * [simplify]: iteration  1 :  288  enodes  (cost  729 )
28.932 * * [simplify]: iteration  2 :  908  enodes  (cost  619 )
29.322 * * [simplify]: iteration  3 :  4859  enodes  (cost  557 )
32.255 * * [simplify]: iteration  done :  5000  enodes  (cost  557 )
32.255 * [simplify]: Simplified to:
   (expm1 (+ (- (exp x) 2.0) (exp (- x))))
  (log1p (+ (- (exp x) 2.0) (exp (- x))))
  (exp (+ (- (exp x) 2.0) (exp (- x))))
  (exp (+ (- (exp x) 2.0) (exp (- x))))
  (log (+ (- (exp x) 2.0) (exp (- x))))
  (exp (+ (- (exp x) 2.0) (exp (- x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (- x))))
  (pow (- (+ (exp x) (exp (- x))) 2.0) 3)
  (sqrt (+ (- (exp x) 2.0) (exp (- x))))
  (sqrt (+ (- (exp x) 2.0) (exp (- x))))
  (fma (+ (exp x) 2.0) 2.0 (* (exp x) (+ (exp x) (- (pow (exp x) 3) (pow 2.0 3)))))
  (* (exp x) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))
  (fma (+ (exp x) 2.0) 2.0 (* (exp x) (+ (exp x) (- (pow (exp x) 3) (pow 2.0 3)))))
  (* (exp x) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (+ (exp (* x -3)) (pow (- (exp x) 2.0) 3))
  (+ (pow (exp x) -2) (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (- x)))))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* x -2)))
  (- (- (exp x) 2.0) (exp (- x)))
  (- (+ (exp x) (exp (- x))) 2.0)
  (- (+ (exp x) (exp (- x))) 2.0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (+ (exp (- x)) 0)
  (- (exp (- x)) 2.0)
  (- (exp (- x)) 2.0)
  (- 2.0 (exp (- x)))
  (- (pow (cbrt (exp x)) 3) 2.0)
  0
  (- (pow (cbrt (exp x)) 3) 2.0)
  0
  (- (pow (cbrt (exp x)) 3) 2.0)
  0
  (- (exp x) 2.0)
  0
  (- (exp x) 2.0)
  0
  (- (exp x) 2.0)
  0
  (- (exp x) 2.0)
  0
  (- (exp x) 2.0)
  0
  (- (exp x) 2.0)
  0
  (expm1 (- (exp x) 2.0))
  (log1p (- (exp x) 2.0))
  (- 2.0)
  (- 2.0)
  (- 2.0)
  (exp (- (exp x) 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (pow (- (exp x) 2.0) 3)
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))
  (- 2.0)
  (- (exp (+ x x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (- 2.0)
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (- (+ (exp x) (exp (- x))) 2.0)
  (- (+ (exp x) (exp (- x))) 2.0)
  (- (fma 1/2 (pow x 2) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
32.256 * * * [progress]: adding candidates to table
32.413 * * [progress]: iteration 2 / 4
32.413 * * * [progress]: picking best candidate
32.416 * * * * [pick]: Picked  #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))>
32.416 * * * [progress]: localizing error
32.425 * * * [progress]: generating rewritten candidates
32.425 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 3)
32.430 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
32.431 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3)
32.435 * * * [progress]: generating series expansions
32.435 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 3)
32.435 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
32.435 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.435 * [taylor]: Taking taylor expansion of 1/12 in x
32.435 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.435 * [taylor]: Taking taylor expansion of x in x
32.435 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.435 * [taylor]: Taking taylor expansion of 1/12 in x
32.435 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.435 * [taylor]: Taking taylor expansion of x in x
32.447 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
32.447 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.447 * [taylor]: Taking taylor expansion of 1/12 in x
32.447 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.447 * [taylor]: Taking taylor expansion of x in x
32.448 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.448 * [taylor]: Taking taylor expansion of 1/12 in x
32.448 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.448 * [taylor]: Taking taylor expansion of x in x
32.459 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
32.459 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.459 * [taylor]: Taking taylor expansion of 1/12 in x
32.459 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.459 * [taylor]: Taking taylor expansion of x in x
32.460 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.460 * [taylor]: Taking taylor expansion of 1/12 in x
32.460 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.460 * [taylor]: Taking taylor expansion of x in x
32.471 * * * * [progress]: [ 2 / 3 ] generating series at (2)
32.471 * [approximate]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in (x) around 0
32.471 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
32.471 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
32.471 * [taylor]: Taking taylor expansion of (* x x) in x
32.471 * [taylor]: Taking taylor expansion of x in x
32.471 * [taylor]: Taking taylor expansion of x in x
32.471 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
32.472 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
32.472 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
32.472 * [taylor]: Taking taylor expansion of 1/360 in x
32.472 * [taylor]: Taking taylor expansion of (pow x 6) in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.472 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.472 * [taylor]: Taking taylor expansion of 1/12 in x
32.472 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.472 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
32.472 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
32.472 * [taylor]: Taking taylor expansion of (* x x) in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.472 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
32.472 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
32.472 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
32.472 * [taylor]: Taking taylor expansion of 1/360 in x
32.472 * [taylor]: Taking taylor expansion of (pow x 6) in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.472 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.472 * [taylor]: Taking taylor expansion of 1/12 in x
32.472 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.472 * [taylor]: Taking taylor expansion of x in x
32.483 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
32.483 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
32.483 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
32.483 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
32.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.483 * [taylor]: Taking taylor expansion of x in x
32.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.484 * [taylor]: Taking taylor expansion of x in x
32.484 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
32.484 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
32.484 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
32.484 * [taylor]: Taking taylor expansion of 1/360 in x
32.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
32.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.484 * [taylor]: Taking taylor expansion of x in x
32.484 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.484 * [taylor]: Taking taylor expansion of 1/12 in x
32.484 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.484 * [taylor]: Taking taylor expansion of x in x
32.485 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
32.485 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
32.485 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
32.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.485 * [taylor]: Taking taylor expansion of x in x
32.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.485 * [taylor]: Taking taylor expansion of x in x
32.486 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
32.486 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
32.486 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
32.486 * [taylor]: Taking taylor expansion of 1/360 in x
32.486 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
32.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.486 * [taylor]: Taking taylor expansion of x in x
32.486 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.486 * [taylor]: Taking taylor expansion of 1/12 in x
32.486 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.486 * [taylor]: Taking taylor expansion of x in x
32.504 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
32.504 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
32.504 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
32.504 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
32.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.504 * [taylor]: Taking taylor expansion of -1 in x
32.504 * [taylor]: Taking taylor expansion of x in x
32.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.504 * [taylor]: Taking taylor expansion of -1 in x
32.505 * [taylor]: Taking taylor expansion of x in x
32.505 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
32.505 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
32.505 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
32.505 * [taylor]: Taking taylor expansion of 1/360 in x
32.505 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
32.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.505 * [taylor]: Taking taylor expansion of -1 in x
32.505 * [taylor]: Taking taylor expansion of x in x
32.505 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.505 * [taylor]: Taking taylor expansion of 1/12 in x
32.505 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.505 * [taylor]: Taking taylor expansion of x in x
32.506 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
32.506 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
32.506 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
32.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.506 * [taylor]: Taking taylor expansion of -1 in x
32.506 * [taylor]: Taking taylor expansion of x in x
32.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.507 * [taylor]: Taking taylor expansion of -1 in x
32.507 * [taylor]: Taking taylor expansion of x in x
32.507 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
32.507 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
32.507 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
32.507 * [taylor]: Taking taylor expansion of 1/360 in x
32.507 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
32.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.507 * [taylor]: Taking taylor expansion of -1 in x
32.507 * [taylor]: Taking taylor expansion of x in x
32.507 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.507 * [taylor]: Taking taylor expansion of 1/12 in x
32.507 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.507 * [taylor]: Taking taylor expansion of x in x
32.528 * * * * [progress]: [ 3 / 3 ] generating series at (2 3)
32.528 * [approximate]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in (x) around 0
32.528 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
32.528 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
32.528 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
32.528 * [taylor]: Taking taylor expansion of 1/360 in x
32.528 * [taylor]: Taking taylor expansion of (pow x 6) in x
32.528 * [taylor]: Taking taylor expansion of x in x
32.528 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.528 * [taylor]: Taking taylor expansion of 1/12 in x
32.528 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.528 * [taylor]: Taking taylor expansion of x in x
32.528 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
32.528 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
32.528 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
32.528 * [taylor]: Taking taylor expansion of 1/360 in x
32.528 * [taylor]: Taking taylor expansion of (pow x 6) in x
32.528 * [taylor]: Taking taylor expansion of x in x
32.528 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
32.528 * [taylor]: Taking taylor expansion of 1/12 in x
32.528 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.528 * [taylor]: Taking taylor expansion of x in x
32.563 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0
32.563 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
32.563 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
32.563 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
32.563 * [taylor]: Taking taylor expansion of 1/360 in x
32.563 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
32.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.563 * [taylor]: Taking taylor expansion of x in x
32.563 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.563 * [taylor]: Taking taylor expansion of 1/12 in x
32.563 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.563 * [taylor]: Taking taylor expansion of x in x
32.564 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
32.564 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
32.564 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
32.564 * [taylor]: Taking taylor expansion of 1/360 in x
32.564 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
32.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
32.564 * [taylor]: Taking taylor expansion of x in x
32.565 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.565 * [taylor]: Taking taylor expansion of 1/12 in x
32.565 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.565 * [taylor]: Taking taylor expansion of x in x
32.607 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0
32.607 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
32.607 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
32.607 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
32.607 * [taylor]: Taking taylor expansion of 1/360 in x
32.607 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
32.607 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.607 * [taylor]: Taking taylor expansion of -1 in x
32.607 * [taylor]: Taking taylor expansion of x in x
32.607 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.608 * [taylor]: Taking taylor expansion of 1/12 in x
32.608 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.608 * [taylor]: Taking taylor expansion of x in x
32.608 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
32.608 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
32.608 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
32.608 * [taylor]: Taking taylor expansion of 1/360 in x
32.608 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
32.608 * [taylor]: Taking taylor expansion of (/ -1 x) in x
32.608 * [taylor]: Taking taylor expansion of -1 in x
32.608 * [taylor]: Taking taylor expansion of x in x
32.609 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
32.609 * [taylor]: Taking taylor expansion of 1/12 in x
32.609 * [taylor]: Taking taylor expansion of (pow x 4) in x
32.609 * [taylor]: Taking taylor expansion of x in x
32.648 * * * [progress]: simplifying candidates
32.649 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* 1/12 (pow x 4)))
  (log1p (* 1/12 (pow x 4)))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (log (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow (sqrt x) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  (* 1/12 1)
  (* 1/12 (pow x (/ 4 2)))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* x x)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* (* (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* 1/360 (pow x 6))
  (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (* (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
32.651 * * [simplify]: iteration  0 :  80  enodes  (cost  619 )
32.669 * * [simplify]: iteration  1 :  148  enodes  (cost  581 )
32.709 * * [simplify]: iteration  2 :  498  enodes  (cost  529 )
32.935 * * [simplify]: iteration  3 :  2541  enodes  (cost  526 )
34.700 * * [simplify]: iteration  done :  5000  enodes  (cost  526 )
34.700 * [simplify]: Simplified to:
   (expm1 (* 1/12 (pow x 4)))
  (log1p (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (pow (pow x 4) 3) 1/1728)
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (pow (pow x 4) 3) 1/1728)
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (pow x 2) (sqrt 1/12))
  (* (pow x 2) (sqrt 1/12))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (pow x 2) (sqrt 1/12))
  (* (pow x 2) (sqrt 1/12))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* (* x x) 1/12)
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* (* x x) 1/12)
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* x x)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (pow (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 3)
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* 1/360 (pow x 6))
  (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (pow (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) 3)
  (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))
  (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))
  (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))
34.701 * * * [progress]: adding candidates to table
34.837 * * [progress]: iteration 3 / 4
34.837 * * * [progress]: picking best candidate
34.842 * * * * [pick]: Picked  #<alt (λ (x) (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))>
34.842 * * * [progress]: localizing error
34.855 * * * [progress]: generating rewritten candidates
34.855 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
34.855 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
34.857 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3 3)
34.862 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
34.864 * * * [progress]: generating series expansions
34.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
34.864 * [approximate]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in (x) around 0
34.864 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
34.864 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
34.864 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
34.864 * [taylor]: Taking taylor expansion of (* x x) in x
34.864 * [taylor]: Taking taylor expansion of x in x
34.864 * [taylor]: Taking taylor expansion of x in x
34.864 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
34.865 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
34.865 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
34.865 * [taylor]: Taking taylor expansion of 1/360 in x
34.865 * [taylor]: Taking taylor expansion of (pow x 6) in x
34.865 * [taylor]: Taking taylor expansion of x in x
34.865 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
34.865 * [taylor]: Taking taylor expansion of 1/12 in x
34.865 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.865 * [taylor]: Taking taylor expansion of x in x
34.867 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
34.867 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
34.867 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
34.867 * [taylor]: Taking taylor expansion of (* x x) in x
34.867 * [taylor]: Taking taylor expansion of x in x
34.867 * [taylor]: Taking taylor expansion of x in x
34.867 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
34.867 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
34.867 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
34.867 * [taylor]: Taking taylor expansion of 1/360 in x
34.867 * [taylor]: Taking taylor expansion of (pow x 6) in x
34.867 * [taylor]: Taking taylor expansion of x in x
34.867 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
34.867 * [taylor]: Taking taylor expansion of 1/12 in x
34.867 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.867 * [taylor]: Taking taylor expansion of x in x
34.893 * [approximate]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
34.894 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
34.894 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
34.894 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
34.894 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.894 * [taylor]: Taking taylor expansion of x in x
34.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.894 * [taylor]: Taking taylor expansion of x in x
34.894 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
34.894 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
34.894 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
34.894 * [taylor]: Taking taylor expansion of 1/360 in x
34.894 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
34.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.895 * [taylor]: Taking taylor expansion of x in x
34.895 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.895 * [taylor]: Taking taylor expansion of 1/12 in x
34.895 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.895 * [taylor]: Taking taylor expansion of x in x
34.897 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
34.897 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
34.897 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
34.897 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.898 * [taylor]: Taking taylor expansion of x in x
34.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.898 * [taylor]: Taking taylor expansion of x in x
34.898 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
34.898 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
34.898 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
34.898 * [taylor]: Taking taylor expansion of 1/360 in x
34.898 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
34.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.898 * [taylor]: Taking taylor expansion of x in x
34.899 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.899 * [taylor]: Taking taylor expansion of 1/12 in x
34.899 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.899 * [taylor]: Taking taylor expansion of x in x
34.928 * [approximate]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
34.928 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
34.928 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
34.928 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
34.928 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
34.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.928 * [taylor]: Taking taylor expansion of -1 in x
34.928 * [taylor]: Taking taylor expansion of x in x
34.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.929 * [taylor]: Taking taylor expansion of -1 in x
34.929 * [taylor]: Taking taylor expansion of x in x
34.929 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
34.929 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
34.929 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
34.929 * [taylor]: Taking taylor expansion of 1/360 in x
34.929 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
34.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.929 * [taylor]: Taking taylor expansion of -1 in x
34.929 * [taylor]: Taking taylor expansion of x in x
34.929 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.929 * [taylor]: Taking taylor expansion of 1/12 in x
34.929 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.929 * [taylor]: Taking taylor expansion of x in x
34.932 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
34.932 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
34.932 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
34.932 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
34.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.932 * [taylor]: Taking taylor expansion of -1 in x
34.932 * [taylor]: Taking taylor expansion of x in x
34.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.932 * [taylor]: Taking taylor expansion of -1 in x
34.932 * [taylor]: Taking taylor expansion of x in x
34.933 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
34.933 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
34.933 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
34.933 * [taylor]: Taking taylor expansion of 1/360 in x
34.933 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
34.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.933 * [taylor]: Taking taylor expansion of -1 in x
34.933 * [taylor]: Taking taylor expansion of x in x
34.933 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.933 * [taylor]: Taking taylor expansion of 1/12 in x
34.933 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.933 * [taylor]: Taking taylor expansion of x in x
34.963 * * * * [progress]: [ 2 / 4 ] generating series at (2)
34.963 * [approximate]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in (x) around 0
34.963 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
34.963 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
34.963 * [taylor]: Taking taylor expansion of (* x x) in x
34.963 * [taylor]: Taking taylor expansion of x in x
34.963 * [taylor]: Taking taylor expansion of x in x
34.963 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
34.963 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
34.963 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
34.963 * [taylor]: Taking taylor expansion of 1/360 in x
34.963 * [taylor]: Taking taylor expansion of (pow x 6) in x
34.963 * [taylor]: Taking taylor expansion of x in x
34.963 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
34.963 * [taylor]: Taking taylor expansion of 1/12 in x
34.963 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.964 * [taylor]: Taking taylor expansion of x in x
34.964 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
34.964 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
34.964 * [taylor]: Taking taylor expansion of (* x x) in x
34.964 * [taylor]: Taking taylor expansion of x in x
34.964 * [taylor]: Taking taylor expansion of x in x
34.964 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
34.964 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
34.964 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
34.964 * [taylor]: Taking taylor expansion of 1/360 in x
34.964 * [taylor]: Taking taylor expansion of (pow x 6) in x
34.964 * [taylor]: Taking taylor expansion of x in x
34.964 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
34.964 * [taylor]: Taking taylor expansion of 1/12 in x
34.964 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.964 * [taylor]: Taking taylor expansion of x in x
34.980 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
34.980 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
34.980 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
34.980 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.980 * [taylor]: Taking taylor expansion of x in x
34.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.980 * [taylor]: Taking taylor expansion of x in x
34.980 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
34.981 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
34.981 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
34.981 * [taylor]: Taking taylor expansion of 1/360 in x
34.981 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
34.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.981 * [taylor]: Taking taylor expansion of x in x
34.981 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.981 * [taylor]: Taking taylor expansion of 1/12 in x
34.981 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.981 * [taylor]: Taking taylor expansion of x in x
34.982 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
34.982 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
34.982 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.982 * [taylor]: Taking taylor expansion of x in x
34.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.982 * [taylor]: Taking taylor expansion of x in x
34.982 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
34.983 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
34.983 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
34.983 * [taylor]: Taking taylor expansion of 1/360 in x
34.983 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
34.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.983 * [taylor]: Taking taylor expansion of x in x
34.983 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
34.983 * [taylor]: Taking taylor expansion of 1/12 in x
34.983 * [taylor]: Taking taylor expansion of (pow x 4) in x
34.983 * [taylor]: Taking taylor expansion of x in x
35.001 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
35.001 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
35.001 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
35.001 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
35.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.001 * [taylor]: Taking taylor expansion of -1 in x
35.001 * [taylor]: Taking taylor expansion of x in x
35.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.001 * [taylor]: Taking taylor expansion of -1 in x
35.001 * [taylor]: Taking taylor expansion of x in x
35.001 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
35.002 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
35.002 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
35.002 * [taylor]: Taking taylor expansion of 1/360 in x
35.002 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
35.002 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.002 * [taylor]: Taking taylor expansion of -1 in x
35.002 * [taylor]: Taking taylor expansion of x in x
35.002 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.002 * [taylor]: Taking taylor expansion of 1/12 in x
35.002 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.002 * [taylor]: Taking taylor expansion of x in x
35.003 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
35.003 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
35.003 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
35.003 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.003 * [taylor]: Taking taylor expansion of -1 in x
35.003 * [taylor]: Taking taylor expansion of x in x
35.003 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.003 * [taylor]: Taking taylor expansion of -1 in x
35.003 * [taylor]: Taking taylor expansion of x in x
35.004 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
35.004 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
35.004 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
35.004 * [taylor]: Taking taylor expansion of 1/360 in x
35.004 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
35.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.004 * [taylor]: Taking taylor expansion of -1 in x
35.004 * [taylor]: Taking taylor expansion of x in x
35.004 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.004 * [taylor]: Taking taylor expansion of 1/12 in x
35.004 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.004 * [taylor]: Taking taylor expansion of x in x
35.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3 3)
35.022 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
35.022 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
35.022 * [taylor]: Taking taylor expansion of 1/12 in x
35.022 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.022 * [taylor]: Taking taylor expansion of x in x
35.022 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
35.022 * [taylor]: Taking taylor expansion of 1/12 in x
35.022 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.022 * [taylor]: Taking taylor expansion of x in x
35.034 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
35.034 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.034 * [taylor]: Taking taylor expansion of 1/12 in x
35.034 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.034 * [taylor]: Taking taylor expansion of x in x
35.035 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.035 * [taylor]: Taking taylor expansion of 1/12 in x
35.035 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.035 * [taylor]: Taking taylor expansion of x in x
35.046 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
35.046 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.046 * [taylor]: Taking taylor expansion of 1/12 in x
35.046 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.046 * [taylor]: Taking taylor expansion of x in x
35.047 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.047 * [taylor]: Taking taylor expansion of 1/12 in x
35.047 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.047 * [taylor]: Taking taylor expansion of x in x
35.063 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
35.063 * [approximate]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in (x) around 0
35.063 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
35.063 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
35.063 * [taylor]: Taking taylor expansion of (* x x) in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.063 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
35.063 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
35.063 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
35.063 * [taylor]: Taking taylor expansion of 1/360 in x
35.063 * [taylor]: Taking taylor expansion of (pow x 6) in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.063 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
35.063 * [taylor]: Taking taylor expansion of 1/12 in x
35.063 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.063 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
35.063 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
35.063 * [taylor]: Taking taylor expansion of (* x x) in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.063 * [taylor]: Taking taylor expansion of x in x
35.064 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
35.064 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
35.064 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
35.064 * [taylor]: Taking taylor expansion of 1/360 in x
35.064 * [taylor]: Taking taylor expansion of (pow x 6) in x
35.064 * [taylor]: Taking taylor expansion of x in x
35.064 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
35.064 * [taylor]: Taking taylor expansion of 1/12 in x
35.064 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.064 * [taylor]: Taking taylor expansion of x in x
35.074 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
35.075 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
35.075 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
35.075 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
35.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.075 * [taylor]: Taking taylor expansion of x in x
35.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.075 * [taylor]: Taking taylor expansion of x in x
35.075 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
35.075 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
35.075 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
35.075 * [taylor]: Taking taylor expansion of 1/360 in x
35.075 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
35.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.075 * [taylor]: Taking taylor expansion of x in x
35.076 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.076 * [taylor]: Taking taylor expansion of 1/12 in x
35.076 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.076 * [taylor]: Taking taylor expansion of x in x
35.076 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
35.077 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
35.077 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
35.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.077 * [taylor]: Taking taylor expansion of x in x
35.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.077 * [taylor]: Taking taylor expansion of x in x
35.077 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
35.077 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
35.077 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
35.077 * [taylor]: Taking taylor expansion of 1/360 in x
35.077 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
35.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
35.077 * [taylor]: Taking taylor expansion of x in x
35.078 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.078 * [taylor]: Taking taylor expansion of 1/12 in x
35.078 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.078 * [taylor]: Taking taylor expansion of x in x
35.096 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0
35.096 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
35.096 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
35.096 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
35.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.096 * [taylor]: Taking taylor expansion of -1 in x
35.096 * [taylor]: Taking taylor expansion of x in x
35.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.096 * [taylor]: Taking taylor expansion of -1 in x
35.096 * [taylor]: Taking taylor expansion of x in x
35.097 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
35.097 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
35.097 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
35.097 * [taylor]: Taking taylor expansion of 1/360 in x
35.097 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
35.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.097 * [taylor]: Taking taylor expansion of -1 in x
35.097 * [taylor]: Taking taylor expansion of x in x
35.097 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.097 * [taylor]: Taking taylor expansion of 1/12 in x
35.097 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.097 * [taylor]: Taking taylor expansion of x in x
35.098 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
35.098 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
35.098 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
35.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.098 * [taylor]: Taking taylor expansion of -1 in x
35.098 * [taylor]: Taking taylor expansion of x in x
35.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.098 * [taylor]: Taking taylor expansion of -1 in x
35.098 * [taylor]: Taking taylor expansion of x in x
35.099 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
35.099 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
35.099 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
35.099 * [taylor]: Taking taylor expansion of 1/360 in x
35.099 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
35.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x
35.099 * [taylor]: Taking taylor expansion of -1 in x
35.099 * [taylor]: Taking taylor expansion of x in x
35.099 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
35.099 * [taylor]: Taking taylor expansion of 1/12 in x
35.099 * [taylor]: Taking taylor expansion of (pow x 4) in x
35.099 * [taylor]: Taking taylor expansion of x in x
35.117 * * * [progress]: simplifying candidates
35.118 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log 1)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (* (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log1p (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp 1)
  (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (exp (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp 1)
  (exp (log (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (exp (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp (log 1))
  (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (* (cbrt (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))) (cbrt (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (cbrt (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (* (* (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))) (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (sqrt (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (sqrt (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (expm1 (* 1/12 (pow x 4)))
  (log1p (* 1/12 (pow x 4)))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (log (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow (sqrt x) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  (* 1/12 1)
  (* 1/12 (pow x (/ 4 2)))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* x x)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* (* (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (- (+ (* 1/12 (pow x 2)) (* 2 (log x))) (* 1/1440 (pow x 4)))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 90 (/ 1 (pow x 4))) (* 6 (log (/ -1 x)))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
35.122 * * [simplify]: iteration  0 :  125  enodes  (cost  1186 )
35.150 * * [simplify]: iteration  1 :  240  enodes  (cost  1095 )
35.209 * * [simplify]: iteration  2 :  750  enodes  (cost  959 )
35.529 * * [simplify]: iteration  3 :  3438  enodes  (cost  956 )
37.927 * * [simplify]: iteration  done :  5000  enodes  (cost  956 )
37.927 * [simplify]: Simplified to:
   (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  0
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 3)
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  E
  (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (exp (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  E
  (exp (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  1
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (pow (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 3)
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (expm1 (* 1/12 (pow x 4)))
  (log1p (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (pow (* 1/12 (pow x 4)) 3)
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (pow (* 1/12 (pow x 4)) 3)
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* x (* x (sqrt 1/12)))
  (* x (* x (sqrt 1/12)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* x (* x (sqrt 1/12)))
  (* x (* x (sqrt 1/12)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (* x x))
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* 1/12 (* x x))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (* x x)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (exp (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))
  (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (pow (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 3)
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (fma 1/12 (pow x 2) (fma 2 (log x) (* (pow x 4) -1/1440)))
  (+ (log 1/360) (- (/ 30 (* x x)) (fma 6 (- (log x)) (/ 90 (pow x 4)))))
  (- (+ (log 1/360) (/ 30 (* x x))) (fma (log (/ -1 x)) 6 (/ 90 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
37.928 * * * [progress]: adding candidates to table
38.122 * * [progress]: iteration 4 / 4
38.122 * * * [progress]: picking best candidate
38.129 * * * * [pick]: Picked  #<alt (λ (x) (pow (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))>
38.129 * * * [progress]: localizing error
38.150 * * * [progress]: generating rewritten candidates
38.150 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
38.151 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
38.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
38.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
38.155 * * * [progress]: generating series expansions
38.155 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
38.155 * [approximate]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in (x) around 0
38.155 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.155 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.155 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.155 * [taylor]: Taking taylor expansion of (* x x) in x
38.155 * [taylor]: Taking taylor expansion of x in x
38.155 * [taylor]: Taking taylor expansion of x in x
38.155 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.155 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.155 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.155 * [taylor]: Taking taylor expansion of 1/360 in x
38.155 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.155 * [taylor]: Taking taylor expansion of x in x
38.155 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.155 * [taylor]: Taking taylor expansion of 1/12 in x
38.155 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.155 * [taylor]: Taking taylor expansion of x in x
38.157 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.157 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.157 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.157 * [taylor]: Taking taylor expansion of (* x x) in x
38.158 * [taylor]: Taking taylor expansion of x in x
38.158 * [taylor]: Taking taylor expansion of x in x
38.158 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.158 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.158 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.158 * [taylor]: Taking taylor expansion of 1/360 in x
38.158 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.158 * [taylor]: Taking taylor expansion of x in x
38.158 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.158 * [taylor]: Taking taylor expansion of 1/12 in x
38.158 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.158 * [taylor]: Taking taylor expansion of x in x
38.178 * [approximate]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.178 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.178 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.179 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.179 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.179 * [taylor]: Taking taylor expansion of x in x
38.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.179 * [taylor]: Taking taylor expansion of x in x
38.179 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.179 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.179 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.179 * [taylor]: Taking taylor expansion of 1/360 in x
38.179 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.179 * [taylor]: Taking taylor expansion of x in x
38.180 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.180 * [taylor]: Taking taylor expansion of 1/12 in x
38.180 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.180 * [taylor]: Taking taylor expansion of x in x
38.182 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.182 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.182 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.182 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.182 * [taylor]: Taking taylor expansion of x in x
38.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.182 * [taylor]: Taking taylor expansion of x in x
38.183 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.183 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.183 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.183 * [taylor]: Taking taylor expansion of 1/360 in x
38.183 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.183 * [taylor]: Taking taylor expansion of x in x
38.183 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.183 * [taylor]: Taking taylor expansion of 1/12 in x
38.183 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.183 * [taylor]: Taking taylor expansion of x in x
38.216 * [approximate]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.216 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.216 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.216 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.216 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.216 * [taylor]: Taking taylor expansion of -1 in x
38.216 * [taylor]: Taking taylor expansion of x in x
38.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.216 * [taylor]: Taking taylor expansion of -1 in x
38.216 * [taylor]: Taking taylor expansion of x in x
38.217 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.217 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.217 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.217 * [taylor]: Taking taylor expansion of 1/360 in x
38.217 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.217 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.217 * [taylor]: Taking taylor expansion of -1 in x
38.217 * [taylor]: Taking taylor expansion of x in x
38.217 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.217 * [taylor]: Taking taylor expansion of 1/12 in x
38.217 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.217 * [taylor]: Taking taylor expansion of x in x
38.219 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.220 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.220 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.220 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.220 * [taylor]: Taking taylor expansion of -1 in x
38.220 * [taylor]: Taking taylor expansion of x in x
38.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.220 * [taylor]: Taking taylor expansion of -1 in x
38.220 * [taylor]: Taking taylor expansion of x in x
38.220 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.220 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.220 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.220 * [taylor]: Taking taylor expansion of 1/360 in x
38.220 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.220 * [taylor]: Taking taylor expansion of -1 in x
38.220 * [taylor]: Taking taylor expansion of x in x
38.221 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.221 * [taylor]: Taking taylor expansion of 1/12 in x
38.221 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.221 * [taylor]: Taking taylor expansion of x in x
38.250 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
38.250 * [approximate]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in (x) around 0
38.250 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.250 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.250 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.250 * [taylor]: Taking taylor expansion of (* x x) in x
38.250 * [taylor]: Taking taylor expansion of x in x
38.250 * [taylor]: Taking taylor expansion of x in x
38.250 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.250 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.250 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.250 * [taylor]: Taking taylor expansion of 1/360 in x
38.250 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.250 * [taylor]: Taking taylor expansion of x in x
38.250 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.250 * [taylor]: Taking taylor expansion of 1/12 in x
38.250 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.250 * [taylor]: Taking taylor expansion of x in x
38.252 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.252 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.252 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.252 * [taylor]: Taking taylor expansion of (* x x) in x
38.252 * [taylor]: Taking taylor expansion of x in x
38.252 * [taylor]: Taking taylor expansion of x in x
38.252 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.252 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.252 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.252 * [taylor]: Taking taylor expansion of 1/360 in x
38.252 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.252 * [taylor]: Taking taylor expansion of x in x
38.253 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.253 * [taylor]: Taking taylor expansion of 1/12 in x
38.253 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.253 * [taylor]: Taking taylor expansion of x in x
38.273 * [approximate]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.273 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.273 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.273 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.273 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.273 * [taylor]: Taking taylor expansion of x in x
38.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.274 * [taylor]: Taking taylor expansion of x in x
38.274 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.274 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.274 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.274 * [taylor]: Taking taylor expansion of 1/360 in x
38.274 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.274 * [taylor]: Taking taylor expansion of x in x
38.274 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.274 * [taylor]: Taking taylor expansion of 1/12 in x
38.275 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.275 * [taylor]: Taking taylor expansion of x in x
38.277 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.277 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.277 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.277 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.277 * [taylor]: Taking taylor expansion of x in x
38.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.277 * [taylor]: Taking taylor expansion of x in x
38.278 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.278 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.278 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.278 * [taylor]: Taking taylor expansion of 1/360 in x
38.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.278 * [taylor]: Taking taylor expansion of x in x
38.278 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.278 * [taylor]: Taking taylor expansion of 1/12 in x
38.278 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.278 * [taylor]: Taking taylor expansion of x in x
38.312 * [approximate]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.312 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.312 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.312 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.312 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.312 * [taylor]: Taking taylor expansion of -1 in x
38.312 * [taylor]: Taking taylor expansion of x in x
38.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.313 * [taylor]: Taking taylor expansion of -1 in x
38.313 * [taylor]: Taking taylor expansion of x in x
38.313 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.313 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.313 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.313 * [taylor]: Taking taylor expansion of 1/360 in x
38.313 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.313 * [taylor]: Taking taylor expansion of -1 in x
38.313 * [taylor]: Taking taylor expansion of x in x
38.313 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.313 * [taylor]: Taking taylor expansion of 1/12 in x
38.313 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.314 * [taylor]: Taking taylor expansion of x in x
38.316 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.316 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.316 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.316 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.316 * [taylor]: Taking taylor expansion of -1 in x
38.316 * [taylor]: Taking taylor expansion of x in x
38.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.316 * [taylor]: Taking taylor expansion of -1 in x
38.316 * [taylor]: Taking taylor expansion of x in x
38.317 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.317 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.317 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.317 * [taylor]: Taking taylor expansion of 1/360 in x
38.317 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.317 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.317 * [taylor]: Taking taylor expansion of -1 in x
38.317 * [taylor]: Taking taylor expansion of x in x
38.317 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.317 * [taylor]: Taking taylor expansion of 1/12 in x
38.317 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.317 * [taylor]: Taking taylor expansion of x in x
38.346 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
38.346 * [approximate]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in (x) around 0
38.346 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.346 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.346 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.346 * [taylor]: Taking taylor expansion of (* x x) in x
38.346 * [taylor]: Taking taylor expansion of x in x
38.346 * [taylor]: Taking taylor expansion of x in x
38.346 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.346 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.346 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.346 * [taylor]: Taking taylor expansion of 1/360 in x
38.346 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.346 * [taylor]: Taking taylor expansion of x in x
38.346 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.346 * [taylor]: Taking taylor expansion of 1/12 in x
38.346 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.346 * [taylor]: Taking taylor expansion of x in x
38.348 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.348 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.348 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.348 * [taylor]: Taking taylor expansion of (* x x) in x
38.348 * [taylor]: Taking taylor expansion of x in x
38.348 * [taylor]: Taking taylor expansion of x in x
38.348 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.348 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.348 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.348 * [taylor]: Taking taylor expansion of 1/360 in x
38.348 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.348 * [taylor]: Taking taylor expansion of x in x
38.348 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.348 * [taylor]: Taking taylor expansion of 1/12 in x
38.348 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.348 * [taylor]: Taking taylor expansion of x in x
38.374 * [approximate]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.374 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.374 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.374 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.374 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.374 * [taylor]: Taking taylor expansion of x in x
38.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.374 * [taylor]: Taking taylor expansion of x in x
38.375 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.375 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.375 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.375 * [taylor]: Taking taylor expansion of 1/360 in x
38.375 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.375 * [taylor]: Taking taylor expansion of x in x
38.375 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.375 * [taylor]: Taking taylor expansion of 1/12 in x
38.375 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.375 * [taylor]: Taking taylor expansion of x in x
38.377 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.377 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.377 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.378 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.378 * [taylor]: Taking taylor expansion of x in x
38.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.378 * [taylor]: Taking taylor expansion of x in x
38.378 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.378 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.378 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.378 * [taylor]: Taking taylor expansion of 1/360 in x
38.378 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.378 * [taylor]: Taking taylor expansion of x in x
38.379 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.379 * [taylor]: Taking taylor expansion of 1/12 in x
38.379 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.379 * [taylor]: Taking taylor expansion of x in x
38.407 * [approximate]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in (x) around 0
38.407 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.407 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.407 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.407 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.407 * [taylor]: Taking taylor expansion of -1 in x
38.407 * [taylor]: Taking taylor expansion of x in x
38.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.407 * [taylor]: Taking taylor expansion of -1 in x
38.407 * [taylor]: Taking taylor expansion of x in x
38.408 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.408 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.408 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.408 * [taylor]: Taking taylor expansion of 1/360 in x
38.408 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.408 * [taylor]: Taking taylor expansion of -1 in x
38.408 * [taylor]: Taking taylor expansion of x in x
38.408 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.408 * [taylor]: Taking taylor expansion of 1/12 in x
38.408 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.408 * [taylor]: Taking taylor expansion of x in x
38.411 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.411 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.411 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.411 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.411 * [taylor]: Taking taylor expansion of -1 in x
38.411 * [taylor]: Taking taylor expansion of x in x
38.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.411 * [taylor]: Taking taylor expansion of -1 in x
38.411 * [taylor]: Taking taylor expansion of x in x
38.411 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.412 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.412 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.412 * [taylor]: Taking taylor expansion of 1/360 in x
38.412 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.412 * [taylor]: Taking taylor expansion of -1 in x
38.412 * [taylor]: Taking taylor expansion of x in x
38.412 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.412 * [taylor]: Taking taylor expansion of 1/12 in x
38.412 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.412 * [taylor]: Taking taylor expansion of x in x
38.445 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
38.446 * [approximate]: Taking taylor expansion of (exp (pow (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) 1/3)) in (x) around 0
38.446 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) 1/3)) in x
38.446 * [taylor]: Taking taylor expansion of (pow (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) 1/3) in x
38.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2)))) in x
38.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2))) in x
38.446 * [taylor]: Taking taylor expansion of 1/3 in x
38.446 * [taylor]: Taking taylor expansion of (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2)) in x
38.446 * [taylor]: Taking taylor expansion of (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) in x
38.446 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.446 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.446 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.446 * [taylor]: Taking taylor expansion of (* x x) in x
38.446 * [taylor]: Taking taylor expansion of x in x
38.446 * [taylor]: Taking taylor expansion of x in x
38.446 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.446 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.446 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.446 * [taylor]: Taking taylor expansion of 1/360 in x
38.446 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.446 * [taylor]: Taking taylor expansion of x in x
38.446 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.446 * [taylor]: Taking taylor expansion of 1/12 in x
38.446 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.446 * [taylor]: Taking taylor expansion of x in x
38.449 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) 1/3)) in x
38.449 * [taylor]: Taking taylor expansion of (pow (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) 1/3) in x
38.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2)))) in x
38.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2))) in x
38.449 * [taylor]: Taking taylor expansion of 1/3 in x
38.449 * [taylor]: Taking taylor expansion of (log (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2)) in x
38.449 * [taylor]: Taking taylor expansion of (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 2) in x
38.449 * [taylor]: Taking taylor expansion of (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) in x
38.449 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x
38.449 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
38.449 * [taylor]: Taking taylor expansion of (* x x) in x
38.450 * [taylor]: Taking taylor expansion of x in x
38.450 * [taylor]: Taking taylor expansion of x in x
38.450 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
38.450 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
38.450 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
38.450 * [taylor]: Taking taylor expansion of 1/360 in x
38.450 * [taylor]: Taking taylor expansion of (pow x 6) in x
38.450 * [taylor]: Taking taylor expansion of x in x
38.450 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
38.450 * [taylor]: Taking taylor expansion of 1/12 in x
38.450 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.450 * [taylor]: Taking taylor expansion of x in x
38.493 * [approximate]: Taking taylor expansion of (exp (pow (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in (x) around 0
38.493 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in x
38.494 * [taylor]: Taking taylor expansion of (pow (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3) in x
38.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2)))) in x
38.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2))) in x
38.494 * [taylor]: Taking taylor expansion of 1/3 in x
38.494 * [taylor]: Taking taylor expansion of (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2)) in x
38.494 * [taylor]: Taking taylor expansion of (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) in x
38.494 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.494 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.494 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.494 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.494 * [taylor]: Taking taylor expansion of x in x
38.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.494 * [taylor]: Taking taylor expansion of x in x
38.494 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.494 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.494 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.494 * [taylor]: Taking taylor expansion of 1/360 in x
38.494 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.495 * [taylor]: Taking taylor expansion of x in x
38.495 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.495 * [taylor]: Taking taylor expansion of 1/12 in x
38.495 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.495 * [taylor]: Taking taylor expansion of x in x
38.500 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in x
38.500 * [taylor]: Taking taylor expansion of (pow (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3) in x
38.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2)))) in x
38.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2))) in x
38.501 * [taylor]: Taking taylor expansion of 1/3 in x
38.501 * [taylor]: Taking taylor expansion of (log (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2)) in x
38.501 * [taylor]: Taking taylor expansion of (pow (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) 2) in x
38.501 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))) in x
38.501 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x
38.501 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))))
38.501 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.501 * [taylor]: Taking taylor expansion of x in x
38.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.501 * [taylor]: Taking taylor expansion of x in x
38.501 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
38.501 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
38.501 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
38.501 * [taylor]: Taking taylor expansion of 1/360 in x
38.501 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
38.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.502 * [taylor]: Taking taylor expansion of x in x
38.502 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.502 * [taylor]: Taking taylor expansion of 1/12 in x
38.502 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.502 * [taylor]: Taking taylor expansion of x in x
38.619 * [approximate]: Taking taylor expansion of (exp (pow (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in (x) around 0
38.619 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in x
38.619 * [taylor]: Taking taylor expansion of (pow (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3) in x
38.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2)))) in x
38.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2))) in x
38.619 * [taylor]: Taking taylor expansion of 1/3 in x
38.619 * [taylor]: Taking taylor expansion of (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2)) in x
38.619 * [taylor]: Taking taylor expansion of (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) in x
38.619 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.619 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.620 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.620 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.620 * [taylor]: Taking taylor expansion of -1 in x
38.620 * [taylor]: Taking taylor expansion of x in x
38.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.620 * [taylor]: Taking taylor expansion of -1 in x
38.620 * [taylor]: Taking taylor expansion of x in x
38.620 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.620 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.620 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.620 * [taylor]: Taking taylor expansion of 1/360 in x
38.620 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.620 * [taylor]: Taking taylor expansion of -1 in x
38.620 * [taylor]: Taking taylor expansion of x in x
38.621 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.621 * [taylor]: Taking taylor expansion of 1/12 in x
38.621 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.621 * [taylor]: Taking taylor expansion of x in x
38.626 * [taylor]: Taking taylor expansion of (exp (pow (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3)) in x
38.627 * [taylor]: Taking taylor expansion of (pow (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) 1/3) in x
38.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2)))) in x
38.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2))) in x
38.627 * [taylor]: Taking taylor expansion of 1/3 in x
38.627 * [taylor]: Taking taylor expansion of (log (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2)) in x
38.627 * [taylor]: Taking taylor expansion of (pow (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) 2) in x
38.627 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))) in x
38.627 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x
38.627 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))))
38.627 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.627 * [taylor]: Taking taylor expansion of -1 in x
38.627 * [taylor]: Taking taylor expansion of x in x
38.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.627 * [taylor]: Taking taylor expansion of -1 in x
38.627 * [taylor]: Taking taylor expansion of x in x
38.627 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
38.628 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
38.628 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
38.628 * [taylor]: Taking taylor expansion of 1/360 in x
38.628 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
38.628 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.628 * [taylor]: Taking taylor expansion of -1 in x
38.628 * [taylor]: Taking taylor expansion of x in x
38.628 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
38.628 * [taylor]: Taking taylor expansion of 1/12 in x
38.628 * [taylor]: Taking taylor expansion of (pow x 4) in x
38.628 * [taylor]: Taking taylor expansion of x in x
38.741 * * * [progress]: simplifying candidates
38.742 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log 1)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (* (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log 1)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (* (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log 1)
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (exp (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* (* (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (log1p (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (exp (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (exp (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (* (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))) (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))))
  (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (* (* (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))) (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))) (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (sqrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (sqrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (- (+ (* 1/12 (pow x 2)) (* 2 (log x))) (* 1/1440 (pow x 4)))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 90 (/ 1 (pow x 4))) (* 6 (log (/ -1 x)))))
  (- (+ (* 1/12 (pow x 2)) (* 2 (log x))) (* 1/1440 (pow x 4)))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 90 (/ 1 (pow x 4))) (* 6 (log (/ -1 x)))))
  (- (+ (* 1/12 (pow x 2)) (* 2 (log x))) (* 1/1440 (pow x 4)))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
  (- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 90 (/ 1 (pow x 4))) (* 6 (log (/ -1 x)))))
  (- (+ (exp (pow (* 4 (pow (log x) 2)) 1/3)) (+ (* 1/2592 (* (* (exp (pow (* 4 (pow (log x) 2)) 1/3)) (pow x 4)) (pow (/ 16 (pow (log x) 2)) 1/3))) (* 1/36 (* (* (exp (pow (* 4 (pow (log x) 2)) 1/3)) (pow x 2)) (pow (/ 4 (log x)) 1/3))))) (+ (* 1/5184 (* (* (exp (pow (* 4 (pow (log x) 2)) 1/3)) (pow x 4)) (pow (/ 4 (pow (log x) 4)) 1/3))) (* 1/4320 (* (* (exp (pow (* 4 (pow (log x) 2)) 1/3)) (pow x 4)) (pow (/ 4 (log x)) 1/3)))))
  (- (+ (* 4800 (* (/ (* (log 1/360) (* (log (/ 1 x)) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3)))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 10)) 1/3))) (+ (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3)) (+ (* 20 (* (/ (* (log 1/360) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 2)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 4)) 1/3))) (+ (* 300 (* (/ (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3)) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 4)) 1/3))) (+ (* 360 (* (/ (* (log (/ 1 x)) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 4)) 1/3))) (+ (* 7200 (* (/ (* (pow (log (/ 1 x)) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 8)) 1/3))) (* 200 (* (/ (* (pow (log 1/360) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 8)) 1/3))))))))) (+ (* 14400 (* (/ (* (pow (log (/ 1 x)) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 10)) 1/3))) (+ (* 2400 (* (/ (* (log 1/360) (* (log (/ 1 x)) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3)))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 8)) 1/3))) (+ (* 60 (* (/ (* (log 1/360) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 4)) 1/3))) (+ (* 120 (* (/ (* (log (/ 1 x)) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 2)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 4)) 1/3))) (* 400 (* (/ (* (pow (log 1/360) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ 1 x)))) 10)) 1/3))))))))
  (- (+ (* 20 (* (/ (* (log 1/360) (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3))) (pow x 2)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)) 1/3))) (+ (* 300 (* (/ (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)) 1/3))) (+ (* 7200 (* (/ (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (pow (log (/ -1 x)) 2)) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8)) 1/3))) (+ (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (+ (* 200 (* (/ (* (pow (log 1/360) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8)) 1/3))) (+ (* 4800 (* (/ (* (log 1/360) (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (log (/ -1 x)))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10)) 1/3))) (* 360 (* (/ (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (log (/ -1 x))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)) 1/3))))))))) (+ (* 400 (* (/ (* (pow (log 1/360) 2) (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10)) 1/3))) (+ (* 60 (* (/ (* (log 1/360) (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)) 1/3))) (+ (* 120 (* (/ (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (log (/ -1 x))) (pow x 2)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)) 1/3))) (+ (* 2400 (* (/ (* (log 1/360) (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (log (/ -1 x)))) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8)) 1/3))) (* 14400 (* (/ (* (exp (pow (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2) 1/3)) (pow (log (/ -1 x)) 2)) (pow x 4)) (pow (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10)) 1/3))))))))
38.750 * * [simplify]: iteration  0 :  232  enodes  (cost  2524 )
38.797 * * [simplify]: iteration  1 :  656  enodes  (cost  2375 )
38.940 * * [simplify]: iteration  2 :  2621  enodes  (cost  2118 )
39.402 * * [simplify]: iteration  done :  5001  enodes  (cost  2118 )
39.403 * [simplify]: Simplified to:
   (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  0
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 3)
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  0
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 3)
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log1p (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (* 2 (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (log (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (log (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  0
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))
  (log (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (pow (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) 3)
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (sqrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))
  (expm1 (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (log1p (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (exp (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))
  (exp (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (* (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))) (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))))
  (cbrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (pow (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))) 3)
  (sqrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (sqrt (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))))
  (fma (pow x 2) 1/12 (fma 2 (log x) (* (pow x 4) -1/1440)))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma 6 (- (log x)) (/ 90 (pow x 4))))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma (log (/ -1 x)) 6 (/ 90 (pow x 4))))
  (fma (pow x 2) 1/12 (fma 2 (log x) (* (pow x 4) -1/1440)))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma 6 (- (log x)) (/ 90 (pow x 4))))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma (log (/ -1 x)) 6 (/ 90 (pow x 4))))
  (fma (pow x 2) 1/12 (fma 2 (log x) (* (pow x 4) -1/1440)))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma 6 (- (log x)) (/ 90 (pow x 4))))
  (- (+ (/ 30 (pow x 2)) (log 1/360)) (fma (log (/ -1 x)) 6 (/ 90 (pow x 4))))
  (+ (exp (cbrt (* 4 (pow (log x) 2)))) (- (fma 1/2592 (* (* (pow x 4) (exp (cbrt (* 4 (pow (log x) 2))))) (cbrt (/ 16 (pow (log x) 2)))) (* (* 1/36 (* (pow x 2) (exp (cbrt (* 4 (pow (log x) 2)))))) (cbrt (/ 4 (log x))))) (fma 1/5184 (* (* (pow x 4) (exp (cbrt (* 4 (pow (log x) 2))))) (cbrt (/ 4 (pow (log x) 4)))) (* (* (cbrt (/ 4 (log x))) (* (pow x 4) (exp (cbrt (* 4 (pow (log x) 2)))))) 1/4320))))
  (fma 4800 (* (/ (* (log 1/360) (* (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (- (log x)))) (pow x 4)) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 10)))) (+ (+ (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 4))) (+ (* 20 (/ (log 1/360) (/ (pow x 2) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2)))))) (* 300 (/ (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (pow x 4))))) (fma 360 (/ (* (* (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (- (log x))) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 4)))) (pow x 4)) (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 8))) (+ (* (/ (* (pow (log x) 2) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2)))) (pow x 4)) 7200) (* 200 (/ (* (pow (log 1/360) 2) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2)))) (pow x 4))))))) (- (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (fma (/ (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 10))) (pow (log x) 2)) (/ (pow x 4) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))))) 14400 (fma (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 8))) (/ (* (log 1/360) (* (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (- (log x)))) (pow x 4))) 2400 (+ (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 4))) (+ (* 60 (/ (log 1/360) (/ (pow x 4) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2)))))) (* 120 (/ (* (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2))) (- (log x))) (pow x 2))))) (* 400 (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (- (log x)))) 10))) (/ (* (pow (log 1/360) 2) (exp (cbrt (pow (- (log 1/360) (* 6 (- (log x)))) 2)))) (pow x 4))))))))))
  (- (+ (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4))) (+ (* 20 (/ (log 1/360) (/ (pow x 2) (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2)))))) (* 300 (/ (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (pow x 4))))) (fma 7200 (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8))) (/ (* (pow (log (/ -1 x)) 2) (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2)))) (pow x 4))) (+ (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (fma 200 (* (/ (* (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (pow (log 1/360) 2)) (pow x 4)) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8)))) (fma 4800 (/ (* (* (log 1/360) (* (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (log (/ -1 x)))) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10)))) (pow x 4)) (* 360 (* (/ (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (/ (pow x 4) (log (/ -1 x)))) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4)))))))))) (fma (* (/ (* (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (pow (log 1/360) 2)) (pow x 4)) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10)))) 400 (+ (* (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 4))) (+ (* 60 (/ (log 1/360) (/ (pow x 4) (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2)))))) (* 120 (/ (* (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (log (/ -1 x))) (pow x 2))))) (fma 2400 (/ (* (* (log 1/360) (* (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2))) (log (/ -1 x)))) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 8)))) (pow x 4)) (* (* 14400 (/ (* (pow (log (/ -1 x)) 2) (exp (cbrt (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 2)))) (pow x 4))) (cbrt (/ 1 (pow (- (log 1/360) (* 6 (log (/ -1 x)))) 10))))))))
39.404 * * * [progress]: adding candidates to table
39.711 * [progress]: [Phase 3 of 3] Extracting.
39.711 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))> #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))> #<alt (λ (x) (+ (exp x) (- (exp (- x)) 2.0)))>)
39.712 * * * [regime-changes]: Trying 1 branch expressions: (x)
39.712 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow (exp (* (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))))) (cbrt (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))))))> #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))> #<alt (λ (x) (+ (exp x) (- (exp (- x)) 2.0)))>)
39.729 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
39.730 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
39.730 * * [simplify]: iteration  0 :  10  enodes  (cost  13 )
39.730 * * [simplify]: iteration  1 :  11  enodes  (cost  13 )
39.730 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
39.730 * [simplify]: Simplified to:
   (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
42.153 * [regime-testing]: Baseline error score: 0.5878695194676699
42.154 * [regime-testing]: Oracle error score: 0.01883092308605151
42.155 * [regime-testing]: End program error score: 0.5878695194676699
42.183 * [regime-testing]: Target error score: 0.048178767665759875