Details

Time bar (total: 10.0m)

sample308.0ms

Algorithm
intervals
Results
117.0ms59×body10240exit
63.0ms343×body80valid
61.0ms54×body1280valid
27.0ms32×body640valid
14.0ms28×body320valid
5.0ms13×body160valid

simplify1.2s

Counts
1 → 1

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize79.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
0.0b
(exp (- (* (+ 1 eps) x)))
0.0b
(exp (- (* (- 1 eps) x)))
0.0b
(* (+ 1 eps) x)

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
74×exp-neg
72×frac-times
56×neg-sub0 exp-diff
38×associate-*l/
36×associate-*r/
28×flip3-+ flip3-- flip-+ flip--
18×un-div-inv
12×exp-prod
10×add-sqr-sqrt *-un-lft-identity add-log-exp
8×add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×associate-*l* insert-posit16 rem-exp-log
3×associate-*r*
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 152
Calls
4 calls:
Slowest
51.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
20.0ms
(* (+ 1 eps) x)
9.0ms
(exp (- (* (+ 1 eps) x)))
7.0ms
(exp (- (* (- 1 eps) x)))

series213.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
141.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
35.0ms
(* (+ 1 eps) x)
19.0ms
(exp (- (* (- 1 eps) x)))
18.0ms
(exp (- (* (+ 1 eps) x)))

simplify1.4s

Counts
164 → 164

prune2.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 3 expressions with local error:

5.6b
(+ (- 2 (* x x)) (* (* (* x x) x) 2/3))
0.1b
(* (* (* x x) x) 2/3)
0.1b
(* (* x x) x)

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-sqr-sqrt pow-plus associate-*r* pow-prod-up
5×*-un-lft-identity add-cube-cbrt
3×insert-posit16
2×pow2 associate-+l+ sum-log associate-*l* pow-sqr *-commutative
1×+-commutative sub-neg flip3-+ diff-log pow3 associate-+l- flip-+ unswap-sqr
Counts
3 → 67
Calls
3 calls:
Slowest
48.0ms
(* (* (* x x) x) 2/3)
27.0ms
(+ (- 2 (* x x)) (* (* (* x x) x) 2/3))
15.0ms
(* (* x x) x)

series188.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
73.0ms
(* (* (* x x) x) 2/3)
65.0ms
(+ (- 2 (* x x)) (* (* (* x x) x) 2/3))
50.0ms
(* (* x x) x)

simplify1.2s

Counts
76 → 76

prune708.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 3 expressions with local error:

7.0b
(- (* x x) (* (* (* x x) x) 2/3))
0.1b
(* (* (* x x) x) 2/3)
0.1b
(* (* x x) x)

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt pow-plus associate-*r* pow-prod-up
5×*-un-lft-identity add-cube-cbrt add-log-exp
3×insert-posit16
2×pow2 associate-*l* pow-sqr *-commutative
1×sub-neg flip3-- diff-log pow3 flip-- unswap-sqr
Counts
3 → 64
Calls
3 calls:
Slowest
76.0ms
(* (* (* x x) x) 2/3)
15.0ms
(* (* x x) x)
15.0ms
(- (* x x) (* (* (* x x) x) 2/3))

series222.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
133.0ms
(- (* x x) (* (* (* x x) x) 2/3))
52.0ms
(* (* (* x x) x) 2/3)
37.0ms
(* (* x x) x)

simplify652.0ms

Counts
73 → 73

prune703.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize45.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x))))
0.2b
(log (- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x)))))
0.0b
(exp (log (- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x))))))
0.0b
(exp (* (- 1 eps) x))

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
16×exp-diff
15×frac-sub
14×log-div
10×add-log-exp
9×flip3-- flip--
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×frac-times pow1 log-prod associate-*l/
5×exp-prod add-exp-log
4×add-cbrt-cube insert-posit16
3×exp-sum associate-*r/
2×exp-to-pow diff-log log-pow rem-exp-log
1×sub-neg rem-log-exp
Counts
4 → 73
Calls
4 calls:
Slowest
121.0ms
(- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x))))
98.0ms
(exp (log (- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x))))))
62.0ms
(log (- (/ (+ 1 (/ 1 eps)) (exp (* (- 1 eps) x))) (* (- (/ 1 eps) 1) (exp (- (- (* x eps)) x)))))
15.0ms
(exp (* (- 1 eps) x))

series9.8m