Details

Time bar (total: 25.7s)

sample1.5s

Algorithm
intervals
Results
1.4s3599×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5001
2535
195
031

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize65.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)

rewrite83.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:
30.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
27.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
14.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms
(sqrt PI)

series89.0ms

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

simplify2.4s

Counts
320 → 320
Iterations
IterNodes
done5001
22954
1498
0161

prune2.2s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 0.5b

localize100.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)

rewrite68.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:
26.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
14.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
19.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
3.0ms
(sqrt PI)

series90.0ms

Counts
4 → 10
Calls
4 calls:
33.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
34.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
23.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify2.1s

Counts
320 → 320
Iterations
IterNodes
done5001
22908
1501
0163

prune1.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.3b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
132×add-sqr-sqrt
116×times-frac
91×*-un-lft-identity
88×add-exp-log
75×add-cube-cbrt
48×associate-*l*
37×pow1
34×prod-exp
33×add-cbrt-cube div-exp
30×swap-sqr
29×associate-*r*
21×unswap-sqr
16×rec-exp 1-exp pow-flip inv-pow
13×sqrt-prod div-inv
10×pow-prod-up cbrt-unprod
9×cbrt-undiv
7×pow-prod-down
6×pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l/ *-commutative
2×pow2 frac-times pow-plus associate-*r/ un-div-inv fma-udef
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 259
Calls
4 calls:
28.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma 1/2 (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fabs x)) (+ (/ 1 (fabs x)) (* (* (pow (fabs x) -2) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fabs x))) (+ 3/4 (* (pow (fabs x) -2) 15/8))))))
14.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
20.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms
(sqrt PI)

series568.0ms

Counts
4 → 10
Calls
4 calls:
517.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma 1/2 (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fabs x)) (+ (/ 1 (fabs x)) (* (* (pow (fabs x) -2) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fabs x))) (+ 3/4 (* (pow (fabs x) -2) 15/8))))))
31.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
20.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify3.4s

Counts
269 → 269
Iterations
IterNodes
done5000
24359
1753
0251

prune1.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.2b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 15/8 (pow (fabs x) 7))
0.3b
(/ 3/4 (pow (fabs x) 5))
0.3b
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
0.5b
(* (fma (exp (* (fabs x) (fabs x))) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (sqrt (/ 1 PI)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
68×add-sqr-sqrt
60×*-un-lft-identity
59×add-cube-cbrt
28×add-exp-log
24×unpow-prod-down
22×add-cbrt-cube
19×associate-/l*
16×associate-*r* sqrt-prod
15×associate-/r*
12×div-exp
8×cbrt-undiv sqr-pow
6×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×clear-num frac-2neg associate-*l* prod-exp cbrt-unprod
2×pow-to-exp pow-exp
1×sqrt-div pow-prod-down associate-*r/ *-commutative associate-/l/
Counts
4 → 183
Calls
4 calls:
5.0ms
(/ 15/8 (pow (fabs x) 7))
16.0ms
(/ 3/4 (pow (fabs x) 5))
21.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
10.0ms
(* (fma (exp (* (fabs x) (fabs x))) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (sqrt (/ 1 PI)))

series766.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(/ 15/8 (pow (fabs x) 7))
71.0ms
(/ 3/4 (pow (fabs x) 5))
60.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
566.0ms
(* (fma (exp (* (fabs x) (fabs x))) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (sqrt (/ 1 PI)))

simplify1.8s

Counts
195 → 195
Iterations
IterNodes
done5002
23053
1742
0356

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.2b

regimes299.0ms

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done26
126
023

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.6s8934×body80valid