Details

Time bar (total: 1.5s)

sample21.0ms

Algorithm
intervals
Results
13.0ms314×body80valid

simplify18.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
18.0ms
(+ (* d1 d2) (* d1 d3))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* d1 d2) (* d1 d3))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16 distribute-lft-out
Counts
1 → 13
Calls
1 calls:
Slowest
8.0ms
(+ (* d1 d2) (* d1 d3))

series49.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
49.0ms
(+ (* d1 d2) (* d1 d3))

simplify256.0ms

Counts
5 → 16
Calls
5 calls:
Slowest
199.0ms
(* (exp (* d1 d2)) (exp (* d1 d3)))
19.0ms
(+ (* d3 d1) (* d2 d1))
19.0ms
(+ (* d2 d1) (* d3 d1))
14.0ms
(+ (* d3 d1) (* d2 d1))
5.0ms
(+ d2 d3)

prune132.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample995.0ms

Algorithm
intervals
Results
763.0ms10148×body80valid