Details

Time bar (total: 1.4s)

sample25.0ms

Algorithm
intervals
Results
6.0ms256×pre80true
5.0ms256×body80valid

simplify96.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
099
1179
2519
31269
41949
52049
done2049

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize6.0ms

Local error

Found 2 expressions with local error:

0.4b
(+ b (+ c d))
2.8b
(+ a (+ b (+ c d)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity add-log-exp
9×sum-log distribute-lft-out
2×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt associate-+r+ flip3-+ add-cbrt-cube flip-+
Counts
2 → 32
Calls
2 calls:
10.0ms
(+ b (+ c d))
23.0ms
(+ a (+ b (+ c d)))

series44.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(+ b (+ c d))
29.0ms
(+ a (+ b (+ c d)))

simplify791.0ms

Counts
38 → 38
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
056350
1171321
2576307
32890307
done5001307

prune81.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.4b

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b
(log (exp (+ d (+ b c))))
1.7b
(exp (+ d (+ b c)))
2.8b
(+ a (log (exp (+ d (+ b c)))))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
10×exp-prod add-log-exp
8×log-prod distribute-lft-out
7×add-sqr-sqrt add-cube-cbrt log-pow
5×pow1
4×associate-+r+ sum-log
3×add-exp-log exp-sum add-cbrt-cube rem-exp-log
1×+-commutative flip3-+ rem-log-exp flip-+
Counts
3 → 51
Calls
3 calls:
28.0ms
(log (exp (+ d (+ b c))))
27.0ms
(exp (+ d (+ b c)))
74.0ms
(+ a (log (exp (+ d (+ b c)))))

series64.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(log (exp (+ d (+ b c))))
18.0ms
(exp (+ d (+ b c)))
31.0ms
(+ a (log (exp (+ d (+ b c)))))

simplify137.0ms

Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
067560
1140457
2415418