Details

Time bar (total: 31.7s)

sample116.0ms

Algorithm
intervals
Results
41.0ms131×body160valid
19.0ms125×body80valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 3 (224.0ms)

IterNodesCost
02664
18264
230955
399154
4417254
done500054

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize62.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.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)))))))
0.5b
(+ 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))))))))
14.4b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 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))))))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
19×times-frac
15×associate-*l*
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1
5×flip3-+ flip-+
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×fma-def fma-neg associate-*r* prod-diff 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--
Counts
4 → 111
Calls
4 calls:
19.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
39.0ms
(* (/ 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)))))))
25.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))))))))
12.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 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))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
502.0ms
(* (/ 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)))))))
471.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.3s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 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))))))

simplify2.5s

Counts
123 → 123
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02436598
17835734
234204823
done50004819

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 14.3b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
54×add-sqr-sqrt
46×*-un-lft-identity
44×add-cube-cbrt
42×unpow-prod-down cube-prod
28×sqr-pow
22×cube-mult unpow3
14×add-cbrt-cube
12×add-exp-log fma-neg
8×difference-of-squares
7×pow1
6×add-log-exp
4×expm1-log1p-u pow-exp log1p-expm1-u rem-cube-cbrt
3×cbrt-undiv pow-unpow div-exp prod-exp cbrt-unprod
2×pow-pow fma-udef
1×difference-cubes cube-div pow-to-exp sub-neg flip3-- diff-log associate-*r/ pow-prod-down flip-- distribute-lft-out--
Counts
4 → 181
Calls
4 calls:
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
30.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
54.0ms
(- (pow 1.0 3) (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))

series2.4s

Counts
4 → 12
Calls
4 calls:
348.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
294.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
744.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
986.0ms
(- (pow 1.0 3) (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))

simplify2.4s

Counts
193 → 193
Iterations

Useful iterations: 2 (1.0s)

IterNodesCost
036838996
195122462
2353016819
done500116819

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.5b

localize122.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
13.8b
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
24×add-cbrt-cube
20×add-exp-log
15×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity fma-neg prod-diff
10×pow1
9×unpow-prod-down cube-prod
8×pow-exp rem-cube-cbrt
6×cbrt-undiv pow-unpow div-exp prod-exp cbrt-unprod add-log-exp
5×sqr-pow
4×expm1-log1p-u cube-mult pow-pow unpow3 log1p-expm1-u difference-of-squares
2×cube-div pow-to-exp associate-*r/ pow-prod-down
1×sub-neg flip3-- diff-log flip-- fma-udef
Counts
4 → 110
Calls
4 calls:
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
43.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
49.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
44.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

series3.0s

Counts
4 → 12
Calls
4 calls:
383.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
845.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
735.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
1.1s
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

simplify2.0s

Counts
122 → 122
Iterations

Useful iterations: done (1.9s)

IterNodesCost
028213383
17728837
229838297
done50008279

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.5b

localize104.0ms

Local error

Found 4 expressions with local error:

0.5b
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
13.8b
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
24×add-cbrt-cube
20×add-exp-log
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×fma-neg prod-diff
11×pow1
9×unpow-prod-down cube-prod log-pow
8×exp-prod pow-exp rem-cube-cbrt
6×cbrt-undiv pow-unpow div-exp prod-exp cbrt-unprod add-log-exp
5×cube-mult unpow3 sqr-pow
4×expm1-log1p-u pow-pow log1p-expm1-u
3×log-prod
2×cube-div pow-to-exp associate-*r/ pow-prod-down
1×sub-neg flip3-- diff-log rem-log-exp flip--
Counts
4 → 118
Calls
4 calls:
9.0ms
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
36.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
55.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
57.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))))

series3.2s

Counts
4 → 12
Calls
4 calls:
704.0ms
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
764.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
700.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
1.1s
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))))

simplify1.9s

Counts
130 → 130
Iterations

Useful iterations: done (1.9s)

IterNodesCost
030014151
179313434
229278629
done50008605

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.5b

regimes286.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
033223
135223
done35223

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s3879×body160valid
729.0ms4121×body80valid