Details

Time bar (total: 10.0m)

sample904.0ms

Algorithm
intervals
Results
766.0ms3361×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: done (2.1s)

IterNodesCost
031103
190103
238466
3214754
done500051

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize46.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.0b
(sqrt PI)

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
120×times-frac
89×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
39×swap-sqr associate-*r* associate-*l*
26×pow1
12×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×add-log-exp
3×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sqrt-prod pow-sqr *-commutative pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 214
Calls
4 calls:
37.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
25.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
53.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms
(sqrt PI)

series111.0ms

Counts
4 → 10
Calls
4 calls:
46.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
26.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
39.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify2.8s

Counts
224 → 224
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01463221
14762916
234232553
done50012340

prune1.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

localize82.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 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.0b
(sqrt PI)

rewrite2.7m

Algorithm
rewrite-expression-head
Rules
1654197×frac-times
1295595×associate-*l/
875949×associate-*r/
784606×frac-add
16258×flip3-+ flip-+
87×add-sqr-sqrt
80×times-frac
62×add-cube-cbrt *-un-lft-identity
37×add-cbrt-cube
35×add-exp-log
29×associate-*r*
27×associate-*l*
26×swap-sqr
24×pow1
13×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×div-inv unswap-sqr
5×pow-prod-down
4×add-log-exp
3×sqrt-prod *-commutative
2×pow2 pow-plus pow-sqr pow-prod-up
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 272716
Calls
4 calls:
53.7s
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
48.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
42.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms
(sqrt PI)

series521.0ms

Counts
4 → 10
Calls
4 calls:
446.0ms
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
45.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
27.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify4.3m

Counts
272726 → 272726
Iterations

Useful iterations: 0 (1.4m)

IterNodesCost
045355441862972
done45355441862972

prune2.9m