Details

Time bar (total: 31.1s)

sample1.5s

Algorithm
intervals
Results
1.4s3879×body80valid

simplify4.9s

Counts
1 → 1
Iterations
IterNodes
47429
31495
2392
195
031

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize59.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 3/4 (* (* (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)))
0.7b
(* (/ (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))))))
1.0b
(sqrt PI)

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
92×add-cbrt-cube
91×add-exp-log
38×prod-exp cbrt-unprod
36×times-frac
34×add-sqr-sqrt
30×*-un-lft-identity
29×cbrt-undiv div-exp
25×add-cube-cbrt
22×associate-*l*
13×sqrt-prod
10×associate-/l*
8×frac-add
7×pow1
5×frac-times associate-*r* associate-*r/ div-inv
4×flip3-+ flip-+ insert-posit16 add-log-exp
3×distribute-lft-out unswap-sqr
2×clear-num associate-/r* frac-2neg
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
4 → 154
Calls
4 calls:
64.0ms
(/ 3/4 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
70.0ms
(/ (/ 15/8 (* (* (fabs x) (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))))))
2.0ms
(sqrt PI)

series640.0ms

Counts
4 → 10
Calls
4 calls:
47.0ms
(/ 3/4 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
82.0ms
(/ (/ 15/8 (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
510.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))))))
0.0ms
(sqrt PI)

simplify3.3s

Counts
164 → 164
Iterations
IterNodes
25005
11111
0318

prune2.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

localize79.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
549×pow1
278×pow-prod-up
191×pow-plus
91×pow-prod-down
86×pow-sqr
53×pow2
40×add-cbrt-cube add-exp-log
27×prod-exp cbrt-unprod
22×pow3
10×add-sqr-sqrt
9×sqrt-prod
7×*-un-lft-identity add-cube-cbrt
4×insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×swap-sqr associate-*r* associate-*l* *-commutative
Counts
4 → 234
Calls
4 calls:
126.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series66.0ms

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

simplify1.3s

Counts
240 → 240
Iterations
IterNodes
42443
3966
2385
1223
099

prune3.6s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize84.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 3/4 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
33×add-cbrt-cube add-exp-log
15×prod-exp cbrt-unprod
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt sqrt-prod
7×pow1 cbrt-undiv div-exp
4×insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 times-frac pow1/2 associate-/l*
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 74
Calls
4 calls:
87.0ms
(/ 3/4 (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series79.0ms

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

simplify1.2s

Counts
80 → 80
Iterations
IterNodes
32501
2635
1232
0105

prune1.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize134.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log insert-posit16 add-log-exp
Counts
4 → 56
Calls
4 calls:
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify25.0ms

Counts
60 → 60
Iterations
IterNodes
223
123
018

prune1.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes254.0ms

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
233
133
026

end0.0ms

sample5.8s

Algorithm
intervals
Results
5.6s12440×body80valid