Details

Time bar (total: 10.0m)

sample1.5s

Algorithm
intervals
Results
1.4s3269×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5000
31493
2392
195
031

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

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

rewrite94.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×insert-posit16 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 → 302
Calls
4 calls:
27.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
33.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
21.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms
(sqrt PI)

series87.0ms

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

simplify3.1s

Counts
312 → 312
Iterations
IterNodes
done5001
32928
21064
1476
0164

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.7b

localize114.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (/ 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) (* (* (* (* (* (/ 1 (* (fabs x) (fabs x))) (/ 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)

rewrite3.1m

Algorithm
rewrite-expression-head
Rules
4652473×frac-times
3546633×associate-*l/
2356074×frac-add
2295853×associate-*r/
737230×un-div-inv
35534×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×insert-posit16 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 → 809534
Calls
4 calls:
25.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) (* (* (* (* (* (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))
13.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
13.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms
(sqrt PI)

series396.0ms

Counts
4 → 10
Calls
4 calls:
334.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) (* (* (* (* (* (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))
18.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
19.0ms
(* (/ 1 (fabs x)) (/ 1 (fabs x)))
0.0ms
(sqrt PI)

simplify6.8m