Details

Time bar (total: 36.7s)

sample525.0ms

Algorithm
intervals
Results
19.0ms124×body160valid
11.0ms132×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 3 (268.0ms)

IterNodesCost
02664
18264
229164
390763
4386563
done500063

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
0.4b
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.7b
(- 1.0 (/ (* 1.0 (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
19×times-frac
15×associate-*l*
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1
5×flip3-+ flip-+
4×associate-/r/
3×associate-*r* associate-/r* associate-/l*
2×cbrt-undiv distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×+-commutative sub-neg flip3-- frac-2neg diff-log pow-prod-down associate-*l/ clear-num sum-log *-commutative flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 96
Calls
4 calls:
21.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
46.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
13.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
28.0ms
(- 1.0 (/ (* 1.0 (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

series2.0s

Counts
4 → 12
Calls
4 calls:
56.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
258.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
481.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.2s
(- 1.0 (/ (* 1.0 (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

simplify2.1s

Counts
108 → 108
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02405056
17644856
231894353
done50024348

prune722.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.7b

localize60.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
13.7b
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
30×*-un-lft-identity
28×add-cube-cbrt times-frac
15×associate-*l*
13×add-exp-log add-cbrt-cube
6×pow1 associate-/r* associate-/r/ associate-/l* add-log-exp
5×flip3-+ flip-+
3×cbrt-undiv div-exp associate-*r* div-inv
2×frac-times frac-2neg associate-*r/ prod-exp clear-num cbrt-unprod unswap-sqr
1×distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log pow-prod-down associate-*l/ *-commutative flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 112
Calls
4 calls:
9.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
16.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
68.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
15.0ms
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
32.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
295.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))
1.1s
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

simplify1.7s

Counts
124 → 124
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02074700
16604512
227163912
done50003907

prune960.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.6b

localize94.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
0.3b
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
0.3b
(* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))
13.7b
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ (/ 1.0 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×cbrt-prod
16×cbrt-div *-un-lft-identity
14×add-cube-cbrt
11×pow1
8×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l* add-log-exp
4×frac-times add-cbrt-cube unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 sub-neg flip3-- pow-plus diff-log prod-exp *-commutative flip-- cbrt-unprod distribute-lft-out-- difference-of-squares
Counts
4 → 88
Calls
4 calls:
3.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
3.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
34.0ms
(* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))
15.0ms
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ (/ 1.0 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
225.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
205.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
225.0ms
(* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))
1.2s
(- 1.0 (/ (* 1.0 (/ (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))) (/ (/ 1.0 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (* (fabs x) (fabs x))))) (+ 1.0 (* 0.3275911 (fabs x)))))

simplify1.2s

Counts
100 → 100
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01583865
13803605
212482746
done50012629

prune853.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.6b

localize106.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0)))
0.5b
(* (* (+ 1.0 (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (exp (pow (fabs x) 2))))
0.8b
(pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3)
13.1b
(- (pow 1.0 3) (pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
930×times-frac
555×*-un-lft-identity
495×add-sqr-sqrt
381×add-cube-cbrt
207×unpow-prod-down cube-prod
82×distribute-lft-out
40×difference-of-squares
35×add-cbrt-cube
33×div-inv
31×add-exp-log
16×associate-*r*
15×sqr-pow
11×cbrt-undiv div-exp
10×pow1 prod-exp associate-/r/ cbrt-unprod
9×frac-times associate-*l/
8×add-log-exp
7×flip3-+ flip-+
5×distribute-lft-out--
4×pow-exp rem-cube-cbrt
3×pow-unpow associate-*r/ pow-prod-down
1×difference-cubes +-commutative cube-div cube-mult pow-to-exp sub-neg flip3-- pow-pow diff-log unpow3 associate-*l* sum-log *-commutative flip--
Counts
4 → 498
Calls
4 calls:
32.0ms
(+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0)))
1.1s
(* (* (+ 1.0 (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (exp (pow (fabs x) 2))))
139.0ms
(pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3)
550.0ms
(- (pow 1.0 3) (pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3))

series8.2s

Counts
4 → 12
Calls
4 calls:
461.0ms
(+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0)))
2.1s
(* (* (+ 1.0 (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (exp (pow (fabs x) 2))))
932.0ms
(pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3)
4.6s
(- (pow 1.0 3) (pow (/ (/ (+ 0.254829592 (/ (* 1.0 (+ -0.284496736 (/ 1.0 (/ (+ (* 0.3275911 (fabs x)) 1.0) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ (* 0.3275911 (fabs x)) 1.0))) (/ (exp (pow (fabs x) 2)) 1.0)) (+ (* 0.3275911 (fabs x)) 1.0)) 3))

simplify2.6s

Counts
510 → 510
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0104062065
1395459984
done500057766

prune4.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 12.9b

regimes207.0ms

Accuracy

0% (0.0b remaining)

Error of 13.1b against oracle of 13.0b and baseline of 13.1b

bsearch0.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
042259
154259
done54259

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s3919×body160valid
584.0ms4081×body80valid