Details

Time bar (total: 10.0m)

sample1.8s

Algorithm
intervals
Results
1.7s3841×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done2009
42009
31575
2409
195
031

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

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

rewrite85.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:
27.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
22.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
19.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
2.0ms
(sqrt PI)

series88.0ms

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

simplify1.6s

Counts
320 → 320
Iterations
IterNodes
done2011
32011
21252
1490
0168

prune2.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.7b

localize111.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (pow (fabs x) -2) (/ 1 (fabs x))) (/ 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)

rewrite2.1m

Algorithm
rewrite-expression-head
Rules
2907385×frac-times
2178185×associate-*l/
1607597×associate-*r/
1558250×frac-add
577486×un-div-inv
23502×flip3-+ flip-+
111×add-sqr-sqrt
96×times-frac
95×add-exp-log
78×*-un-lft-identity
62×add-cube-cbrt
41×prod-exp
40×pow1
37×add-cbrt-cube
34×div-exp
30×swap-sqr
29×associate-*r*
27×associate-*l*
18×unswap-sqr
17×rec-exp 1-exp
16×pow-flip inv-pow
13×cbrt-unprod
12×div-inv
10×pow-prod-up
9×cbrt-undiv pow-prod-down
6×pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative sqrt-prod
2×pow2 pow-plus
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 535494
Calls
4 calls:
17.2s
(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (pow (fabs x) -2) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))
33.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
29.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
2.0ms
(sqrt PI)

series502.0ms

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

simplify7.8m