Details

Time bar (total: 23.8s)

sample1.7s

Algorithm
intervals
Results
1.6s3422×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
48033
31714
2404
1157
031

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize107.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
106×times-frac
69×add-cbrt-cube
63×add-exp-log
38×add-sqr-sqrt
35×*-un-lft-identity add-cube-cbrt
32×cbrt-undiv div-exp
27×sqrt-prod
26×associate-/l*
19×prod-exp cbrt-unprod
7×pow1
5×div-inv
4×insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 135
Calls
4 calls:
38.0ms
(/ (/ (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series270.0ms

Counts
4 → 6
Calls
4 calls:
270.0ms
(/ (/ (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify1.0s

Counts
141 → 141
Iterations
IterNodes
23146
11063
0250

prune2.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize107.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5)))
0.3b
(* (* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
50×times-frac
35×*-un-lft-identity
31×sqrt-prod
29×associate-*r* add-cube-cbrt
24×add-exp-log
18×add-cbrt-cube
17×associate-*l*
16×unswap-sqr
13×pow1 unpow-prod-down prod-exp
10×frac-times
8×sqrt-div
7×associate-*l/ cbrt-unprod sqr-pow
6×div-exp associate-*r/
4×flip3-+ pow-prod-down flip-+ insert-posit16 add-log-exp
2×pow-to-exp cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 pow-exp *-commutative div-inv
1×distribute-rgt-in distribute-lft-in distribute-lft-out
Counts
4 → 141
Calls
4 calls:
22.0ms
(* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5)))
84.0ms
(* (* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
1.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series514.0ms

Counts
4 → 8
Calls
4 calls:
229.0ms
(* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5)))
285.0ms
(* (* (sqrt (/ 1 PI)) (/ (exp (* (fabs x) (fabs x))) (pow (fabs x) 5))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify1.2s

Counts
149 → 149
Iterations
IterNodes
23549
11194
0246

prune2.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
0.3b
(/ (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (pow (fabs x) 5))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
18×add-cbrt-cube
13×add-sqr-sqrt *-un-lft-identity
12×prod-exp
11×pow1 add-cube-cbrt
9×div-exp
8×associate-*l/
7×associate-/r* times-frac
6×unpow-prod-down sqrt-div sqrt-prod cbrt-unprod
5×associate-/l/
4×frac-times flip3-+ associate-*r* associate-*r/ flip-+ insert-posit16 add-log-exp
3×pow-to-exp cbrt-undiv pow-prod-down pow-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 sqr-pow
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l* *-commutative div-inv distribute-lft-out associate-/l*
Counts
4 → 98
Calls
4 calls:
111.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
65.0ms
(/ (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (pow (fabs x) 5))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series505.0ms

Counts
4 → 8
Calls
4 calls:
233.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
271.0ms
(/ (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (pow (fabs x) 5))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify904.0ms

Counts
106 → 106
Iterations
IterNodes
22717
1774
0161

prune1.8s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* (+ 3/4 (/ (/ 15/8 (fabs x)) (fabs x))) (sqrt (/ 1 PI))) (/ (pow (fabs x) 5) (exp (* (fabs x) (fabs x)))))
0.3b
(/ (/ 15/8 (fabs x)) (fabs x))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
142×times-frac
78×add-sqr-sqrt
76×*-un-lft-identity add-cube-cbrt
28×associate-/r*
27×add-exp-log
21×add-cbrt-cube
18×unpow-prod-down
17×div-exp
14×associate-/l*
9×cbrt-undiv
8×div-inv
6×pow1 sqrt-prod sqr-pow associate-/l/
4×prod-exp insert-posit16 add-log-exp
3×sqrt-div
2×frac-times pow-to-exp rem-sqrt-square clear-num frac-2neg sqrt-pow1 flip3-+ pow1/2 associate-*l/ pow-exp cbrt-unprod flip-+
1×associate-*r/ associate-/r/
Counts
4 → 179
Calls
4 calls:
46.0ms
(/ (* (+ 3/4 (/ (/ 15/8 (fabs x)) (fabs x))) (sqrt (/ 1 PI))) (/ (pow (fabs x) 5) (exp (* (fabs x) (fabs x)))))
13.0ms
(/ (/ 15/8 (fabs x)) (fabs x))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series358.0ms

Counts
4 → 8
Calls
4 calls:
336.0ms
(/ (* (+ 3/4 (/ (/ 15/8 (fabs x)) (fabs x))) (sqrt (/ 1 PI))) (/ (pow (fabs x) 5) (exp (* (fabs x) (fabs x)))))
22.0ms
(/ (/ 15/8 (fabs x)) (fabs x))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify1.9s

Counts
187 → 187
Iterations
IterNodes
23902
11514
0361

prune3.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes337.0ms

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
233
133
026

end0.0ms