Details

Time bar (total: 5.0m)

sample89.0ms

Algorithm
intervals
Results
48.0ms129×body160valid
18.0ms127×body80valid

simplify828.0ms

Calls
1 calls:
Slowest
828.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.3b

localize52.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
0.5b
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
0.2b
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))
0.1b
(/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))

rewrite882.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×associate-/r* add-cbrt-cube add-exp-log
4×pow1 flip3-+ associate-/r/ flip-+ insert-posit16 add-log-exp
3×associate-/l*
2×clear-num frac-2neg div-inv associate-/l/
1×cbrt-undiv +-commutative sub-neg flip3-- div-exp flip--
Calls
4 calls:
Slowest
514.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))
209.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
156.0ms
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
1.0ms
(/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))

series1.3s

Calls
4 calls:
Slowest
862.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
250.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))
182.0ms
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
32.0ms
(/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))

simplify6.9s

Calls
46 calls:
Slowest
616.0ms
(+ (pow (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 3) (pow 0.254829592 3))
524.0ms
(- (+ (* 0.284496736 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 2) (exp (pow (fabs x) 2))))) (+ (* 1.453152027 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 4) (exp (pow (fabs x) 2))))) 1)) (+ (* 0.254829592 (/ 1 (* (exp (pow (fabs x) 2)) (+ (* 0.3275911 (fabs x)) 1)))) (+ (* 1.421413741 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (exp (pow (fabs x) 2))))) (* 1.061405429 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (exp (pow (fabs x) 2))))))))
469.0ms
(/ (- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
464.0ms
(/ (- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
456.0ms
(/ (- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.3b

localize65.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
0.5b
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))))
0.2b
(* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))))
0.2b
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))

rewrite851.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×sqrt-prod
9×pow1 times-frac associate-*r* associate-*l*
8×add-cbrt-cube add-exp-log
6×associate-/r/
5×flip3-+ flip-+
4×pow1/2 sqrt-div insert-posit16 add-log-exp
3×associate-/r* div-inv associate-/l*
2×pow-prod-down pow-prod-up associate-/l/
1×pow2 frac-times cbrt-undiv +-commutative clear-num sub-neg rem-square-sqrt frac-2neg pow-plus flip3-- sqrt-unprod div-exp associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
526.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))
276.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
39.0ms
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))))
6.0ms
(* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))))

series1.5s

Calls
4 calls:
Slowest
865.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
330.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911)))
209.0ms
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))))
52.0ms
(* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))))

simplify7.3s

Calls
73 calls:
Slowest
520.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
499.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
463.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
418.0ms
(- (+ (* 0.284496736 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 2) (exp (pow (fabs x) 2))))) (+ (* 1.453152027 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 4) (exp (pow (fabs x) 2))))) 1)) (+ (* 1.421413741 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (exp (pow (fabs x) 2))))) (+ (/ (pow (sqrt 1.061405429) 2) (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (exp (pow (fabs x) 2)))) (* 0.254829592 (/ 1 (* (exp (pow (fabs x) 2)) (+ (* 0.3275911 (fabs x)) 1)))))))
414.0ms
(- (+ (* 1.453152027 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 2)))) 1)) (+ (* 1.421413741 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 3)))) (+ (/ (pow (sqrt 1.061405429) 2) (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (exp (pow (fabs x) 2)))) (* 0.254829592 (/ 1 (* (exp (pow (fabs x) 2)) (+ (* 0.3275911 (fabs x)) 1)))))))

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.3b

localize66.0ms

Local error

Found 4 expressions with local error:

13.7b
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))
0.8b
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
0.5b
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
0.5b
(+ (* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))) (* 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
294×times-frac
172×add-sqr-sqrt
155×*-un-lft-identity
152×add-cube-cbrt
52×unpow-prod-down cube-prod
49×associate-*r* associate-*l*
46×add-cbrt-cube
32×add-exp-log
24×associate-/r/
21×cbrt-undiv div-exp
16×div-inv
13×flip3-+ flip-+
10×pow1
9×prod-exp cbrt-unprod
8×add-log-exp
7×difference-of-squares
5×associate-*r/
4×insert-posit16
3×frac-add pow-exp rem-cube-cbrt
2×cube-mult frac-times associate-*l/ distribute-lft-out--
1×cube-div pow2 pow-to-exp difference-cubes +-commutative sum-log sub-neg pow-pow pow-plus distribute-rgt-out flip3-- diff-log unpow3 pow-prod-down *-commutative pow-prod-up flip--
Calls
4 calls:
Slowest
755.0ms
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))
688.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
488.0ms
(+ (* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))) (* 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))))
261.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)

series11.9s

Calls
4 calls:
Slowest
7.0s
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))
3.8s
(+ (* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))) (* 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x))))))
602.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
478.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

simplify1.6m

Calls
269 calls:
Slowest
1.7s
(* (/ (/ (* (* (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (* (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))) (+ 1 (* (fabs x) 0.3275911)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))) (/ (/ (* (* (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (* (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))) (+ 1 (* (fabs x) 0.3275911)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.3s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.2s
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ (pow 1 3) (pow (* (fabs x) 0.3275911) 3))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.2s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.2s
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))

prune9.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.4b

localize54.0ms

Local error

Found 4 expressions with local error:

13.7b
(- (pow 1 3) (* (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)) (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))))
0.8b
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
0.8b
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
0.5b
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
432×times-frac
227×add-sqr-sqrt
226×*-un-lft-identity add-cube-cbrt
98×unpow-prod-down cube-prod
52×add-cbrt-cube
49×associate-*r* associate-*l*
36×add-exp-log associate-/r/
24×cbrt-undiv div-exp div-inv
18×flip3-+ flip-+
11×pow1
9×prod-exp cbrt-unprod
6×pow-exp add-log-exp rem-cube-cbrt
4×insert-posit16
2×cube-div cube-mult pow-to-exp pow-pow unpow3
1×pow2 frac-times sub-neg pow-plus flip3-- diff-log pow-prod-down associate-*l/ associate-*r/ *-commutative pow-prod-up flip-- difference-of-squares
Calls
4 calls:
Slowest
655.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
512.0ms
(- (pow 1 3) (* (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)) (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))))
303.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
267.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)

series7.8s

Calls
4 calls:
Slowest
6.2s
(- (pow 1 3) (* (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)) (sqrt (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3))))
568.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)
555.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
515.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))) 3)

simplify2.2m

Calls
350 calls:
Slowest
1.6s
(* (/ (/ (* (* (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (* (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))) (+ 1 (* (fabs x) 0.3275911)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))) (/ (/ (* (* (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (* (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))) (+ 1 (* (fabs x) 0.3275911)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.3s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.3s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.3s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)
1.2s
(pow (/ (/ (* (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)) (cbrt (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911)))) (sqrt (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) 0.254829592))) (sqrt (+ 1 (* (fabs x) 0.3275911)))) (sqrt (exp (* (fabs x) (fabs x))))) 3)

prune13.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.3b

regimes301.0ms

Accuracy

0% (0.0b remaining)

Error of 12.9b against oracle of 12.8b and baseline of 12.9b

bsearch41.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.3s3912×body160valid
949.0ms4088×body80valid