Details

Time bar (total: 1.3m)

sample1.3s

Algorithm
intervals
Results
1.2s3601×body80valid

simplify5.1s

Counts
1 → 1
Iterations
IterNodes
47429
31495
2392
195
031

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize93.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
129×pow1
84×add-cbrt-cube
83×add-exp-log
69×pow-prod-up
38×prod-exp cbrt-unprod
33×times-frac pow-plus
32×add-sqr-sqrt
28×*-un-lft-identity
23×associate-*l* add-cube-cbrt
22×cbrt-undiv div-exp
17×pow2 pow-sqr
16×pow-prod-down
13×sqrt-prod
8×frac-add
7×associate-/l*
6×associate-*r*
5×frac-times associate-*r/
4×flip3-+ pow3 flip-+ insert-posit16 div-inv add-log-exp
3×distribute-lft-out unswap-sqr
2×*-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 → 187
Calls
4 calls:
57.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
2.7s
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (+ (/ (/ 15/8 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1) (fabs x)) (+ (/ 3/4 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))))
60.0ms
(/ (/ 15/8 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series614.0ms

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

simplify2.5s

Counts
197 → 197
Iterations
IterNodes
24687
11066
0303

prune3.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
68×times-frac
56×add-sqr-sqrt
48×*-un-lft-identity
47×add-cube-cbrt
25×add-exp-log
22×add-cbrt-cube
18×frac-add
16×associate-*r* sqrt-prod
13×associate-/l*
12×unpow-prod-down
11×associate-/r* associate-*r/
10×div-exp
9×div-inv
8×cbrt-undiv sqrt-div
7×frac-times associate-*l/
6×pow1 flip3-+ flip-+
4×associate-*l* insert-posit16 add-log-exp unswap-sqr sqr-pow
3×clear-num frac-2neg prod-exp cbrt-unprod
1×pow-to-exp pow-prod-down pow-exp *-commutative distribute-lft-out associate-/l/
Counts
4 → 168
Calls
4 calls:
67.0ms
(* (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5)))))) (sqrt (/ 1 PI)))
5.0ms
(/ 15/8 (pow (fabs x) 7))
29.0ms
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
12.0ms
(/ 1/2 (* (fabs x) (fabs x)))

series845.0ms

Counts
4 → 12
Calls
4 calls:
663.0ms
(* (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5)))))) (sqrt (/ 1 PI)))
86.0ms
(/ 15/8 (pow (fabs x) 7))
59.0ms
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
37.0ms
(/ 1/2 (* (fabs x) (fabs x)))

simplify2.0s

Counts
180 → 180
Iterations
IterNodes
23666
1966
0379

prune3.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (sqrt 15/8) (pow (fabs x) 7))
0.3b
(* (sqrt 15/8) (/ (sqrt 15/8) (pow (fabs x) 7)))
0.3b
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
0.3b
(/ 1/2 (* (fabs x) (fabs x)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
117×add-sqr-sqrt
81×*-un-lft-identity add-cube-cbrt
61×sqrt-prod
46×associate-*r*
43×unpow-prod-down
33×add-exp-log
25×add-cbrt-cube
17×sqr-pow
16×associate-/l*
14×unswap-sqr
13×div-exp
11×associate-/r*
9×cbrt-undiv
8×div-inv
6×pow1 associate-*l* prod-exp
4×cbrt-unprod insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow-to-exp pow-exp
1×pow-prod-down associate-*r/ *-commutative associate-/l/
Counts
4 → 224
Calls
4 calls:
12.0ms
(/ (sqrt 15/8) (pow (fabs x) 7))
24.0ms
(* (sqrt 15/8) (/ (sqrt 15/8) (pow (fabs x) 7)))
11.0ms
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
6.0ms
(/ 1/2 (* (fabs x) (fabs x)))

series401.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(/ (sqrt 15/8) (pow (fabs x) 7))
157.0ms
(* (sqrt 15/8) (/ (sqrt 15/8) (pow (fabs x) 7)))
56.0ms
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
49.0ms
(/ 1/2 (* (fabs x) (fabs x)))

simplify733.0ms

Counts
236 → 236
Iterations
IterNodes
22071
1638
0283

prune4.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
68×times-frac
56×add-sqr-sqrt
48×*-un-lft-identity
47×add-cube-cbrt
32×frac-add
29×add-exp-log
23×associate-*r/
22×add-cbrt-cube
16×associate-*r* sqrt-prod
13×div-exp associate-/l*
12×unpow-prod-down
11×associate-/r* sqrt-div
10×frac-times associate-*l/
9×div-inv
8×cbrt-undiv flip3-+ flip-+
6×pow1 un-div-inv
4×associate-*l* insert-posit16 add-log-exp unswap-sqr sqr-pow
3×pow-to-exp rec-exp clear-num frac-2neg 1-exp pow-exp prod-exp cbrt-unprod
1×pow-prod-down *-commutative pow-flip distribute-lft-out inv-pow associate-/l/
Counts
4 → 182
Calls
4 calls:
71.0ms
(* (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5)))))) (sqrt (/ 1 PI)))
6.0ms
(/ 1 (pow (fabs x) 7))
32.0ms
(/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))
6.0ms
(/ 1/2 (* (fabs x) (fabs x)))

series879.0ms

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

simplify2.3s

Counts
194 → 194
Iterations
IterNodes
23941
11039
0396

prune3.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes256.0ms

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
235
135
027

end0.0ms

sample42.9s

Algorithm
intervals
Results
40.9s97575×body80valid