Details

Time bar (total: 1.5m)

sample84.0ms

Algorithm
intervals
Results
29.0ms129×body160valid
14.0ms127×body80valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
done5003
31058
2309
182
026

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize207.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
0.2b
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
0.5b
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
14.2b
(- 1.0 (/ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt *-un-lft-identity
34×add-cube-cbrt
27×times-frac
21×prod-diff
8×add-cbrt-cube add-exp-log
6×associate-/r* associate-/l* add-log-exp
5×div-inv
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×fma-neg
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 112
Calls
4 calls:
18.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
18.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
3.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
47.0ms
(- 1.0 (/ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

series2.1s

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
69.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
681.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
1.3s
(- 1.0 (/ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

simplify4.4s

Counts
124 → 124
Iterations
IterNodes
done5000
21624
1551
0233

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.2b

localize515.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
0.5b
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
1.7b
(fma (- (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1) (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1)))
14.2b
(fma 1 1.0 (- (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
1.0ms
(fma (- (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1) (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1)))
1.0ms
(fma 1 1.0 (- (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1))))

series5.3s

Counts
4 → 12
Calls
4 calls:
697.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
769.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)
2.5s
(fma (- (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1) (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1)))
1.4s
(fma 1 1.0 (- (* (/ (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1))))

simplify7.1s

Counts
56 → 56
Iterations
IterNodes
done5000
33440
2931
1315
0134

prune980.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 14.2b

localize889.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
0.5b
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
0.5b
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
13.6b
(- (* 1.0 (* 1.0 1.0)) (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
592×add-cbrt-cube
476×add-exp-log
326×prod-exp cbrt-unprod
203×pow1
174×cbrt-undiv div-exp
89×pow-prod-down
38×pow-prod-up
26×associate-*l/
19×pow-plus
16×pow-sqr
13×distribute-rgt-in distribute-lft-in
12×fma-udef
8×frac-times
6×associate-*r/ add-log-exp
5×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
4×pow2 expm1-log1p-u insert-posit16 log1p-expm1-u associate--r+
3×associate-*l* *-commutative
2×flip3-+ pow3 flip-+
1×difference-cubes sub-neg flip3-- fma-neg diff-log cube-unmult swap-sqr prod-diff flip--
Counts
4 → 326
Calls
4 calls:
1.2s
(* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
189.0ms
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
309.0ms
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
1.0s
(- (* 1.0 (* 1.0 1.0)) (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))

series10.6s

Counts
4 → 12
Calls
4 calls:
2.2s
(* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
3.7s
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
2.0s
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
2.7s
(- (* 1.0 (* 1.0 1.0)) (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))

simplify8.0s

Counts
338 → 338
Iterations
IterNodes
done5001
12098
0604

prune4.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.4b

localize1.1s

Local error

Found 4 expressions with local error:

0.5b
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
0.5b
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
0.5b
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
13.6b
(- (* 1.0 (* 1.0 1.0)) (* (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))))

rewrite8.0s

Algorithm
rewrite-expression-head
Rules
178×add-cbrt-cube
144×add-exp-log
87×pow1 prod-exp cbrt-unprod
51×cbrt-undiv div-exp
37×pow-prod-down
14×associate-*l/
9×distribute-rgt-in distribute-lft-in
8×pow-sqr pow-prod-up fma-udef
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
4×expm1-log1p-u frac-times pow-plus associate-*r/ insert-posit16 log1p-expm1-u
3×associate-*l* *-commutative
2×pow2 flip3-+ swap-sqr flip-+
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 185
Calls
4 calls:
179.0ms
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
325.0ms
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
244.0ms
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
7.3s
(- (* 1.0 (* 1.0 1.0)) (* (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))))

series10.3s

Counts
4 → 12
Calls
4 calls:
3.5s
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (+ 1.0 (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))
1.9s
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
1.9s
(* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))
3.0s
(- (* 1.0 (* 1.0 1.0)) (* (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)))) (sqrt (* (* (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592)) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))) (* (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (* (fabs x) (fabs x)))) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) 0.254829592))))))

simplify7.3s

Counts
197 → 197
Iterations
IterNodes
done5001
11308
0390

prune3.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.3b

regimes639.0ms

Accuracy

0% (0.0b remaining)

Error of 12.7b against oracle of 12.7b and baseline of 12.7b

bsearch0.0ms

simplify38.0ms

Iterations
IterNodes
done40
140
034

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.3s3828×body160valid
1.3s4172×body80valid