Details

Time bar (total: 44.5s)

sample1.7s

Algorithm
intervals
Results
1.6s3464×body80valid

simplify6.7s

Counts
1 → 1
Iterations
IterNodes
48828
31935
2407
193
031

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize79.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
162×add-sqr-sqrt
144×times-frac
124×add-exp-log
113×*-un-lft-identity
89×add-cube-cbrt
50×pow1
48×div-exp prod-exp
45×swap-sqr
40×add-cbrt-cube
39×associate-*r* associate-*l*
27×unswap-sqr
24×rec-exp 1-exp pow-flip inv-pow
18×div-inv
15×pow-prod-up
12×cbrt-undiv cbrt-unprod
9×pow-prod-down pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow2 frac-times pow-plus associate-*l/ associate-*r/ un-div-inv *-commutative sqrt-prod
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 310
Calls
4 calls:
23.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
14.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
16.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
2.0ms
(sqrt PI)

series74.0ms

Counts
4 → 10
Calls
4 calls:
25.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
22.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
27.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify2.2s

Counts
320 → 320
Iterations
IterNodes
32605
2954
1444
0160

prune5.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.4b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
162×add-sqr-sqrt
144×times-frac
124×add-exp-log
113×*-un-lft-identity
89×add-cube-cbrt
50×pow1
48×div-exp prod-exp
45×swap-sqr
40×add-cbrt-cube
39×associate-*r* associate-*l*
27×unswap-sqr
24×rec-exp 1-exp pow-flip inv-pow
18×div-inv
15×pow-prod-up
12×cbrt-undiv cbrt-unprod
9×pow-prod-down pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow2 frac-times pow-plus associate-*l/ associate-*r/ un-div-inv *-commutative sqrt-prod
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 310
Calls
4 calls:
29.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
29.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
22.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms
(sqrt PI)

series96.0ms

Counts
4 → 10
Calls
4 calls:
37.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
29.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
30.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify2.2s

Counts
320 → 320
Iterations
IterNodes
32643
2966
1446
0162

prune6.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.2b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
162×add-sqr-sqrt
144×times-frac
124×add-exp-log
113×*-un-lft-identity
89×add-cube-cbrt
50×pow1
48×div-exp prod-exp
45×swap-sqr
40×add-cbrt-cube
39×associate-*r* associate-*l*
27×unswap-sqr
24×rec-exp 1-exp pow-flip inv-pow
18×div-inv
15×pow-prod-up
12×cbrt-undiv cbrt-unprod
9×pow-prod-down pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow2 frac-times pow-plus associate-*l/ associate-*r/ un-div-inv *-commutative sqrt-prod
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 310
Calls
4 calls:
28.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
27.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
28.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
2.0ms
(sqrt PI)

series95.0ms

Counts
4 → 10
Calls
4 calls:
26.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
37.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
32.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify2.0s

Counts
320 → 320
Iterations
IterNodes
32196
2874
1454
0164

prune6.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.1b

localize91.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (pow (fabs x) -2) (fma (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 3/4 (* (* (pow (fabs x) -2) 15/8) (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))))) (fma 1/2 (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ 1 (fabs x))))
0.5b
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.5b
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0b
(sqrt PI)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
110×add-sqr-sqrt
96×times-frac
84×add-exp-log
77×*-un-lft-identity
61×add-cube-cbrt
35×pow1
32×div-exp prod-exp
30×swap-sqr
28×add-cbrt-cube
26×associate-*r* associate-*l*
18×unswap-sqr
16×rec-exp 1-exp pow-flip inv-pow
12×div-inv
10×pow-prod-up
8×cbrt-undiv cbrt-unprod
6×pow-prod-down pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×pow2 frac-times pow-plus associate-*l/ associate-*r/ un-div-inv *-commutative
1×rem-sqrt-square sqrt-pow1 pow1/2 fma-udef
Counts
4 → 223
Calls
4 calls:
0.0ms
(fma (pow (fabs x) -2) (fma (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 3/4 (* (* (pow (fabs x) -2) 15/8) (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))))) (fma 1/2 (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ 1 (fabs x))))
16.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
28.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
2.0ms
(sqrt PI)

series326.0ms

Counts
4 → 10
Calls
4 calls:
255.0ms
(fma (pow (fabs x) -2) (fma (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 3/4 (* (* (pow (fabs x) -2) 15/8) (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))))) (fma 1/2 (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ 1 (fabs x))))
42.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
28.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify3.0s

Counts
233 → 233
Iterations
IterNodes
32942
21118
1523
0193

prune4.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.1b

regimes367.0ms

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
226
126
023

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s4651×body80valid