Details

Time bar (total: 10.0m)

sample96.0ms

Algorithm
intervals
Results
29.0ms109×body160valid
20.0ms147×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
44388
3936
2287
183
026

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.1b

localize96.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))
0.2b
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
0.4b
(fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)
11.9b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

rewrite33.0ms

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

series944.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
56.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
355.0ms
(fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)
487.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

simplify3.3s

Counts
129 → 129
Iterations
IterNodes
35485
21533
1616
0274

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 11.9b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
0.4b
(fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)
11.9b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))
12.0b
(log (exp (- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt *-un-lft-identity
42×prod-diff
41×add-cube-cbrt
27×times-frac
26×log-prod
23×exp-sum
7×log-pow div-inv
6×exp-prod add-cbrt-cube add-exp-log add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u difference-of-squares
3×associate-/r* fma-neg associate-/l*
2×sub-neg distribute-lft-out--
1×cbrt-undiv log-div clear-num frac-2neg flip3-- exp-diff diff-log div-exp rem-log-exp fma-udef flip--
Counts
4 → 128
Calls
4 calls:
6.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)
26.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))
65.0ms
(log (exp (- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
56.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
328.0ms
(fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)
486.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))
517.0ms
(log (exp (- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (/ 1 (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))))

simplify2.9s

Counts
140 → 140
Iterations
IterNodes
35520
21564
1655
0327

prune3.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.9b

localize115.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))
0.2b
(pow (fma (fabs x) 0.3275911 1) 5)
0.2b
(/ 0.254829592 (fma (fabs x) 0.3275911 1))
12.0b
(+ (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))

rewrite13.7s

Algorithm
rewrite-expression-head
Rules
1829×*-un-lft-identity
1096×times-frac
669×add-sqr-sqrt
668×associate-+l+
665×prod-diff
646×add-cube-cbrt
588×distribute-lft-out
278×unpow-prod-down
204×distribute-lft-out--
94×sqr-pow
57×div-inv
29×add-log-exp
18×frac-add
15×fma-def
12×pow1 sum-log
9×add-exp-log
8×add-cbrt-cube frac-sub
7×diff-log difference-of-squares
4×expm1-log1p-u flip3-+ flip3-- flip-+ insert-posit16 log1p-expm1-u flip--
3×pow-unpow associate-/r* swap-sqr associate-*r* associate-*l* associate-/l*
2×distribute-frac-neg fma-udef
1×pow2 neg-sub0 distribute-rgt-in pow-to-exp cbrt-undiv +-commutative clear-num associate-+r- sub-neg pow-pow frac-2neg distribute-lft-in pow-plus div-sub div-exp unsub-neg pow-prod-down pow-exp prod-exp associate--l+ pow-sqr *-commutative pow-prod-up associate-+l- cbrt-unprod unswap-sqr
Counts
4 → 802
Calls
4 calls:
7.0ms
(* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))
4.0ms
(pow (fma (fabs x) 0.3275911 1) 5)
7.0ms
(/ 0.254829592 (fma (fabs x) 0.3275911 1))
13.6s
(+ (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))
84.0ms
(pow (fma (fabs x) 0.3275911 1) 5)
35.0ms
(/ 0.254829592 (fma (fabs x) 0.3275911 1))
948.0ms
(+ (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))

simplify2.3s

Counts
814 → 814
Iterations
IterNodes
12668
0918

prune23.8s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 11.7b

localize225.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3)) (+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))))))
0.4b
(+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))))
0.4b
(pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3)
11.8b
(+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3))

rewrite1.7m

Algorithm
rewrite-expression-head
Rules
51228×frac-add
50248×frac-sub
25640×frac-times
17804×flip3-- flip--
13820×associate-*l/
13177×flip3-+ flip-+
8042×associate-/r/
7820×associate-*r/
4160×*-un-lft-identity
2279×times-frac
1409×distribute-lft-out
1382×add-sqr-sqrt
1336×associate-+l+
1331×prod-diff
1298×add-cube-cbrt
704×unpow-prod-down
668×distribute-rgt-in distribute-lft-in
548×distribute-lft-out--
480×sub-div
192×sqr-pow
150×cube-prod
113×div-inv
50×cube-div
37×fma-def
29×associate-/l*
28×difference-of-squares
12×associate-/l/
11×add-log-exp
7×add-cbrt-cube add-exp-log
5×pow1 sum-cubes
4×expm1-log1p-u cube-neg distribute-frac-neg insert-posit16 log1p-expm1-u
3×pow-unpow associate-+r+ associate-/r* sum-log sub-neg
2×cube-mult +-commutative unpow3 div-sub unsub-neg associate--l+
1×pow-to-exp cbrt-undiv clear-num associate-+r- pow-pow frac-2neg diff-log div-exp pow-exp rem-cube-cbrt
Counts
4 → 17734
Calls
4 calls:
57.9s
(/ (+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3)) (+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))))))
12.8s
(+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))))
3.5s
(pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3)
23.3s
(+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3))

series20.5s

Counts
4 → 12
Calls
4 calls:
9.8s
(/ (+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3)) (+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))))))
2.9s
(+ (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5)))) (- (* (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))))) (* (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))))))
910.0ms
(pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3)
6.9s
(+ (pow (- (+ (+ (/ 0.284496736 (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (/ (/ (/ 1.453152027 (exp (* (fabs x) (fabs x)))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (- 1 (/ (/ 0.254829592 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))) (/ (/ 1.061405429 (exp (* (fabs x) (fabs x)))) (pow (fma (fabs x) 0.3275911 1) 5))) 3) (pow (/ (- 1.421413741) (* (fma (fabs x) 0.3275911 1) (* (exp (* (fabs x) (fabs x))) (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1))))) 3))

simplify7.0m

Iterations
IterNodes
194818
035875