Details

Time bar (total: 4.5s)

sample46.0ms

Algorithm
intervals
Results
14.0ms256×pre80true
14.0ms256×body80valid

simplify246.0ms

Calls
1 calls:
Slowest
246.0ms
(* (+ a (+ b (+ c d))) 2)

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity add-log-exp
9×sum-log distribute-lft-out
8×associate-+r+
5×+-commutative
2×add-sqr-sqrt pow1 flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Calls
2 calls:
Slowest
55.0ms
(+ a (+ b (+ c d)))
11.0ms
(+ b (+ c d))

series72.0ms

Calls
2 calls:
Slowest
44.0ms
(+ a (+ b (+ c d)))
27.0ms
(+ b (+ c d))

simplify897.0ms

Calls
17 calls:
Slowest
183.0ms
(* (exp a) (exp (+ b (+ c d))))
181.0ms
(* (exp a) (* (exp b) (exp (+ c d))))
175.0ms
(* (exp a) (* (exp b) (* (exp c) (exp d))))
65.0ms
(+ a (+ b (+ c d)))
53.0ms
(* (exp b) (exp (+ c d)))

prune395.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.5b

localize16.0ms

Local error

Found 2 expressions with local error:

1.0b
(+ a (+ b d))
0.0b
(+ (+ a (+ b d)) c)

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity add-log-exp
9×sum-log distribute-lft-out
5×+-commutative
4×associate-+l+ associate-+r+
2×add-sqr-sqrt pow1 flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Calls
2 calls:
Slowest
82.0ms
(+ (+ a (+ b d)) c)
22.0ms
(+ a (+ b d))

series73.0ms

Calls
2 calls:
Slowest
42.0ms
(+ (+ a (+ b d)) c)
30.0ms
(+ a (+ b d))

simplify819.0ms

Calls
19 calls:
Slowest
183.0ms
(* (* (exp a) (exp (+ b d))) (exp c))
150.0ms
(* (* (exp a) (* (exp b) (exp d))) (exp c))
134.0ms
(* (exp (+ a (+ b d))) (exp c))
65.0ms
(+ (+ a (+ b d)) c)
45.0ms
(* (exp a) (* (exp b) (exp d)))

prune308.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.4s

Algorithm
intervals
Results
640.0ms8000×pre80true
562.0ms8000×body80valid