Details

Time bar (total: 11.2s)

sample41.0ms

Algorithm
intervals
Results
17.0ms74×body1280valid
8.0ms56×body640valid
5.0ms169×body80valid
2.0ms22×body320valid
1.0ms14×body160valid

simplify15.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
1106
2136
3156
done156

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.4b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (exp x) 1.0) x)
4.4b
(- (exp x) 1.0)

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l* distribute-lft-out-- difference-of-squares
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r*
2×pow1 flip3-- flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
58.0ms
(/ (- (exp x) 1.0) x)
12.0ms
(- (exp x) 1.0)

series79.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(/ (- (exp x) 1.0) x)
27.0ms
(- (exp x) 1.0)

simplify2.5s

Counts
58 → 58
Iterations

Useful iterations: 4 (1.2s)

IterNodesCost
099596
1221572
2503542
31095537
42836536
done5001536

prune180.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (+ 1/2 (* 1/6 x)))
0.4b
(* 1/6 x)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
2×associate-*r/ pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
2 → 40
Calls
2 calls:
33.0ms
(* x (+ 1/2 (* 1/6 x)))
15.0ms
(* 1/6 x)

series122.0ms

Counts
2 → 6
Calls
2 calls:
94.0ms
(* x (+ 1/2 (* 1/6 x)))
28.0ms
(* 1/6 x)

simplify2.4s

Counts
46 → 46
Iterations

Useful iterations: 2 (129.0ms)

IterNodesCost
070356
1184328
2522298
31711298
done5000298

prune134.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (log (exp (- (exp x) 1.0))) x)
4.4b
(log (exp (- (exp x) 1.0)))
4.4b
(- (exp x) 1.0)

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt *-un-lft-identity
30×log-pow
27×times-frac
25×exp-prod
23×add-cube-cbrt
9×associate-/l*
8×pow1
6×distribute-lft-out-- difference-of-squares
5×add-exp-log log-prod add-cbrt-cube add-log-exp
3×associate-/r*
2×sub-neg log-div exp-diff exp-sum
1×cbrt-undiv flip3-- frac-2neg diff-log div-sub div-exp rem-log-exp clear-num flip-- div-inv
Counts
3 → 86
Calls
3 calls:
149.0ms
(/ (log (exp (- (exp x) 1.0))) x)
28.0ms
(log (exp (- (exp x) 1.0)))
25.0ms
(- (exp x) 1.0)

series122.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(/ (log (exp (- (exp x) 1.0))) x)
28.0ms
(log (exp (- (exp x) 1.0)))
27.0ms
(- (exp x) 1.0)

simplify2.6s

Counts
95 → 95
Iterations

Useful iterations: 4 (1.3s)

IterNodesCost
01461113
1258905
2556858
31144851
43104850
done5002850

prune196.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (log (exp (- (exp x) 1.0))) (/ 1 x))
4.4b
(log (exp (- (exp x) 1.0)))
4.4b
(- (exp x) 1.0)

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
14×add-cube-cbrt
13×associate-*r*
12×add-exp-log log-pow
11×times-frac
10×exp-prod
9×associate-*l*
8×add-cbrt-cube
7×pow1
5×log-prod add-log-exp
4×prod-exp
3×distribute-lft-out-- difference-of-squares unswap-sqr
2×sub-neg div-exp exp-sum cbrt-unprod
1×cbrt-undiv log-div rec-exp flip3-- exp-diff diff-log 1-exp associate-*r/ rem-log-exp pow-prod-down un-div-inv *-commutative flip-- div-inv
Counts
3 → 76
Calls
3 calls:
146.0ms
(* (log (exp (- (exp x) 1.0))) (/ 1 x))
27.0ms
(log (exp (- (exp x) 1.0)))
22.0ms
(- (exp x) 1.0)

series100.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(* (log (exp (- (exp x) 1.0))) (/ 1 x))
18.0ms
(log (exp (- (exp x) 1.0)))
17.0ms
(- (exp x) 1.0)

simplify1.9s

Counts
85 → 85
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0143927
1303677
2736598
32056592
done5000591

prune199.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

regimes41.0ms

bsearch1.0ms