Details

Time bar (total: 42.9s)

sample903.0ms

Algorithm
intervals
Results
765.0ms3611×body80valid

simplify5.4s

Counts
1 → 1
Iterations
IterNodes
done5001
31913
2396
190
031

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize137.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b
(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))))
1.0b
(sqrt PI)

rewrite234.0ms

Algorithm
rewrite-expression-head
Rules
158×add-cbrt-cube add-exp-log
130×pow1
86×add-sqr-sqrt
80×times-frac
73×prod-exp cbrt-unprod
61×*-un-lft-identity add-cube-cbrt
48×cbrt-undiv div-exp
38×pow-prod-up
27×swap-sqr associate-*r* associate-*l*
25×pow-prod-down
24×pow-sqr
20×pow-plus
19×frac-times
15×pow2
13×associate-*l/ associate-*r/
9×unswap-sqr
8×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative sqrt-prod
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 279
Calls
4 calls:
31.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
34.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
103.0ms
(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))))
3.0ms
(sqrt PI)

series312.0ms

Counts
4 → 10
Calls
4 calls:
87.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
87.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
138.0ms
(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))))
0.0ms
(sqrt PI)

simplify5.3s

Counts
289 → 289
Iterations
IterNodes
done5002
22190
1701
0239

prune3.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.2b

localize148.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (/ 1.0 (fabs x)) (fma (/ 1.0 2.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ (/ 1.0 (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 15.0 8.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 3.0 4.0)))) (/ 1.0 (fabs x)))
0.5b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
80×times-frac
61×*-un-lft-identity add-cube-cbrt
28×add-cbrt-cube add-exp-log
26×swap-sqr associate-*r* associate-*l*
19×pow1
8×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2 fma-udef
Counts
4 → 167
Calls
4 calls:
1.0ms
(fma (/ 1.0 (fabs x)) (fma (/ 1.0 2.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ (/ 1.0 (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 15.0 8.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 3.0 4.0)))) (/ 1.0 (fabs x)))
39.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
65.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
3.0ms
(sqrt PI)

series913.0ms

Counts
4 → 10
Calls
4 calls:
705.0ms
(fma (/ 1.0 (fabs x)) (fma (/ 1.0 2.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (/ (/ 1.0 (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 15.0 8.0) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 3.0 4.0)))) (/ 1.0 (fabs x)))
93.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
114.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify4.4s

Counts
177 → 177
Iterations
IterNodes
done5001
21661
1509
0181

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize145.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 0.5 (* (fabs x) (fabs x)))
0.3b
(/ 1.875 (pow (fabs x) 7))
0.3b
(* (/ 1.0 (sqrt PI)) (fma 1.0 (/ 1 (fabs x)) (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
1.0b
(sqrt PI)

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
44×times-frac
37×*-un-lft-identity add-cube-cbrt
22×associate-*l*
19×add-exp-log
16×add-cbrt-cube
13×sqrt-prod
12×unpow-prod-down
8×associate-/r*
7×pow1
6×div-exp associate-/l*
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×associate-*r* prod-exp cbrt-unprod div-inv unswap-sqr
2×clear-num frac-2neg fma-udef
1×distribute-rgt-in pow-to-exp rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down associate-*l/ pow-exp *-commutative
Counts
4 → 135
Calls
4 calls:
21.0ms
(/ 0.5 (* (fabs x) (fabs x)))
21.0ms
(/ 1.875 (pow (fabs x) 7))
60.0ms
(* (/ 1.0 (sqrt PI)) (fma 1.0 (/ 1 (fabs x)) (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
5.0ms
(sqrt PI)

series1.4s

Counts
4 → 10
Calls
4 calls:
98.0ms
(/ 0.5 (* (fabs x) (fabs x)))
202.0ms
(/ 1.875 (pow (fabs x) 7))
1.1s
(* (/ 1.0 (sqrt PI)) (fma 1.0 (/ 1 (fabs x)) (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
0.0ms
(sqrt PI)

simplify4.0s

Counts
145 → 145
Iterations
IterNodes
done5001
21796
1515
0244

prune2.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

localize159.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 1.0 (/ 1 (fabs x))) (/ 1.0 (sqrt PI)))
0.3b
(* (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5)))) (/ 1.0 (sqrt PI)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-*r* add-exp-log
43×add-sqr-sqrt
38×times-frac
33×*-un-lft-identity add-cube-cbrt
30×add-cbrt-cube
25×sqrt-prod
20×prod-exp
13×pow1
12×cbrt-unprod
10×div-exp
6×cbrt-undiv
4×expm1-log1p-u associate-*l* pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×unswap-sqr
2×frac-times rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp associate-*l/ un-div-inv *-commutative div-inv
Counts
4 → 134
Calls
4 calls:
102.0ms
(* (* 1.0 (/ 1 (fabs x))) (/ 1.0 (sqrt PI)))
27.0ms
(* (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5)))) (/ 1.0 (sqrt PI)))
5.0ms
(sqrt PI)
5.0ms
(sqrt PI)

series1.2s

Counts
4 → 8
Calls
4 calls:
188.0ms
(* (* 1.0 (/ 1 (fabs x))) (/ 1.0 (sqrt PI)))
1.0s
(* (fma (/ 0.5 (* (fabs x) (fabs x))) (/ 1 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5)))) (/ 1.0 (sqrt PI)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify4.9s

Counts
142 → 142
Iterations
IterNodes
done5000
22301
1576
0201

prune1.8s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0.1b

regimes1.2s

bsearch0.0ms

simplify21.0ms

Iterations
IterNodes
done35
135
027

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.8s7407×body80valid