Details

Time bar (total: 41.1s)

sample1.7s

Algorithm
intervals
Results
1.7s3464×body80valid

simplify5.2s

Counts
1 → 1
Iterations
IterNodes
48119
31785
2390
193
031

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize97.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
0.3b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
0.4b
(/ (/ 15/8 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
1.0b
(sqrt PI)

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
249×pow1
138×pow-prod-up
130×add-cbrt-cube add-exp-log
68×prod-exp cbrt-unprod
66×pow-plus
34×pow2 pow-sqr
30×cbrt-undiv div-exp pow-prod-down
13×times-frac
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×pow3
7×associate-/l*
4×insert-posit16 add-log-exp
3×sqrt-prod div-inv
2×associate-*r* associate-*l* *-commutative
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 203
Calls
4 calls:
60.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
98.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
134.0ms
(/ (/ 15/8 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
2.0ms
(sqrt PI)

series188.0ms

Counts
4 → 10
Calls
4 calls:
50.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
50.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
88.0ms
(/ (/ 15/8 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify2.3s

Counts
213 → 213
Iterations
IterNodes
34445
21182
1429
0182

prune3.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.2b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
129×pow1
87×times-frac
69×pow-prod-up
56×add-sqr-sqrt
53×add-exp-log
52×*-un-lft-identity
47×add-cube-cbrt
42×add-cbrt-cube
33×pow-plus
25×associate-/l*
23×associate-*l*
21×prod-exp
19×cbrt-unprod
18×unpow-prod-down
17×pow2 pow-sqr
16×pow-prod-down
15×div-exp
13×sqrt-prod
8×frac-add
7×cbrt-undiv
6×associate-*r* sqr-pow
5×frac-times associate-*r/
4×flip3-+ pow3 flip-+ insert-posit16 div-inv add-log-exp
3×distribute-lft-out unswap-sqr
2×pow-to-exp pow-exp *-commutative
1×distribute-rgt-in rem-sqrt-square clear-num associate-/r* frac-2neg distribute-lft-in sqrt-pow1 pow1/2 associate-*l/ associate-/l/
Counts
4 → 211
Calls
4 calls:
2.0s
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x))) (+ (/ 3/4 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))) (/ (+ (/ 1/2 (* (fabs x) (fabs x))) 1) (fabs x)))))
72.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
23.0ms
(/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x)))
2.0ms
(sqrt PI)

series596.0ms

Counts
4 → 10
Calls
4 calls:
489.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x))) (+ (/ 3/4 (* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))) (/ (+ (/ 1/2 (* (fabs x) (fabs x))) 1) (fabs x)))))
41.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
66.0ms
(/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify3.0s

Counts
221 → 221
Iterations
IterNodes
24919
11195
0378

prune3.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
28×pow1
27×add-exp-log
25×add-sqr-sqrt add-cbrt-cube
24×times-frac add-cube-cbrt
18×frac-add
12×unpow-prod-down
10×associate-*r*
9×associate-*l/ prod-exp cbrt-unprod distribute-lft-out
8×associate-/r* sqrt-div
7×frac-times associate-*r/
6×flip3-+ pow-plus div-exp pow-prod-down pow-prod-up flip-+ associate-/l*
4×cbrt-undiv insert-posit16 add-log-exp sqr-pow
3×div-inv
2×pow2 clear-num frac-2neg associate-*l* pow-sqr *-commutative
1×distribute-rgt-in pow-to-exp distribute-lft-in pow3 pow-exp unswap-sqr
Counts
4 → 139
Calls
4 calls:
14.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
5.0ms
(/ 3/4 (pow (fabs x) 5))
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
1.1s
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))

series641.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
67.0ms
(/ 3/4 (pow (fabs x) 5))
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
507.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))

simplify3.3s

Counts
151 → 151
Iterations
IterNodes
24318
1951
0306

prune2.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1/2 (* (fabs x) (fabs x)))
0.3b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
0.4b
(/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x)))
1.0b
(sqrt PI)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
127×pow1
70×times-frac
69×pow-prod-up
54×add-exp-log
42×add-cbrt-cube
36×add-sqr-sqrt
35×*-un-lft-identity add-cube-cbrt
33×pow-plus
28×associate-/l*
20×prod-exp
18×unpow-prod-down cbrt-unprod
17×pow2 pow-sqr
16×div-exp
15×pow-prod-down
8×cbrt-undiv
6×sqr-pow
4×pow3 insert-posit16 div-inv add-log-exp
3×sqrt-prod
2×pow-to-exp clear-num associate-/r* frac-2neg pow-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative associate-/l/
Counts
4 → 176
Calls
4 calls:
6.0ms
(/ 1/2 (* (fabs x) (fabs x)))
84.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
24.0ms
(/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x)))
2.0ms
(sqrt PI)

series169.0ms

Counts
4 → 10
Calls
4 calls:
36.0ms
(/ 1/2 (* (fabs x) (fabs x)))
63.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)))
70.0ms
(/ (/ 15/8 (pow (fabs x) 5)) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify4.8s

Counts
186 → 186
Iterations
IterNodes
36402
21779
1637
0272

prune3.2s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes312.0ms

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
231
131
025

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s4651×body80valid