Details

Time bar (total: 19.9s)

sample54.0ms

Algorithm
intervals
Results
26.0ms256×pre80true
12.0ms256×body80valid

simplify317.0ms

Counts
1 → 1
Iterations
IterNodes
6315
5315
4265
3144
255
119
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize28.0ms

Local error

Found 3 expressions with local error:

0.2b
(+ (+ (+ (+ e d) c) b) a)
0.2b
(+ (+ e d) c)
0.2b
(+ (+ (+ e d) c) b)

rewrite560.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
19×sum-log
15×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Counts
3 → 75
Calls
3 calls:
400.0ms
(+ (+ (+ (+ e d) c) b) a)
41.0ms
(+ (+ e d) c)
118.0ms
(+ (+ (+ e d) c) b)

series107.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(+ (+ (+ (+ e d) c) b) a)
16.0ms
(+ (+ e d) c)
34.0ms
(+ (+ (+ e d) c) b)

simplify2.2s

Counts
84 → 84
Iterations
IterNodes
36563
21120
1244
092

prune329.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b
(+ b (+ d c))
0.3b
(+ (+ a e) (+ b (+ d c)))
3.1b
(exp (+ (+ a e) (+ b (+ d c))))

rewrite390.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
51×add-log-exp
34×distribute-lft-out
33×sum-log
9×exp-prod
7×fma-def rem-exp-log
6×add-sqr-sqrt flip3-+ add-cube-cbrt flip-+
4×frac-add
3×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative associate-+r+
1×associate-+l+ exp-sum
Counts
3 → 83
Calls
3 calls:
23.0ms
(+ b (+ d c))
95.0ms
(+ (+ a e) (+ b (+ d c)))
270.0ms
(exp (+ (+ a e) (+ b (+ d c))))

series153.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(+ b (+ d c))
74.0ms
(+ (+ a e) (+ b (+ d c)))
63.0ms
(exp (+ (+ a e) (+ b (+ d c))))

simplify4.2s

Counts
92 → 92
Iterations
IterNodes
311666
21570
1354
0118

prune528.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (exp d) (exp c))
0.3b
(* (exp b) (* (exp d) (exp c)))
0.4b
(* (* (exp a) (exp e)) (* (exp b) (* (exp d) (exp c))))
0.4b
(* (exp a) (exp e))

rewrite286.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-cbrt-cube
21×*-un-lft-identity
20×pow-prod-down prod-exp cbrt-unprod
13×add-sqr-sqrt
12×exp-prod add-exp-log
10×associate-*l*
9×add-cube-cbrt
8×associate-*r* pow-prod-up
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×unswap-sqr
Counts
4 → 98
Calls
4 calls:
28.0ms
(* (exp d) (exp c))
68.0ms
(* (exp b) (* (exp d) (exp c)))
175.0ms
(* (* (exp a) (exp e)) (* (exp b) (* (exp d) (exp c))))
14.0ms
(* (exp a) (exp e))

series217.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (exp d) (exp c))
39.0ms
(* (exp b) (* (exp d) (exp c)))
105.0ms
(* (* (exp a) (exp e)) (* (exp b) (* (exp d) (exp c))))
34.0ms
(* (exp a) (exp e))

simplify3.2s

Counts
110 → 110
Iterations
IterNodes
35906
21076
1346
0130

prune770.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (exp b) (* (exp d) (exp c)))
0.4b
(* (* (exp a) (exp e)) (* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c))))))
0.4b
(* (exp a) (exp e))
0.5b
(* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c)))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
150×pow1
84×pow-prod-down
70×sqrt-pow1
50×*-un-lft-identity
46×pow-prod-up
39×exp-prod
25×add-cbrt-cube
15×add-sqr-sqrt add-exp-log
13×prod-exp pow-sqr cbrt-unprod
12×pow1/2
11×associate-*l* add-cube-cbrt
9×associate-*r*
4×expm1-log1p-u swap-sqr *-commutative sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
2×unswap-sqr
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 143
Calls
4 calls:
46.0ms
(* (exp b) (* (exp d) (exp c)))
881.0ms
(* (* (exp a) (exp e)) (* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c))))))
29.0ms
(* (exp a) (exp e))
328.0ms
(* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c)))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (exp b) (* (exp d) (exp c)))
117.0ms
(* (* (exp a) (exp e)) (* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c))))))
30.0ms
(* (exp a) (exp e))
47.0ms
(* (sqrt (* (exp b) (* (exp d) (exp c)))) (sqrt (* (exp b) (* (exp d) (exp c)))))

simplify2.9s

Counts
155 → 155
Iterations
IterNodes
36440
21107
1398
0154

prune795.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations
IterNodes
221
121
017

end0.0ms

sample1.3s

Algorithm
intervals
Results
560.0ms8000×pre80true
465.0ms8000×body80valid